1) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结推理
1.
Method of resolution under predicate logic;
谓词逻辑描述下的归结推理方法
2) resolution rule of inference
推理的归结规则
3) resolution automated reasoning
归结自动推理
1.
In order to improve the efficiency of resolution automated reasoning algorithm in lattice-valued propositional logic, II-α-hyper resolution principle is proposed based onα- resolution principle of lattice-valued propositional logic LP(X).
针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的II-α-超归结原理,并证明了其可靠性和完备性。
4) Inductive reasoning
归纳推理
1.
The Relations between the Categorization and Diversity Principle of Inductive Reasoning;
分类活动与归纳推理多样性效应的关系
2.
A dynamic self-learning efficient intrusion detection model was proposed based on inductive reasoning.
提出了一种基于归纳推理的动态自学习的高效入侵检测模型。
3.
This paper detailes the relation of inevitability and contingency in chemical researehes, analyses the significance of the inductive reasoning and opportunity in chemical researehes, and discusses the soaree of and the approaches to opportunities in chemical researches.
为阐述化学研究中必然性与偶然性的关系，分析了化学研究中归纳推理和机遇的重要性，并讨论了化学研究中机遇的产生根源和捕捉方法。
5) inductive inference
归纳推理
1.
Influence of knowledge context on inductive inference;
知识背景对归纳推理的影响
2.
This paper analyzes the difference between inductive inference and deductive inference, presents a formal logic framework for inductive inference, and defines the concepts of reconstruction and inductive sequence.
分析了归纳推理与演绎推理的区别，给出了归纳推理的形式化规则，定义了重构和归纳进程（序列）的概念。
3.
The issue of the rationality of inductive inference was first raised by David Hume, so it is also called "Hume s problem".
归纳推理的合理性问题最早由体谟提出，故又称“休谟问题”。
6) regression reasoning
回归推理
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条