学科分类 - 《中国大百科全书》第三版网络版

高级搜索

专业板块专题板块大众板块

总分类

返回总分类

首页

一阶推理/ first-order reasoning // first-order reasoning /

一种逻辑推理形式，是命题逻辑推理的扩展。

定性推理/ qualitative reasoning /qualitative reasoning
一阶推理
通过对物理系统的结构、行为、功能及它们之间的因果关系进行研究，以探索人类常识定性推理机制为目的，从而有效地完成各项求解任务的跨领域的推理方法体系。
归结方法/ resolution method /resolution method
一阶推理
1965年J.A.鲁滨逊（J.A.Robinson）提出的一阶逻辑中的一个完备的推理方法。
归纳推理/ inductive reasoning /inductive reasoning
一阶推理
一种由特殊到一般、由现象到本质的推理方式。
表推演方法/ tableau method /tableau method
一阶推理
通过分析公式的结构来寻找矛盾从而证明公式不可满足性的推理方法。表推演方法根据输入公式构造一棵节点标有公式的树，如果树的每个分支上都有互相矛盾的公式，则表明输入公式是不可满足的。