1) 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-α-超归结原理,并证明了其可靠性和完备性。
2) resolution
[英][,rezə'lu:ʃn] [美]['rɛzə'luʃən]
归结推理
1.
Method of resolution under predicate logic;
谓词逻辑描述下的归结推理方法
3) Automated Reasoning
自动推理
1.
Expression Reasoning in Automated Reasoning;
平面几何中复杂表达式的自动推理
2.
Interactive system of mathematical Web services based on AJAX and automated reasoning technologies;
基于AJAX和自动推理技术构建交互式数学Web服务
3.
Automated Reasoning and Intelligent Platform for Education Software;
自动推理与教育软件智能平台
4) automatic reasoning
自动推理
1.
The Research on ICAI of Programming with Function of Automatic Reasoning;
带有自动推理功能的程序设计ICAI系统研究
2.
Logic meaning of kinship relations and kindred automatic reasoning
亲属关系的逻辑意义及其自动推理
3.
On this basis,the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward.
在此基础上 ,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制 ,并讨论其在智能控制器研制中的应用。
5) resolution rule of inference
推理的归结规则
补充资料：归结
①总括而求得结论：原因很复杂，～起来不外三个方面。②结局：这件事儿总算有了一个～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条