人工智能知识表示的方法谓词逻辑.ppt

第一步：k = 0, F0= F, σ0=ε F0的分歧集合D0={a , z} 置换：{a/z} σ1 =σ0{a/z} = {a/z} F1 = F0 {a/z} = { P(a , x , f(g(y))), P(a , h(a , u) , f(u))} k=1 F1 不是单一表达式 F={P(a,x,f(g(y)))， P(z,h(z,u),f(u))}} 第二步：D1＝{x , h(a,u)} 置换：{h(a , u)/x} σ2＝σ1{h(a , u)/x}={a/z , h(a , u)/x} F2=F1{h(a , u)/x} ={P(a , h(a , u) , f(g(y))), P(a , h(a , u) , f(u))} k=2 F={P(a,x,f(g(y)))， P(a,h(a,u),f(u))}} 第三步：D2＝{g(y) , u} 置换：{g(y)/u} σ3＝σ2{g(y)/u}={a/z , h(a,g(y))/x , g(y)/u} F3=F2{g(y)/u}={P(a , h(a , g(y)) , f(g(y)))} k=3 F={P(a, h(a,u), f(g(y)))， P(a, h(a,u), f(u))}} F3是单一表达式，所以 σ3＝{a/z , h(a , g(y))/x , g(y)/u} 是 F 的最一般合一者 例：F={Q(f(a) , g(x)) , Q(y , y)}是否可合一？ 第一步：k=0, F0=F, σ0=ε F0的分歧集合D0={f(a) , y} 置换：{f(a)/y} σ1＝σ0{f(a)/y}={ f(a)/y } F1=F0{ f(a)/y }={Q(f(a) , g(x)) , Q(f(a) , f(a))} k=1 F1不是单一表达式 第二步：D1＝{g(x), f(a)} 不存在着变量，所以不可合一。 F1={Q(f(a),g(x)), Q(f(a),f(a))} 作业 P14. 1.1,1.3 P133. 3.9 上机试验：实现mgu算法，并自动实现3.9. 例1：“所有的机器人都是灰色的”，用谓词逻辑可以表示成： （?x）[ROBOT(x) ?COLOR(x，gray)] 例2： “一号房间里有一个物体”，可以表示成 （?x）INROOM（x , r1） 我们称 x 是被量化了的变量，称为约束变量。否则称之为自由变量。 一阶谓词：只允许对变量施加量词，不允许对谓词和函数施加量词。 2.1.2 谓词公式 1、谓词公式的定义 利用连词和量词可以将原子（谓词）公式组成复合谓词公式，称之为分子谓词公式、谓词合适公式、谓词公式、合适公式。 （谓词）合适公式 的（递归）定义： ①原子（谓词）公式是合适公式。 ②若 A 是合适公式，则 ～A 也是合适公式。 ③若 A 和 B 是合适公式，则 A∧B 、A∨B 、A?B 、A?B 也是合适公式。 ④若 A 是合适公式， x 为 A 的自由变元（变量），则（?x）A 和（?x）A 都是合适公式。 ⑤只有按上述规则求得的公式才是合适公式。 例：任何整数或者为正或者为负。 数学表达：对于所有的 x，如果 x 是整数，则 x 或者为正、或者为负。 记作： I(x)：“ x 是整数”。 P(x)：“ x 是正数”。 N(x)：“ x 是负数”。 谓词公式： （?x）（I(x) ? (P(x) ∨ N(x))） 2、合适公式的性质 如果 P 和 Q 是合适公式，则由这两个合适公式构成的合适公式的真值表与前面介绍的真值表相