t1=f(a) ,则? 2=?1?{ t1/ x1}= ?1?{f(a)/ y}={ f(y)/ x}?{ f(a)/ y}={f(f(a))/x,f(a)/y} W2= W1? 2={P(f(f(a)),f(a),f(f(a))) , P(f(f(a)),f(a),f(b))} (6) 算法终止, W的 mgu 不存在。(5) P(x,y) , P(y,x) 解:依据算法: (1) 令 W={P(x,y) , P(y,x)} 。(2) 令? 0=?, W0=W 。(3) W0未合一。(4) 从左到右找不一致集,得 D0={x , y}。(5) 取 x0=x , t0=y ,则? 1=?0?{ t0/ x0}= ?0?{y/ x}={y/ x} W1= W0? 1={P(y,y) , P(y,y)} (3’) W2已合一,因为其中包含相同的表达式,这时? 1={y/x} 即为所求的 mgu 。 12. 什么是范式?请写出前束范式与 SKOLEM 范式的形式。定义:量词按照一定的规则出现的谓词公式。前束范式形式: (? x)(? y)( ? z)(P(x) ? F(y,z) ? Q(y,z)) SKOLEM 范式形式: (? x1) (? x2) …(? xn)M(x1 , x2,…, xn) 13. 什么是子句?什么是子句集?请写出谓词公式子句集的步骤。解: 子句就是由一些文字组成的析取式。由子句构成的集合称为子句集。步骤:(1)消去谓词公式中的蕴涵和双条件符号,以?A?B代替 A?B,以(A? B)?(?A?? B)替换 A?B。(2)减少不定符号的辖域,使不定符号最多只作用到一个谓词上。(3)重新命名变元名,使所有的变元的名字均不同,并且自由变元及约束变元亦不同。(4)消去存在量词。(5)把全称量词全部移到公式的左边,并使每个量词的辖域包括这个量词后面公式的整个部分。
全文预览
