第5章基于谓词逻辑的机器推理.ppt

* * * 如果让 5.3应用归结原理求取问题答案(4) 为了求取答案，给原来的子句增加一个辅助谓词ANS（u）， 得到： (4) ?T(u,Zhang) ? ANS（u） 原来的子句集变为： (1) ?C(x,y) ? ?T(z,x) ? T(z,y) (2)T(Wang,Li) (3)C(Li,Zhang) (4) ?T(u,Zhang) ? ANS（u） 重新归结演绎得： (5) ?C(Li,y) ? T(Wang,y) [(1),(2),{Wang/z,Li/x}] (6) ?C(Li,Zhang) ? ANS（wang） [(4) ,(5) ,{Wang/u,Zhang/y}] (7) ANS（Wang） [(3),(6) ] 这说明小张的老师存在且求得小张的老师是王先生。 应用归结原理求取问题答案（方法思路） （1）先为待求解的问题找一个合适的求证目标谓词； （2）再增配（以析取形式）一个辅助谓词，该谓词的变元必须与对应目标谓词中的变元完全一致； （3）进行归结； （4）当归结式刚好只剩下辅助谓词时，辅助谓词中原变元位置上的项就是所求的结果。 说明： 其中辅助谓词是一个形式谓词，其作用仅是提取问题的答案。有时就用需求证的目标谓词。 5.3应用归结原理求取问题答案(5) 例5.24 已知：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父。 （2）老李是大李的父亲。 （3）大李是小李父亲。 问：上述人员谁和谁是祖孙关系？ 解 首先定义如下谓词： G(x,y)表示x是y的祖父。 F(x,y)表示x与y是父亲。 已知条件可以表示成如下谓词公式： F1： ?x ?y?z(F(x,y) ? F(y,z) ?G(x,z)) F2: F(Lao,Da) F3: F(Da,Xiao) 5.3应用归结原理求取问题答案(6) 5.3应用归结原理求取问题答案(7) 并求其子句集如下： (1) ? F(x,y) ? ? F(y,z) ? G(x,z) (2) F(Lao,Da) (3)F(Da,Xiao) 设求证的公式为： G： ?x ?yG(x,y) (既存在x和y,x是y的祖父) 把其否定化为子句形式再析取一个辅助谓词GA(u，v) (4) ? G(u，v) ? GA(u，v) 已知条件可以表示成如下谓词公式： F1： ?x ?y?z(F(x,y) ? F(y,z) ?G(x,z)) F2: F(Lao,Da) F3: F(Da,Xiao) 5.3应用归结原理求取问题答案(8) 把其否定化为子句形式再析取一个辅助谓词GA(u，v) (1) ? F(x,y) ? ? F(y,z) ? G(x,z) (2) F(Lao,Da) (3) F(Da,Xiao) (4) ? G(u，v) ? GA(u，v) 对上式进行归结： (5) ? F(Da，z)? G (Lao，z) [(1),(2),{Lao/x,Da/y}] (6) G(Lao，Xiao) [(3),(5),{Xiao/z}] (7) GA(Lao,Xiao) [(4),(6),{Lao/u,Xiao/v}] 所以上述人员中，老李是小李的祖父。 5.3应用归结原理求取问题答案(9) P126 习题7 假设张被盗，公安局派出5个人去调查。案情分析时，贞察员A说：“赵与钱中至少有一个人作案”，贞察员B说：“钱与孙中至少有一个人作案”，贞察员C说：“孙与李中至少有一个人作案”，贞察员D说：“赵与孙中至少有一个人与此案无关”，贞察员E说：“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。 5.3应用归结原理求取问题答案(9) 解：设谓词P(x)表示x是盗窃犯．则题意可表述为如