5.3应用归结原理求取问题答案(1)
例5.23 已知:
(1)如果x和y是同班同学,则x的老师也是y的老师。
(2)王先生是小李的老师。
(3)小李和小张是同班同学。
问:小张的老师是谁?
解 首先定义如下谓词:
T(x,y)表示x是y的老师
C(x,y)表示x与y是同班同学。
已知条件可以表示成如下谓词公式:
F1: x yz(C(x,y) T(z,x) T(z,y))
F2: T(Wang,Li) F3: C(Li,Zhang)
2023-03-17 13:07:53
1.09MB
人工智能
1