人工智能-4经典逻辑推理.pptVIP

海伯伦定理 可以证明，对给定域D上的任一个解释，总能在H域上构造一个解释与它对应，如果D域上的解释能满足子句集S，则在H域上的相应解释也能满足S。 定理4.2 子句集S不可满足的充要条件是S对H域上一切解释都为假。 定理4.3(海伯伦定理) 子句集不可满足的充要条件是存在一个有限的不可满足的基子句集S`。 证明：充分性： 设子句集S有一个不可满足的基子句集S`，因为它不可满足，所以一定存在一个解释I`使S`为假。根据H域上的解释与D域上解释的对应关系，可知在D域上一定存在一个解释使S不可满足，即子句集S是不可满足的。 必要性： 设子句集S不可满足，有定例4.2可知对H域上一切解释都为假，这样必然存在一个基子句集S`，且它是不可满足的。 4.3.3 鲁滨逊归结原理 子句集中子句之间是合取关系，只要有一个子句不可满足，则子句集就不可满足。而空子句是不可满足的。所以若一个子句集中包含空子句，则这个子句集一定是不可满足的。 鲁滨逊归结原理的基本思想：检查子句集S中是否包含空子句。若包含，则S不可满足；若不包含，就在子句集中选择合适的子句进行归结，一旦通过归结能推出空子句，就说明子句集S是不可满足的。 定义4.9 若P是原子谓词公式，则称P与?P为互补文字。 命题逻辑中的归结原理 定义4.10 设C1与C2是子句集中的任意两个子句。如果C1中的文字L1与C2中文字L2互补，那么从C1