第三讲(经典逻辑推理).pptVIP

4.4 与/或形演绎推理 归结演绎推理要求把有关问题的知识及目标的否定都化成子句形式，然后通过归结进行演绎推理，其推理规则只有一条，即归结规则； 与/或形演绎推理不再把有关知识转化成子句集，而把领域知识及已知事实分别用蕴含式及与/或形表示出来，然后通过运用蕴含式进行演绎推理，从而证明某个目标公式。 与/或形演绎推理的特点 优点： 不必把公式化为子句集，保留了连接词“→”。这就可直观地表达出因果关系，比较自然。 缺点： 对正向演绎推理而言，目标表达式被限制为文字的析取式； 对逆向演绎推理，已知事实的表达式被限制为文字的合取式； 正、逆双向演绎推理虽然可以克服以上两个问题，但其“接头”的处理却比较困难。 完 谢谢 4.3.2 Herbrand理论 为了判断子句集的不可满足性，需要对所有可能论域上的所有解释进行判定。只有当子句集对任何非空个体域上的任何一个解释都是不可满足的，才可断定该子句集是不可满足的。 海伯伦构造了一个特殊的论域(海伯伦域)，并证明只要对这个特殊域上的一切解释进行判定，就可知子句集是否不可满足。 海伯伦域 定义4.7 设S为子句集，则按下述方法构造的域H∞称为海伯伦域，记为H域。 (1)令H0是S中所有个体常量的集合，若S中不包含个体常量，则令H0＝{a}，其中a为任意指定的一个个体常量。 (2)令Hi+1=Hi∪{S中所有n元函数f(x1,…,xn)|xj(j