语义网络的研究现状与展望计算机二级,人工智能复习

★已知：能阅读的都是有文化的；

海豚是没有文化的；

某些海豚是有智能的。

用归结反演法证明：某些有智能的并不能阅读。

定义谓词变量H(x)：x是海豚

R (x)：x能阅读

I(x)：x有文化

C(x)：x有智能

谓词子句：

(?x)[R(x) ->C(x)]

～C(Hai)

(?x)(H(x) ∧I(x))

把上述子句化成子句集的形式：

～R(x)∨C(x) (1)

～C(x) (2)

H(A) (3)

I(A) (4)

结论求反(?x) (I(x) ∧～R(x))

化为子句：～I(y)∨R(y) (5)

～I(y)∨C(y) (1)、(5)消解y/x得子句6

cannotwork(P) (6)、(4)消解得子句7 A/y

NIL (2)、(7)消解

★已知：对所有的x和y，如果x是y的父辈而y是z的父辈，则x是z的祖辈；

每个人都有父辈；用归结反演法求解：存在具体的x和y，使得x是y的祖辈。定义谓词：

Father(x,y):x 是y的父辈

Grandfather(x,y):x是y的祖辈

为谓词演算公式表示：

(?x)(?y)(?z)[father(x,y) ∧father(y,z) ->grandfather(x,z)]

(?x)father(x,Z)

结论: (?x) (?y)grandfather(x,y)

化简：

～father(x,y) ∨～father(y,z) ∨grandfather(x,z) (1)

father(x,Z) (2)

结论化为重言式：

～grandfather(x,k) ∨grandfather(x,k) (3)

(1)、(2)消解：

grandfather(x,z) (4)

(3)、(4)消解：

grandfather(x,z) 得证