确定性推理

按所用知识的确定性，推理可以确定性和不确定性推理。所谓确定性推理指的是推理所用的知识都是精确的，推出的结论也是精确的。比如一个事件是否为真，其推理的结果只能是真或者假，绝对不可能出现第三种可能性。

确定性推理的方法有很多，具体有图搜索策略、盲目搜索、启发式搜索、消解原理、规则演绎系统、产生式系统等等。^[1]

可把图搜索控制策略看成一种在途中寻找路径的方法。初始节点和目标节点分别代表初始数据库和满足终止条件的目标数据库。求的把一个数据库变换为另一个数据库的规则序列问题就等价于求得途中的一条路径问题。

不需要重新安排OPEN表的搜索叫做无信息搜索或盲目搜索，它包括宽度优先搜索、深度优先搜索和等代价搜索等。

盲目搜索的效率低，耗时过多的计算空间和时间。如果能够找到一种方法用于排列待扩展节点的顺序，即选择最优希望的节点加以扩展，那么，搜索效率将会大大提高。在许多情况下，能够通过检测来确定合理的顺序。

消解是一种可用于一定的子句公式的重要推理规则。子句定义为由文字的析取组成的公式，当消解可以使用时，消解过程被应用于子母体子句对，以产生一个导出子句。