Typical moving ground target tracking scenario is analyzed and logic inference is introduced for target tracking.
分析了地面运动目标跟踪的典型场景，采用逻辑推理方法进行目标跟踪。
Fuzzy logic inference can reflect the information transmission characteristic of key elements of the natural language.
模糊逻辑推理能够反映自然语言要素信息传递特性。
The method of expert database logic inference for test data knowledge extracting is used to discover and explore test data.
采用基于专家库逻辑推理的试验数据知识提取方法来发现和挖掘试验数据。
The interface between other logic inference machine and database will be easily implemented according to the proposed idea and method.
依据提出的思路和方法，很容易地实现其它逻辑推理机和数据库间的接口。
A method of implementing symbol logic inference system using recurrent multilayer perceptron neural networks is presented in this paper.
介绍一种用循环多层感知器神经网络实现符号逻辑推理系统的方法。
Selection of part shape machining process is a logic inference course restrained by many factors. A lot of machining knowledges are demanded.
零件表面加工方案的选择是一个多因素约束的逻辑推理过程，需要大量工艺知识支持。
Then a concise and convenient fuzzy control lookup table is obtained off-line through fuzzy logic inference combined with complex mathematic computation.
最后给出了模糊控制查询的单片机实现方法及模糊控制系统的核心控制部分的硬件电路和软件流程。
A fuzzy neural network prediction control model is stated by using the logic inference performance of fuzzy control and the learning ability of neural network.
应用模糊控制的逻辑推理性能，借助神经网络的学习能力，提出了一种模糊神经网络预测控制模型。
FNN efficiently maps the complex non-linear relationship between data by drill and rebound methods for its automatic learning, generation and fuzzy logic inference.
由于模糊神经网络具有很强的自学习、泛化和模糊逻辑推理功能，它可以有效地映射出钻芯、回弹数据间复杂的非线性关系。
Applying the document data investment and survey as well as the logic inference method, the study is on the effect of sport consumption during the process of urbanization.
运用文献资料调研及逻辑推理等方法，研究我国城市化进程对体育消费的影响。
A method based on variable optimizing match to optimize fuzzy logic inference effectively decreased the calculation amount of fuzzy logic inference and raised calculation speed.
变量优化匹配优化模糊逻辑推理的一种基于模糊逻辑推理有效地减少了计算量，提高计算速度。
In EST translation the chief forms of inference employed are those of cause and effect, context, metaphor and analogy, etc. and logic inference is of practicability and necessity.
科技翻译中常采用的推理形式主要为因果式、上下文式、类比式和隐喻式。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.
该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。
This paper discusses the application of the fuzzy logic and fuzzy inference to intelligent circuit board diagnosis system.
本文简要讨论了模糊逻辑、模糊推理在智能电路板故障诊断中的应用。
Pragmatics and linguistic logic have been applied to resolve the problem of how to make pragmatic inference on the basis of syntax and context so that the meaning of the utterance could be defined.
如何在一定语言形式的基础上，根据语境进行语用推理，从而确定话语的意义，这是语用学和语言逻辑一直寻求解决的问题。
With the wide application of knowledge representation and knowledge inference in Fuzzy Modal Logic, more and more people put emphasis on the study of modal logic.
随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
Temporal logic is a branch of Philosophical logic, which investigates the proposition and inference including time.
时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。
Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
因此，情报推理不能以正统数理逻辑作为推理工具。
This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
While pointing out some defects of classical logic, the paper attributes them to substantial implication being directly applied to inference.
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
Based on that, if taking out more direct inference, effective model of normal equivalent relationship, and normal logic will keep closer to social life.
在此基础上，给出更多的规范对当关系直接推理的有效式，将使规范逻辑更贴近社会生活。
The methods of logical analysis which were applied in Mo Zi's debate involved the analyses of concept, inference and the basic law of logic.
其在谈辩过程中引入的逻辑分析方法主要涉及概念分析、推理分析、逻辑基本规律分析等内容。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
The pragmatic logic must cover the context, the relationship between utterance and the users, the users' inference, etc.
真正的语用逻辑必须研究话语发生的语境、话语与使用者的关系、使用者对话语的推理等等。
Reductive inference in traditional logic is performed under certain condition.
传统逻辑学的演绎推理是在一定的条件限制之下进行的。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
Mental Logic Theory claimed that human apply inference schemas when doing reasoning, while mental model Theory claimed human construct mental models.
心智模型理论则认为人类通过构造心智模型实现推理。
In this paper, set pair inference according to set pair analysis is introduced. Some basic logical inference operations and properties about set pair logic are discussed.
利用集对分析，提出了集对逻辑推理，并讨论了集对逻辑推理的有关性质和运算。
应用推荐