1、. WORD 格式.资料 .专业.整理 1.什么是人类智能？它有哪些特征或特点？定义：人类所具有的智力和行为能力。特点：主要体现为感知能力、记忆与思维能力、归纳与演绎能力、学习能力以及行为能力。2.人工智能是何时、何地、怎样诞生的？解：人工智能于 1956 年夏季在美国 Dartmouth 大学诞生。此时此地举办的关于用机器模拟人类智能问题的研讨会，第一次使用“人工智能”这一术语，标志着人工智能学科的诞生。3.什么是人工智能？它的研究目标是？定义：用机器模拟人类智能。研究目标：用计算机模仿人脑思维活动，解决复杂问题；从实用的观点来看，以知识为对象，研究知识的获取、知识的表示方法和知识的使用。4
2、.人工智能的发展经历了哪几个阶段？解：第一阶段：孕育期（1956 年以前） ；第二阶段：人工智能基础技术的研究和形成（19561970 年） ；第三阶段：发展和实用化阶段（19711980 年） ；第四阶段：知识工程和专家系统（1980 年至今） 。5.人工智能研究的基本内容有哪些？解：知识的获取、表示和使用。6.人工智能有哪些主要研究领域？解：问题求解、专家系统、机器学习、模式识别、自动定论证明、自动程序设计、自然语言理解、机器人学、人工神经网络和智能检索等。7.人工智能有哪几个主要学派？各自的特点是什么？主要学派：符号主义和联结主义。特点：符号主义认为人类智能的基本单元是符号，认识过程就是
3、符号表示下的符号计算，从而思维就是符号计算；联结主义认为人类智能的基本单元是神经元，认识过程是由神经元构成的网络的信息传递，这种传递是并行分布进行的。8.人工智能的近期发展趋势有哪些？解：专家系统、机器人学、人工神经网络和智能检索。9.什么是以符号处理为核心的方法？它有什么特征？解：通过符号处理来模拟人类求解问题的心理过程。特征：基于数学逻辑对知识进行表示和推理。11.什么是以网络连接为主的连接机制方法？它有什么特征？解：用硬件模拟人类神经网络，实现人类智能在机器上的模拟。特征：研究神经网络。1.请写出用一阶谓词逻辑表示法表示知识的步骤。步骤：（1）定义谓词及个体，确定每个谓词及个体的确切含义
4、；（2）根据所要表达的事物或概念，为每个谓词中的变元赋予特定的值；（3）根据所要表达的知识的语义用适当的联接符号将各个谓词联接起来，形成谓词公式。2.设有下列语句，请用相应的谓词公式把它们表示出来：（1）有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。解：定义谓词如下：Like(x,y)：x 喜欢 y。 Club(x)：x 是梅花。Human(x)：x 是人。 Mum(x)：x 是菊花。“有的人喜欢梅花”可表达为：(x)(Human(x)Like(x,Club(x)“有的人喜欢菊花”可表达为：(x)(Human(x)Like(x,Mum(x)“有的人既喜欢梅花又喜欢菊花”可表达为：
5、(x)(Human(x)Like(x,Club(x) Like(x,Mum(x)（1）他每天下午都去玩足球。解：定义谓词如下：PlayFootball(x)：x 玩足球。 Day(x)：x 是某一天。 则语句可表达为：(x)(D(x)PlayFootball(Ta)（2）太原市的夏天既干燥又炎热。解：定义谓词如下：Summer(x)：x 的夏天。 Dry(x)：x 是干燥的。 Hot(x)：x 是炎热的。则语句可表达为：Dry(Summer(Taiyuan)Hot(Summer(Taiyuan)（3）所有人都有饭吃。. WORD 格式.资料 .专业.整理 解：定义谓词如下：Human(x)：x
6、 是人。 Eat(x)：x 有饭吃。则语句可表达为：(x)(Human(x)Eat(x)（4）喜欢玩篮球的人必喜欢玩排球。解：定义谓词如下：Like(x,y)：x 喜欢 y。 Human(x)：x 是人。则语句可表达为：(x)(Human(x)Like(x,basketball)Like(x,volleyball)（5）要想出国留学，必须通过外语考试。解：定义谓词如下：Abroad(x)：x 出国留学。 Pass(x)：x 通过外语考试。则语句可表达为：Abroad(x)Pass(x)、猴子问题：2.7 解：根据谓词知识表示的步骤求解问题如下：解法一：(1)本问题涉及的常量定义为：猴子：Mon
7、key，箱子：Box，香蕉：Banana，位置：a，b，c(2)定义谓词如下：SITE(x，y)：表示 x 在 y 处；HANG(x，y)：表示 x 悬挂在 y 处；ON(x，y)：表示 x 站在 y 上；HOLDS(y，w)：表示 y 手里拿着 w。(3)根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下：问题的初始状态表示：SITE(Monkey，a)HANG(Banana，b)SITE(Box，c)ON(Monkey，Box)HOLDS(Monkey，Banana)问题的目标状态表示：SITE(Monkey，b)HANG(Banana，b)SITE(Box，b)ON(Monk
8、ey，Box)HOLDS(Monkey，Banana)解法二：本问题涉及的常量定义为：猴子：Monkey，箱子：Box，香蕉：Banana，位置：a，b，c定义谓词如下：SITE(x，y)：表示 x 在 y 处；ONBOX(x)：表示 x 站在箱子顶上；HOLDS(x)：表示 x 摘到了香蕉。(3)根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下：问题的初始状态表示：SITE(Monkey，a)SITE(Box，c)ONBOX(Monkey)HOLDS(Monkey). WORD 格式.资料 .专业.整理 问题的目标状态表示：SITE(Box，b)SITE(Monkey，b)ON
9、BOX(Monkey)HOLDS(Monkey)从上述两种解法可以看出，只要谓词定义不同，问题的初始状态和目标状态就不同。所以，对于同样的知识，不同的人的表示结果可能不同。2.8 解：本问题的关键就是制定一组操作，将初始状态转换为目标状态。为了用谓词公式表示操作，可将操作分为条件(为完成相应操作所必须具备的条件)和动作两部分。条件易于用谓词公式表示，而动作则可通过执行该动作前后的状态变化表示出来，即由于动作的执行，当前状态中删去了某些谓词公式而又增加一些谓词公式从而得到了新的状态，通过这种不同状态中谓词公式的增、减来描述动作。定义四个操作的谓词如下，操作的条件和动作可用谓词公式的增、删表示：(
10、1)gotox，y)：从 x 处走到 y 处。条件：SITE(Monkey，x)动作：删除 SITE(Monkey，x)；增加 SITE(Monkey，y)(2)pushbox (x，y)：将箱子从 x 处推到 y 处。 条件：SITE(Monkey，x)SITE(Box，x)ONBOX(Monkey)动作：删除 SITE(Monkey，x)，SITE(Box，x)；增加 SITE(Monkey，y)，SITE(Box，y) (3)climbbox：爬到箱子顶上。 条件：ONBOX(Monkey)动作：删除ONBOX(Monkey)；增加 ONBOX(Monkey)(4)grasp：摘下香蕉。
11、条件：HOLDS(Monkey) ONBOX(Monkey) SITE(Monkey，b)动作：删除HOLDS(Monkey)；增加 HOLDS(Monkey)在执行某一操作前，先检查当前状态是否满足其前提条件。若满足，则执行该操作。否则，检查另一操作的条件是否被满足。检查的方法就是当前的状态中是否蕴含了操作所要求的条件。在定义了操作谓词后，就可以给出从初始状态到目标状态的求解过程。在求解过程中，当进行条件检查时，要进行适当的变量代换。SITE(Monkey，a)SITE(Box，c) ONBOX(Monkey)HOLDS(Monkey) goto(x，y) ，用 a 代 x，用 c 代 yS
12、ITE(Monkey，c)SITE(Box，c) ONBOX(Monkey)HOLDS(Monkey) pushbox(x， y)，用 c 代 x，用 b 代 ySITE(Monkey，b)SITE(Box，b) ONBOX(Monkey)HOLDS(Monkey)climbboxSITE(Monkey，b)SITE(Box，b) ONBOX(Monkey) HOLDS(Monkey) . WORD 格式.资料 .专业.整理 graspSITE(Monkey，b)SITE(Box，b) ONBOX(Monkey) HOLDS(Monkey)216. 用语义网络表示下列知识：（1）所有的鸽子都是
13、鸟；（2）所有的鸽子都有翅膀；（3）信鸽是一种鸽子，它有翅膀。解：本题涉及对象有信鸽、鸽子和鸟。鸽子和信鸽的属性是有翅膀。鸽子和鸟是 ISA 关系，信鸽和鸽子是 AKO 关系。根据分析得到本题的语义网络如下：2.17. 请对下列命题分别写出它的语义网络：（1）每个学生都有多本书。解：根据题意可得本题的语义网络如下：（2）孙老师从 2 月至 7 月给计算机应用专业讲网络技术课程。解：根据题意可得本题的语义网络如下：（3）雪地上留下一串串脚印，有的大，有的小，有的深，有的浅。解：根据题意可得本题的语义网络如下：（4）王丽萍是天发电脑公司的经理，她 35 岁，住在南内环街 68 号。解：根据题意可得
14、本题的语义网络如下：2.18. 请把下列命题用一个语义网络表示出来：（1）猪和羊都是动物；（2）猪和羊都是偶蹄动物和哺乳动物；（3）野猪是猪，但生长在森林中；（4）山羊是羊，且头上长着角；（5）绵羊是一种羊，它能生产羊毛。解：本题涉及对象有猪、羊、动物、野猪、山羊和绵羊。猪和羊的属性是偶蹄和哺乳。野猪的属性是生长在森林中。山羊的属性是头上长着角。绵羊的属性是产羊毛。根据对象之间的关系得到本题的语. WORD 格式.资料 .专业.整理 义网络如下：2.27 有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到下列条件的限制：(1) 船太小，农夫每次只能带一样东西过河；(2) 如果没有
15、农夫看管，则狼要吃羊，羊要吃菜。请设计一个过河方案，使得农夫、浪、羊都能不受损失的过河，画出相应的状态空间图。题示：(1) 用四元组（农夫，狼，羊，菜）表示状态，其中每个元素都为 0 或 1，用 0表示在左岸，用 1 表示在右岸。(2) 把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。解：第一步，定义问题的描述形式用四元组 S=（f，w，s，v）表示问题状态，其中，f，w ， s 和 v 分别表示农夫，狼，羊和青菜是否在左岸，它们都可以取 1 或 0，取 1 表示在左岸，取 0 表示在右岸。第二步，用所定义的问题状态表示方式，把所有可能的问题状态表示出来，包括问题的
16、初始状态和目标状态。由于状态变量有 4 个，每个状态变量都有 2 种取值，因此有以下 16 种可能的状态：S0=(1,1,1,1)，S 1=(1,1,1,0)，S 2=(1,1,0,1)，S 3=(1,1,0,0)S4=(1,0,1,1)，S 5=(1,0,1,0)，S 6=(1,0,0,1)，S 7=(1,0,0,0)S8=(0,1,1,1)，S 9=(0,1,1,0)，S 10=(0,1,0,1)，S 11=(0,1,0,0)S12=(0,0,1,1)， S13=(0,0,1,0)， S14=(0,0,0,1)，S 15=(0,0,0,0)其中，状态 S3，S 6，S 7，S 8，S 9，
17、S 12 是不合法状态，S 0 和 S15 分别是初始状态和目标状态。第三步，定义操作，即用于状态变换的算符组 F由于每次过河船上都必须有农夫，且除农夫外船上只能载狼，羊和菜中的一种，故算符定义如下：L(i)表示农夫从左岸将第 i 样东西送到右岸（i=1 表示狼， i=2 表示羊，i=3 表示菜，i=0表示船上除农夫外不载任何东西） 。由于农夫必须在船上，故对农夫的表示省略。. WORD 格式.资料 .专业.整理 R (i)表示农夫从右岸将第 i 样东西带到左岸（i=1 表示狼，i=2 表示羊，i=3 表示菜，i=0 表示船上除农夫外不载任何东西） 。同样，对农夫的表示省略。这样，所定义的算符
18、组 F 可以有以下 8 种算符：L (0)，L (1)，L (2) ，L (3)R(0)，R(1)，R (2) ，R (3)第四步，根据上述定义的状态和操作进行求解。该问题求解过程的状态空间图如下：3.5 什么是谓词公式？什么是谓词公式的解释？设 D1,2 ，试给出谓词公式(x)( y)(P(x,y)Q(x,y)的所有解释，并且对每一种解释指出该谓词公式的真值。解：谓词公式是按照下述五个规则由原子公式、连接词、量词及圆括号所组成的字符串。(1)原子谓词公式是合式公式。 (2)若 A 是合式公式，则 A 也是合式公式。 (3)若 A 和 B 都是合式公式，则 AB、A B、A B、AB 也都是合
19、式公式。 (4)若 A 是合式公式，x 是任一个体变元，则(x)A 和(x)A 也都是合式公式。 (5)只有按(1) (4) 所得的公式才是合式公式。谓词公式的解释：设 D 为谓词公式 P 的个体域，若对 P 中的个体常量、函数和谓词按照如下规定赋值：(1)为每个个体常量指派 D 中的一个元素；(2)为每个 n 元函数指派一个从 Dn 到 D 的映射，其中 Dn=(x1，x2，xn)| x1，x2，xn D (3)为每个 n 元谓词指派一个从Dn 到F，T的映射；则这些指派称为公式 P 在 D 上的解释。下面给出本题的所有解释：1. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(
20、2,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。2. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2,1)=F，P(2,2)=T，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(
21、2,1)为 T，P(2,2)Q(2,2)为 F。所以在此解释下，本题谓词公式的真值为 T。L(2)(0,1,0,1)(1,1,0,1)R(0)(0,0,0,1)L(1)(0,1,0,0)L(3)(1,0,1,1)R(2) (1,1,1,0)R(2)(0,0,1,0)L(3) L(2)(1,0,1,0)R(0)(0,0,0,0)L(2). WORD 格式.资料 .专业.整理 3. 对谓词指派的真值为：P(1,1)=F，P(1,2)=T，P(2,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为
22、T，P(1,2) Q(1,2)为F；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。4. 对谓词指派的真值为：P(1,1)=F，P(1,2)=T，P(2,1)=F，P(2,2)=T，Q(1,1)=T，Q(1,2)=F，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为F；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 F。所以在此解释下，本题谓词公式的真值为 F。5. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2
23、,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 F，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。6. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2,1)=T，P(2,2)=F，Q(1,1)=F，Q(1,2)=T，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 F，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2
24、,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。7. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2,1)=T，P(2,2)=F，Q(1,1)=F，Q(1,2)=T，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1) 为 F，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 F，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 F。8. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2,1)=F，P(2,2)=T，Q(1,1)=T，Q(1,2)=F，
25、Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。9. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2,1)=F，P(2,2)=T，Q(1,1)=F，Q(1,2)=T，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 F，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 F。所以在此解释下，本题
26、谓词公式的真值为 F。10. 对谓词指派的真值为：P(1,1)=T，P(1,2)=F，P(2,1)=F，P(2,2)=T，Q(1,1)=F，Q(1,2)=T，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1) 为 F，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。11. 对谓词指派的真值为：P(1,1)=F，P(1,2)=T，P(2,1)=T，P(2,2)=F，Q(1,1)=T，Q(1,2)=F，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P
27、(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为F；x=2 时，P(2,1)Q(2,1)为 F，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 F。12. 对谓词指派的真值为：P(1,1)=F，P(1,2)=T，P(2,1)=T，P(2,2)=F，Q(1,1)=F，Q(1,2)=T，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。13. 对谓词指派的真值为：P(1,1
28、)=F，P(1,2)=T，P(2,1)=T，P(2,2)=F，Q(1,1)=F，Q(1,2)=T，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 F，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。. WORD 格式.资料 .专业.整理 14. 对谓词指派的真值为：P(1,1)=F，P(1,2)=T，P(2,1)=F，P(2,2)=T，Q(1,1)=T，Q(1,2)=F，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1
29、) 为 T，P(1,2) Q(1,2)为F；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。15. 对谓词指派的真值为：P(1,1)=F，P(1,2)=T，P(2,1)=F，P(2,2)=T，Q(1,1)=F，Q(1,2)=T，Q(2,1)=T，Q(2,2)=F，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 F。所以在此解释下，本题谓词公式的真值为 F。16. 对谓词指派的真值为：P(1,1)=F，P(1,2)
30、=T，P(2,1)=F，P(2,2)=T，Q(1,1)=F，Q(1,2)=T，Q(2,1)=F，Q(2,2)=T，在此解释下，x=1 时，P(1,1)Q(1,1) 为 T，P(1,2) Q(1,2)为T；x=2 时，P(2,1)Q(2,1)为 T，P(2,2)Q(2,2)为 T。所以在此解释下，本题谓词公式的真值为 T。3.9 判断以下公式对是否可合一；若可合一，则求出最一般的合一。（1）P(a,b)， P(x,y)解：依据算法：(1) 令 W=P(a,b)，P(x,y)。(2) 令 0=，W0=W。(3) W0 未合一。(4) 从左到右找不一致集，得 D0=a，x。(5) 取 x0=x，t0
31、=a，则 1=0 t0/ x0=0a/ x=a/ xW1= W01=P(a,b)，P(a,y)(3) W1 未合一。(4) 从左到右找不一致集，得 D1=b，y。(5) 取 x1=y，t1=b，则 2=1 t1/ x1=1b/ y=a/ xb/ y=a/x，b/yW2= W12=P(a,b)，P(a,b)(3) W2 已合一，因为其中包含相同的表达式，这时2=a/x，b/y即为所求的 mgu。（2）P(f(z),b)， P(y,x)解：依据算法：(1) 令 W=P(f(z),b)，P(y,x)。(2) 令 0=，W0=W。(3) W0 未合一。(4) 从左到右找不一致集，得 D0=f(z)，y
32、。(5) 取 x0=y，t0=f(z)，则 1=0 t0/ x0=0f(z)/ y=f(z)/yW1= W01=P(f(z),b)，P(f(z),x)(3) W1 未合一。(4) 从左到右找不一致集，得 D1=b，x。(5) 取 x1=x，t1=b，则 2=1 t1/ x1=1b/ x= f(z)/ y b/ x=f(z)/y，b/xW2= W12=P(f(z),b)，P(f(z),b)(3) W2 已合一，因为其中包含相同的表达式，这时2=f(z)/y，b/x即为所求的 mgu。（3）P(f(x),y)， P(y,f(a). WORD 格式.资料 .专业.整理 解：依据算法：(1) 令 W=
33、P(f(x),y)，P(y,f(a)。(2) 令 0=，W0=W。(3) W0 未合一。(4) 从左到右找不一致集，得 D0=f(x)，y。(5) 取 x0=y，t0=f(x)，则 1=0 t0/ x0=0f(x)/ y=f(x)/yW1= W01=P(f(x),f(x)，P(f(x),f(a)(3) W1 未合一。(4) 从左到右找不一致集，得 D1=y，f(a)。(5) 取 x1=y，t1=f(a)，则 2=1 t1/ x1=1f(a)/ y= f(x)/ y f(a)/ y=f(x)/yW2= W12=P(f(x),f(x)，P(f(x),f(a)(6) 算法终止，W 的 mgu 不存在
34、。（4）P(f(y),y,x)， P(x,f(a),f(b)解：依据算法：(1) 令 W=P(f(y),y,x)，P(x,f(a),f(b)。(2) 令 0=，W0=W。(3) W0 未合一。(4) 从左到右找不一致集，得 D0=f(y)，x。(5) 取 x0=x，t0=f(y)，则 1=0 t0/ x0=0f(y)/ x=f(y)/xW1= W01=P(f(y),y,f(y)，P(f(y),f(a),f(b)(3) W1 未合一。(4) 从左到右找不一致集，得 D1=y，f(a)。(5) 取 x1=y，t1=f(a)，则 2=1 t1/ x1=1f(a)/ y= f(y)/ x f(a)/
35、y=f(f(a)/x,f(a)/yW2= W12=P(f(f(a),f(a),f(f(a)，P(f(f(a),f(a),f(b)(6) 算法终止，W 的 mgu 不存在。（5）P(x,y)， P(y,x)解：依据算法：(1) 令 W=P(x,y)，P(y,x)。(2) 令 0=，W0=W。(3) W0 未合一。(4) 从左到右找不一致集，得 D0=x，y。(5) 取 x0=x，t0=y，则 1=0 t0/ x0=0y/ x=y/ xW1= W01=P(y,y)，P(y,y)(3) W2 已合一，因为其中包含相同的表达式，这时1=y/x即为所求的 mgu。3.13 把下列谓词公式分别化为相应的子
36、句集：（1）(z)(y)(P(z,y)Q(z,y)解：所求子句集为 S=P(z,y)，(z,y)（2）(x)(y)(P(x,y)Q(x,y)解：原式(x)(y)(P(x,y)Q(x,y). WORD 格式.资料 .专业.整理 所求子句集为 S=P(x,y)Q(x,y)（3）(x)(y)(P(x,y) (Q(x,y)R(x,y)解：原式(x)(y)(P(x,y)(Q(x,y)R(x,y)(x)(P(x,f(x)(Q(x,f(x)R(x,f(x)所求子句集为 S= P(x,f(x)(Q(x,f(x)R(x,f(x)（4）(x) (y) (z)(P(x,y) Q(x,y)R(x,z)解：原式(x)
37、(y) (z)(P(x,y)Q(x,y)R(x,z)(x) (y) (P(x,y)Q(x,y)R(x,f(x,y)所求子句集为 S=P(x,y)Q(x,y)R(x,f(x,y)（5）(x) (y) (z) (u) (v) (w)(P(x,y,z,u,v,w)(Q(x,y,z,u,v,w) R(x,z,w)解：原式(x) (y) (z) (u) (v) (P(x,y,z,u,v,f(z,v)(Q(x,y,z,u,v,f(z,v)R(x,z,f(z,v)(x) (y) (z)(v) (P(x,y,z,f(z),v,f(z,v)(Q(x,y,z,f(z),v,f(z,v)R(x,z,f(z,v)(z
38、)(v) (P(a,b,z,f(z),v,f(z,v)(Q(a,b,z,f(z),v,f(z,v)R(a,b,f(z,v)所求子句集为 S= P(a,b,z,f(z),v,f(z,v)，Q(a,b,z,f(z),v,f(z,v)R(a,b,f(z,v)3.14 判断下列子句集中哪些是不可满足的：（1）S=P Q, Q,P, P 解：使用归结推理：(1) PQ (2) Q (3)P (4) P(3)与(4)归结得到 NIL，因此 S 是不可满足的。（2）S=P Q, PQ,PQ, PQ 解：使用归结推理：(1) PQ (2) PQ (3) PQ (4) PQ(1)与(2)归结得 (5)Q(3)与
39、(5)归结得 (6)P(4)与(6)归结得 (7) Q(5)与(7)归结得 NIL，因此 S 是不可满足的。（3）S=P(y) Q(y), P(f(x) R(a) 解：使用归结推理：设 C1= P(y)Q(y)，C2= P(f(x) R(a)，选 L1= P(y)，L2=P(f(x)，则L1 与 L2 的 mgu 是=f(x)/y，C1 与 C2 的二元归结式 C12=Q(f(x)R(a)，因此 S 是可满足的。（4）S=P(x)Q(x), P(y)R(y),P(a), S(a), S(z)R(z) 解：使用归结推理：(1) P(x)Q(x) (2) P(y)R(y) (3) P(a) (4) S(a) (5) S(z)R(z)(2)与(3)归结得到 (6)R(a)(4)与(5)归结得到 (7) R(a)(6)与(7)归结得到 NIL，因此 S 是不可满足的。（5）S=P(x) Q(y) L(x,y), P(a), R(z) L(a,z) ,R(b),Q(b) 解：使用归结推理：(1) P(x) Q(y) L(x,y) (2) P(a) (3) R(z) L(a,z) (4) R(b) (5) Q(b)(1)与(2)归结得到 (6) Q(y) L(a,y)(5)与(6)归结得到 (7) L(a,b)
