查询词典 propositional inference

The theory of compound propositions inference, The theory of categorical proposition inference, The modal logic, Foundational laws of logic ,The theory of inductive logic ,The theory of proof and refutation.

主要有：概念的理论，命题的理论，复合命题推理，直言命题推理，模态逻辑，逻辑规律和归纳推理。

Physics concepts, theorems as well as principles are primary content of physics learning, those knowledge take on the forms by proposition . In chapter 3, the study revealed that physics proposition are mainly obtained by reasoning (inductive reasoning such as tallying method, differentiation method and covariant method, deductive reasoning such as negative expression of hypothetical inference, affirmative expression of hypothetical inference ).Then by the means of experiment, the different condition needed when applying those reasoning was explored.

由于定义性概念、定理和定律等命题知识是物理教学的主要内容，所以在第三章中首先通过研究，表明物理命题主要是运用推理策略获得的(归纳推理策略中的求同策略、差异策略和共变策略，演绎推理策略)；然后通过实验等方法研究使用策略需要的条件；最后依据前面的研究提出适合物理命题学习的任务分析方法。

At least in the beginning of 21 century Logic Study will focus on the following topics: common sense inference which is paraconsistent, nonmonotonic and defeasible; generalized inductive inference and inductive logic; generalized intentional logic, especially epistemic logic; natural language understanding and logic of natural language.

如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。

Hypothetical plus disjunctive inference takes hypothetical proposition and disjunctive proposition as its premises, out which 12 inference models may be produced.

"假言 +选言推理"是以假言命题和选言命题为前提的组合推理。

According to the logical rule of hypothetical proposition and disjunctive proposition , whose logical validity is decided by hypothetical plus disjunctive inference using " reducto and absurdum", polylemma is the using form of the 12 inference models.

根据假言、选言命题的逻辑规定，可构造出 1 2种推理模式。采用归谬赋值法，对其有效性进行判定，"N难推理"便是这种推理的语用形式

Finally, the Fiducial inference for the parameter's functions of exponential distribution based on the type Ⅱ censoring observations is given. Simulation study shows that the Fiducial inference is quite accurate.

本文最后还讨论了指数分布在定时截尾情形下参数函数的Fiducial推断问题；并进行了模拟研究，结果表明推断精度很高。

Functional dependence is an important kind of inference rule. Getting the functional dependence exist on relation instance by data mining technology can help the defense to inference attack.

函数依赖关系是一种重要的推理规则，使用数据挖掘技术获取关系实例上隐含的函数依赖有助于对推理攻击的防御。

From the viewpoint of logic of relation, syllogism is not the inference based on Relation A, E, I, O between general term and general term as Jan Lukasiewicz thought. In stead, it is the inference based on the identical relation or non-identical relation between member of class and member of class.

从关系逻辑的观点看，三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理，而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。

The inference machine based on multiple inference pattern, the overall control tactics and the problem for identifying varied complex knowledge have all been explored.

研究了多推理方式并存的推理机制和全面的控制策略以及多种复杂的知识形式的自动识别等问题。

The"incomplete reasoning-verification"inference idea is used to form the synthetrical inference pattern with data-driven and object-driven. All of them increase the effectiveness of this algorithm greatly.

在推理策略上，运用了"不完全推理-验证"的推理思想，形成了数据驱动和目标驱动相统一的混合推理模式，从而大大提高了理解算法的效率。

"Yes, now you can give yourself airs," she said, you have got what you wanted.

"对了，您现在高兴了，"她说道，这是您所期待的。

Then the LORD said to me: Rebel Israel is inwardly more just than traitorous Judah.

上主于是对我说：＂失节的以色列比失信的犹大，更显得正义。