人工智能经典试题及答案(9)

人工智能经典 试题及答案

(1) 如果x是y的父亲，y是z的父亲，则x是z的祖父； (2) 每个人都有一个父亲。

使用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。 解：先定义谓词

F(x,y)：x是y的父亲 GF(x,z)：x是z的祖父 P(x)：x是一个人

再用谓词把问题描述出来：

已知F1：( x) ( y) ( z)( F(x,y)∧F(y,z))→GF(x,z)) F2：( y)(P(x)→F(x,y))

求证结论G：( u) ( v)( P(u)→GF(v,u)) 然后再将F1，F2和¬G化成子句集： ① ¬F(x,y)∨¬F(y,z)∨GF(x,z)

② ¬P(r)∨F(s,r)

③ P(u)

④ ¬GF(v,u))

对上述扩充的子句集，其归结推理过程如下：

3.16 假设张被盗，公安局派出5个人去调查。案情分析时，贞察员A说：“赵与钱中至少有一个人作案”，贞察员B说：“钱与孙中至少有一个人作案”，贞察员C说：“孙与李中至少有一个人作案”，贞察员D说：“赵与孙中至少有一个人与此案无关”，贞察员E说：“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。