第三章 归结推理.pptVIP

求取子句集例(1) 例：对所有的x,y,z来说，如果y是x的父亲，z又是y的父亲，则z是x的祖父。又知每个人都有父亲，试问对某个人来说谁是它的祖父？ 求：用一阶逻辑表示这个问题，并建立子句集。 解：这里我们首先引入谓词： P(x, y) 表示x是y的父亲 Q(x, y) 表示x是y的祖父 ANS(x) 表示问题的解答 求取子句集例(2) 对于第一个条件，“如果x是y 的父亲， y又是z 的父亲，则x是z 的祖父”，一阶逻辑表达式如下： A1：(?x)(?y)(?z)(P(x, y)∧P(y, z)→Q(x, z)) S A1：～P(x ,y)∨～P(y, z)∨Q(x, z) 对于第二个条件：“每个人都有父亲”，一阶逻辑表达式： A2：(?y)(?x)P(x, y) S A2：P(f(y), y) 对于结论：某个人是它的祖父 B：(?x)(?y)Q(x, y) 否定后得到子句： ～（ (?x)(?y)Q(x, y)） ∨ANS(x) S～B：～Q(x, y)∨ANS(x) 则得到的相应的子句集为：{ S A1，S A2，S～B } 归结原理 归结原理正确性的根本在于，找到矛盾可以肯定不真。 方法： 和命题逻辑一样。 但由于有函数，所以要考虑合一和置换。 置换 置换：可以简单的理解为是在一个谓词公式中用置换项去置换变量。 定义：