人工智能习题答案

1 ．设有下列语句，请用相应的谓词公式把它们表示出来：
（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。

答：定义谓词：MAN（X）：X是人，LIKE（X，Y）：X喜欢Y ((∃X)(MAN(X)∧LIKE(X, 梅花)) ∧((∃Y)(MAN(Y)∧LIKE(Y,菊花))∧((∃Z)(MAN(Z)∧(LIKE(Z,梅花)∧LIKE(Z,菊花))
（2）他每天下午都去打篮球。

答：定义谓词：TIME(X):X是下午
PLAY(X,Y):X去打Y
（∀X）TIME(X) PLAY(他,篮球)
（3）并不是每一个人都喜欢吃臭豆腐。

定义谓词：MAN（X）：X是人
LIKE（X，Y）：X喜欢吃Y
┐（（∀X）MAN（X）LIKE（X，CHOUDOUFU））
2 ．请对下列命题分别写出它的语义网络：
（1）钱老师从 6 月至8 月给会计班讲《市场经济学》课程。

（2）三是大发电脑公司的经理，他35 岁，住在飞天胡同68 号。

（3）甲队与乙队进行蓝球比赛，最后以89 ：102 的比分结束。

3. 框架表示法
一般来讲，教师的工作态度是认真的，但行为举止有些随便，自动化系教师一般来讲性格向，喜欢操作计算机。

方园是自动化系教师，他性格向，但工作不刻苦。

试用框架写出上述知识，并求出方圆的兴趣和举止？
答：
框架名：<教师>
继承：<职业>
态度：认真
举止：随便
框架名：<自动化系教师>
继承：<教师>
性格：向
兴趣：操作计算机框架名：<方园>
继承：<自动化系教师>
性格：向
态度：不刻苦
兴趣：操作计算机
举止：随便
4. 剧本表示法
作为一个电影观众，请你编写一个去电影院看电影的剧本。

答：
(1) 开场条件
(a) 顾客想看电影
(b) 顾客在足够的钱
(2) 角色
顾客，售票员，检票员，放映员
(3) 道具
钱，电影票
（4) 场景
场景1 购票
1. 顾客来到售票处
2. 售票员把票给顾客
3. 顾客把钱给售票员
4. 顾客走向电影院门
场景2 检票
1. 顾客把电影票给检票员
2. 检票员检票
3. 检票员把电影票还给顾客
4. 顾客进入电影院
场景3 等待
1. 顾客找到自己的座位
2. 顾客坐在自己座位一等待电影开始
场景4 观看电影
1. 放映员播放电影
2. 顾客观看电影
场景5 离开
(a) 放映员结束电影放映
(b) 顾客离开电影院
(5) 结果
(a) 顾客观看了电影
(b) 顾客花了钱
5. 状态空间表示法
三个传教士和三个野人来到河边，有一条船可供一人或两人乘渡，在渡河过程中，任一岸的野人数若大于传教士人数，野人就会吃掉传教士。

他们怎样才能安全过河？
分析：先来看看问题的初始状态和目标状态，假设和分为甲岸和乙岸：
初始状态：甲岸，3野人，3牧师；
乙岸，0野人，0牧师；
船停在甲岸，船上有0个人；
目标状态：甲岸，0野人，0牧师；
乙岸，3野人，3牧师；
船停在乙岸，船上有0个人；
整个问题就抽象成了怎样从初始状态经中间的一系列状态达到目标状态。

问题状态的改变是通过划船渡河来引发的，所以合理的渡河操作就成了通常所说的算符，根据题目要求，可以得出以下5个算符（按照渡船方向的不同，也可以理解为10个算符）：
渡1野人、渡1牧师、渡1野人1牧师、渡2野人、渡2牧师
6. 把下列谓词公式分别化为相应的子句集：
（1）()()((,)(,)) x y P x y Q x y ∀∀∧
（2）()()((,)((,)(,))) x y P x y Q x y R x y ∀∃∨→
（3）()()()((,)(,)(,)) x y z P x y Q x y R x z ∀∀∃→∨
2. 某被盗，公安局派出五个侦察员去调查。

研究案情时，侦察员A 说“与钱中至少有一人作案”；侦察员B 说“钱与中至少有一人作案”；侦察员C 说“与中至少有一人作案”；侦察员D 说“与中至少有一人与此案无关”；侦察员E 说“钱与中至少有一人与此案无关”。

如果这五个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。

答：钱和是盗窃犯，和不是。

下面给出求解过程。

设用T(x)表示x是盗窃犯,则根据题意可得如下子句集：
A：T()∨T(钱) （1）
B：T(钱)∨T() （2）
C: T() ∨T() （3）
D: ¬ T()∨¬ T() （4）
E: ¬ T(钱)∨¬ T() （5）
下面先求谁是盗窃犯。

把¬T(x)∨Ansewer(x)并入上述子句集，即多出一个子句：
¬T(x)∨Ansewer(x) (6)
（1）和（4）归结得：T(钱)∨¬ T() （7）
（2）和（7）归结得：T(钱)。

（8）
（6）和（8）归结得：Answer(钱)。

（9）{钱/x}
（3）和（5）归结得：T()∨¬ T(钱) （10）
（2）和（10）归结得：T()。

（11）
（6）和（11）归结得：Answer()。

（12）{/x}
因此，钱和是盗窃犯，此外无论如何也归结不出Ansewer()和Ansewer()。

下面证明不是盗窃犯，即证明¬T()。

子句集如下：
A：T()∨T(钱) （1）
B：T(钱)∨T() （2）
C: T() ∨T() （3）
D: ¬ T()∨¬ T() （4）
E: ¬ T(钱)∨¬ T() （5）
要证明不是盗窃犯，即证明¬T()。

对¬T()进行否定，并入上述子句集中，即多出如下子句：
¬(¬T()), 即T() （6）
应用归结原理对子句集进行归结：
（3）和（5）归结得：T()∨¬ T(钱) （7）
（2）和（7）归结得：T() （8）
（4）和（8）归结得：¬ T() （9）
（6）和（9）归结得：NIL
所以，不是盗窃犯。

同理可以证明也不是盗窃犯。

1.已知：（1）自然数都是大于零的整数。

（2）所有整数不是偶数就是奇数。

（3）偶数除以2是整数。

求证： 所有自然数不是奇数就是其一半为整数的数。

解：
设()N x 表示x 是自然数。

()I x 表示x 是整数。

()E x 表示x 是偶数。

()O x 表
示x 是奇数。

()GZ x 表示x 大于零。

()S x 表示x 除以2。

则上面命题用谓词公式表示为：
1:()(()()())
2:()(()()())
3:()(()(())):()(()(()(()))
F x N x GZ x I x F x I x E x O x F x E x I S x
G x N x O x I S x ∀→∧∀→∨∀→∀→∨
把F1、F2、F3及￢G 化成子句集：
}}(1)()()1
(2)()()(3)()()()2
(4)()(())3
(5)()(6)()(7)(())(8)()()(3)(6){/}
(9)()(4)(7){/}
(10)()(8)(9)(11)()(2)(10){/}
(12)N x GZ x F N x I x I y E y O y F E z I S z F N t O t G
I S t I t E t t y E t t z I t N t t x NIL ⌝∨⎫
⎬⌝∨⎭⌝∨∨⌝∨⎫
⎪⌝⌝⎬⎪⌝⎭⌝∨⌝⌝⌝归结，归结，归结
归结，(5)(11)∴归结
所有自然数不是奇数就是其一般为整数的数。