4.3 谓词演算的归结推理系统.ppt

归结反演系统的应用 问题求解 规划生成 程序综合 程序分析与程序验证 例2 给机器猴r编制一程序，使它能够登上一只椅子c以取下挂在房顶的香蕉b。 引入一个状态变量s, 并引入两个谓词 P(x,y,z,s)：在状态s时，r在x，c在y，b在z。 R(s): s是成功的状态。 引入三个函数: walk(y,z,s) carry(y,z,s) climb(s) 规则：(1) ?x?y?z?s(P(x,y,z,s) ? P(z,y,z,walk(x,z,s))) (2) ?x?y?s(P(x,y,x,s) ? P(y,y,y,carry(x,y,s))) (3) ?s(P(b0,b0,b0,s) ? R(climb(s))) 初始状态：(4) P(r0,b0,c0,s0)结论：(5) ?sR(s)  结论的否定： ?s?R(s) 规则 约定限制为如下形式： W?L 其中： （1）L为单文字，或合取式； （2）W为合取式，或任意公式。 结论的否定为: ?x(D(x)? Q(x)) * 本题中，结论并非是简单事实，故形式上结论的否定并非所定义的“目标” 本题中，结论并非是简单事实，故形式上结论的否定并非所定义的“目标” * 分析： 根据规则，由（1）可以得到两个子句 P(x)→A(y(x)) 及 P(x) → W(x,y(x)) 由（3）可以得到两个子句 P(a) 及 B(y) →?W(a,y) ? B(y)∧W(a,y) → 注意： 结论“COMPUTER是在图书馆”的否定就是“目标”子句 注意： 结论“COMPUTER是在图书馆”的否定就是“目标”子句 注意： 结论“COMPUTER是在图书馆”的否定就是“目标”子句 注意： 结论“COMPUTER是在图书馆”的否定就是“目标”子句 子句的类型 Q1，Q2，…，Qm ? P1，P2，…，Pn m≠0,n≠0 ? P1，P2，…，Pn m＝0,n≠0 Q1，Q2，…，Qm ? m≠0,n＝0 口 m=0, n ＝0 子句的归结 子句1 子句2 归结式 P?R Q?P Q?R P, Q?R Q?P Q?R P, Q?R ?P, Q P?P, R P, Q?R ?P, Q Q?Q, R P, Q?R ?Q, R P?R P? ?P 口 相同的文字出现在两边即可以消除 每次归结只能消除一对相同的文字 霍恩子句 定义：子句 L1?L2?…?Ln 中，如果至多只含有一个正文字， 那么该子句称为霍恩子句。 霍恩子句P??Q1??Q2?…??Qn可表为： P?Q1，Q2，…，Qn 霍恩子句的类型 P ? Q1，Q2，…，Qn n?0 P ? 上式n=0 ? Q1，Q2，…，Qn n?0 口 上式n=0 过程 事实 目标 停机语句 过程名?过程调用，过程调用，…，过程调用 霍恩子句逻辑 ——由霍恩子句构成的一阶谓词演算系统 执行算法： 由目标中的一个过程调用与事实或过程名匹配启动，当匹配成功后，形成新的目标。 两个霍恩子句的归结是一个霍恩子句。 例 已知前提 (1) 小张在何处， 小王在何处 (2) 小王在何处，她的手机在何处 (3) 小张在图书馆 试问小王的手机在何处？ 解： 记At(e1,e2): e1在e2处。 前提翻译为： (1) ?x(At(小张,x) → At(小王,x)) (2) ?y(At(小王,y) → At(手机,y)) (3) At(小张, 图书馆) 结论： ?zAt(手机, z) 霍恩子句逻辑程序为 (1) At(小王,x) ? At(小张,x) 过