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

人工智能经典 试题及答案

A(Zhang)∧A(Wang)∧A(Li)

高山协会的每个成员不是滑雪运动员，就是登山运动员

( x)(A(x)∧¬S(x)→C(x))

高山协会中不喜欢雨的运动员是登山运动员

( x)(¬L(x, Rain)→C(x))

高山协会中不喜欢雪的运动员不是滑雪运动员

( x)(¬L(x, Snow)→¬ S(x)) 王不喜欢张所喜欢的一切东西

( y)( L(Zhang, y)→¬ L(Wang ,y))

王喜欢张所不喜欢的一切东西

( y)(¬ L(Zhang, y)→L(Wang, y)) 张喜欢雨和雪

L(Zhang , Rain)∧L(Zhang , Snow) (3) 将问题要求的答案用谓词表示出来

高山俱乐部中有没有一个成员，他是一个登山运动员，但不是一个滑雪运动员？ ( x)( A(x)→C(x)∧¬ S(x))

(4) 为了进行推理，把问题划分为已知事实和规则两大部分。假设，划分如下：

已知事实：

A(Zhang)∧A(Wang)∧A(Li)

L(Zhang , Rain)∧L(Zhang , Snow) 规则：

( x)(A(x)∧¬S(x)→C(x)) ( x)(¬L(x, Rain)→C(x)) ( x)(¬L(x, Snow)→¬ S(x))

( y)( L(Zhang, y)→¬ L(Wang ,y)) ( y)(¬ L(Zhang, y)→L(Wang, y))

(5) 把已知事实、规则和目标化成推理所需要的形式

事实已经是文字的合取形式：

f1: A(Zhang)∧A(Wang)∧A(Li)

f2: L (Zhang , Rain)∧L(Zhang , Snow) 将规则转化为后件为单文字的形式：

r1: A(x)∧¬S(x)→C(x)) r2: ¬L(x, Rain)→C(x) r3: ¬L(x, Snow)→¬ S(x)

r4: L(Zhang, y)→¬ L(Wang ,y) r5: ¬ L(Zhang, y)→L(Wang , y)

将目标公式转换为与/或形式

¬ A(x)∨(C(x)∧¬ S(x))

(6) 进行逆向推理

逆向推理的关键是要能够推出L(Zhang , Rain)∧L(Zhang , Snow)，其逆向演绎过程如下图