人工智能部分习题答案.docx

《人工智能部分习题答案.docx》由会员分享，可在线阅读，更多相关《人工智能部分习题答案.docx（30页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -1. 什么是人类智能？它有哪些特点或特点？定义：人类所具有的智力和行为才能。特点：主要表达为感知才能、记忆与思维才能、归纳与演绎才能、学习才能以及行为才能。2. 人工智能是何时、何的、怎样产生的？解：人工智能于1956 年夏季在美国Dartmouth 高校产生。 此时此的举办的关于用机器模拟人类智能问题的研讨会，第一次使用“人工智能”这一术语，标志着人工智能学科的产生。3. 什么是人工智能？它的讨论目标是？定义：用机器模拟人类智能。讨论目标：用运算机仿照人脑思维活动，解决复杂问题。从有用的观点来看，以学问

2、为对象，讨论学问的猎取、学问的表示方法和学问的使用。4. 人工智能的进展经受了哪几个阶段？解：第一阶段：孕育期（1956 年以前）。其次阶段：人工智能基础技术的讨论和形成（19561970 年）。第三阶段：进展和有用化阶段（19711980 年）。第四阶段：学问工程和专家系统（1980 年至今）。5. 人工智能讨论的基本内容有哪些？解：学问的猎取、表示和使用。6. 人工智能有哪些主要讨论领域？解：问题求解、专家系统、机器学习、模式识别、自动定论证明、自动程序设计、自然语言懂得、机器人学、人工神经网络和智能检索等。7. 人工智能有哪几个主要学派？各自的特点是什么？主要学派：符号主义和联结主义。特

3、点：符号主义认为人类智能的基本单元是符号，熟悉过程就是符号表示下的符号运算，从而思维就是符号运算。联结主义认为人类智能的基本单元是神经元，熟悉过程是由神经元构成的网络的信息传递，这种传递是并行分布进行的。8. 人工智能的近期进展趋势有哪些？解：专家系统、机器人学、人工神经网络和智能检索。9. 什么是以符号处理为核心的方法？它有什么特点？解：通过符号处理来模拟人类求解问题的心理过程。特点：基于数学规律对学问进行表示和推理。11. 什么是以网络连接为主的连接机制方法？它有什么特点？ 解：用硬件模拟人类神经网络，实现人类智能在机器上的模拟。特点：讨论神经网络。1. 请写出用一阶谓词规律表示法表示学问

4、的步骤。步骤：（ 1）定义谓词及个体，确定每个谓词及个体的准确含义。（ 2）依据所要表达的事物或概念，为每个谓词中的变元给予特定的值。（3）依据所要表达的学问的语义用适当的联接符号将各个谓词联接起来，形 成谓词公式。2. 设有以下语句，请用相应的谓词公式把它们表示出来：（1）有的人喜爱梅花，有的人喜爱菊花，有的人既喜爱梅花又喜爱菊花。解：定义谓词如下：Likex,y： x 喜爱 y 。 Clubx：x 是梅花。Humanx ：x 是人。Mumx： x 是菊花。 “有的人喜爱梅花”可表达为：xHumanxLikex,Clubx“有的人喜爱菊花”可表达为：xHumanxLikex,Mumx“有的人

5、既喜爱梅花又喜爱菊花”可表达为：xHumanxLikex,ClubxLikex,Mumx（1）他每天下午都去玩足球。解：定义谓词如下：PlayFootballx：x 玩足球。Dayx： x 是某一天。就语句可表达为：xDxPlayFootballTa（2）太原市的夏天既干燥又酷热。解：定义谓词如下：Summerx ：x 的夏天。Dryx：x 是干燥的。Hotx： x 是酷热的。就语句可表达为：DrySummerTaiyuanHotSummerTaiyuan（3）全部人都有饭吃。可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 1 页，

6、共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -解：定义谓词如下：Humanx：x 是人。Eatx：x 有饭吃。就语句可表达为：xHumanxEatx（4）喜爱玩篮球的人必喜爱玩排球。解：定义谓词如下：Likex,y：x 喜爱 y。 Humanx ： x 是人。就语句可表达为：xHumanxLikex,basketballLikex,volleyball（5）要想出国留学，必需通过外语考试。解：定义谓词如下：Abroadx ：x 出国留学。Passx：x 通过外语考试。

7、就语句可表达为：AbroadxPassx、可编辑资料 - - - 欢迎下载精品名师归纳总结猴子问题：2.7 解：依据谓词学问表示的步骤求解问题如下： 解法一：(1) 本问题涉及的常量定义为：猴子： Monkey，箱子： Box，香蕉： Banana，位置： a， b， c(2) 定义谓词如下：SITEx， y ：表示 x 在 y 处。 HANGx ， y ：表示 x 悬挂在 y 处。 ONx，y ：表示 x 站在 y 上。 HOLDSy ，w ：表示 y 手里拿着 w。(3) 依据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下： 问题的初始状态表示：SITEMonkey，a HAN

8、GBanana，b SITEBox ， c ONMonkey， Box HOLDSMonke，y问题的目标状态表示：Banana可编辑资料 - - - 欢迎下载精品名师归纳总结SITEMonkey，b HANGBanan，a b SITEBox ，b可编辑资料 - - - 欢迎下载精品名师归纳总结ONMonkey，Box HOLDSMonke，y解法二：本问题涉及的常量定义为：Banana可编辑资料 - - - 欢迎下载精品名师归纳总结猴子： Monkey，箱子： Box，香蕉： Banana，位置： a，b，c定义谓词如下：SITEx ， y ： 表 示 x 在 y 处 。 ONBOXx：表

9、示 x 站在箱子顶上。 HOLDSx：表示 x 摘到了香蕉。3 依据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下： 问题的初始状态表示：SITEMonkey，a SITEBox ，c ONBOXMonkey HOLDSMonkey可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 2 页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结问题的目标状态表

10、示：SITEBox，b SITEMonkey ，b ONBOXMonkeyHOLDSMonkey可编辑资料 - - - 欢迎下载精品名师归纳总结从上述两种解法可以看出，只要谓词定义不同，问题的初始状态和目标状态就不同。所以，对于同样的学问，不同的人的表示结果可能不同。2.8 解：本问题的关键就是制定一组操作，将初始状态转换为目标状态。为了用谓词公式表示操作，可将操作分为条件 为完成相应操作所必需具备的条件 和动作两部分。条件易于用谓词公式表示，而动作就可通过执行该动作前后的状态变化表示出来，即由于动作的执行，当前状态中删去了某些谓词公式而又增加一些谓词公式从而得到了新的状态，通过这种不同状态中

11、谓词公式的增、减来描述动作。定义四个操作的谓词如下，操作的条件和动作可用谓词公式的增、删表示：(1) gotox，y ：从 x 处走到 y 处。条件： SITEMonkey ，x动作：删除 SITEMonkey ，x 。增加 SITEMonkey，y 2pushbox x，y ：将箱子从 x 处推到 y 处。条件： SITEMonkey ，x SITEBox ， x ONBOXMonkey动作：删除 SITEMonkey ，x ，SITEBox ， x 。增加 SITEMonkey ，y ，SITEBox ，y 3climbbox：爬到箱子顶上。条件： ONBOXMonkey可编辑资料 - -

12、 - 欢迎下载精品名师归纳总结动作：删除 ONBOXMonkey。 4grasp：摘下香蕉。增加 ONBOXMonkey可编辑资料 - - - 欢迎下载精品名师归纳总结条件： HOLDSMonkey ONBOXMonkey SITEMonkey ，b动作：删除 HOLDSMonkey。 增加 HOLDSMonkey在执行某一操作前，先检查当前状态是否满意其前提条件。如满意，就执行该操作。否就，检查另一操作的条件是否被满意。检查的方法就是当前的状态中是否包蕴了操作所要求的条件。在定义了操作谓词后，就可以给出从初始状态到目标状态的求解过程。在求解过程中，当进行条件检查时，要进行适当的变量代换。SI

13、TEMonkey ， a SITEBox ， cONBOXMonkeyHOLDSMonkeygotox ， y，用 a 代 x，用 c 代 y SITEMonkey ， cSITEBox ， cONBOXMonkeyHOLDSMonkeypushboxx ， y ，用 c 代 x，用 b 代 y SITEMonkey ， bSITEBox ， bONBOXMonkeyHOLDSMonkeyclimbbox SITEMonkey ， b SITEBox ， bONBOXMonkeyHOLDSMonkey可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - -

14、 - - -第 3 页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -grasp SITEMonkey ， b SITEBox ， bONBOXMonkey HOLDSMonkey2 16.用语义网络表示以下学问：（1）全部的鸽子都是鸟。（2）全部的鸽子都有翅膀。（3）信鸽是一种鸽子，它有翅膀。解：此题涉及对象有信鸽、鸽子和鸟。鸽子和信鸽的属性是有翅膀。鸽子和鸟是ISA 关系，信鸽和鸽子是 AKO关系。依据分析得到此题的语义网络如下：2.17. 请对以下命题分别写出它

15、的语义网络：（1）每个同学都有多本书。解：依据题意可得此题的语义网络如下：（2）孙老师从2 月至 7 月给运算机应用专业讲网络技术课程。解：依据题意可得此题的语义网络如下：（3）雪的上留下一串串脚印，有的大，有的小，有的深，有的浅。解：依据题意可得此题的语义网络如下：（4）王丽萍是天发电脑公司的经理，她35 岁，住在南内环街68 号。解：依据题意可得此题的语义网络如下：2.18. 请把以下命题用一个语义网络表示出来：（1）猪和羊都是动物。（2）猪和羊都是偶蹄动物和哺乳动物。（3）野猪是猪，但生长在森林中。（4）山羊是羊，且头上长着角。（5）绵羊是一种羊，它能生产羊毛。解：此题涉及对象有猪、羊、

16、动物、野猪、山羊和绵羊。猪和羊的属性是偶蹄和哺乳。野猪的属性是生长在森林中。山羊的属性是头上长着角。绵羊的属性是产羊毛。依据对象之间的关系得到此题的语可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 4 页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -义网络如下：2.27 有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到以下条件的限制：(1) 船太小，农夫每次只能带一样东西过河。(2) 假如

17、没有农夫看管，就狼要吃羊，羊要吃菜。请设计一个过河方案，使得农夫、 浪、羊都能不受缺失的过河，画出相应的状态空间图。题示： 1 用四元组（农夫，狼，羊，菜）表示状态，其中每个元素都为0 或 1， 用 0表示在左岸，用1 表示在右岸。2 把每次过河的一种支配作为一种操作，每次过河都必需有农夫，由于只有他可以划船。解： 第一步，定义问题的描述形式用四元组 S=（ f， w，s，v）表示问题状态，其中，f，w， s 和 v 分别表示农夫，狼，羊和青菜是否在左岸，它们都可以取1 或 0，取 1 表示在左岸，取0 表示在右岸。其次步， 用所定义的问题状态表示方式，把全部可能的问题状态表示出来，包括问题的

18、初始状态和目标状态。由于状态变量有4 个，每个状态变量都有2 种取值，因此有以下16 种可能的状态： S0=1,1,1,1 ， S1=1,1,1,0 ， S2=1,1,0,1 ， S3=1,1,0,0S4=1,0,1,1 ， S5=1,0,1,0 ， S6=1,0,0,1 ， S7=1,0,0,0S8=0,1,1,1 ， S9=0,1,1,0 ， S10=0,1,0,1 ， S11=0,1,0,0S12=0,0,1,1 ， S13=0,0,1,0 ， S14=0,0,0,1 ，S15=0,0,0,0其中，状态S3， S6， S7， S8 ，S9， S12 是不合法状态，S0 和 S15 分别是

19、初始状态和目标状态。第三步，定义操作，即用于状态变换的算符组F由于每次过河船上都必需有农夫，且除农夫外船上只能载狼，羊和菜中的一种，故算符定义如下：Li 表示农夫从左岸将第i 样东西送到右岸（i=1 表示狼， i=2 表示羊， i=3 表示菜， i=0表示船上除农夫外不载任何东西）。由于农夫必需在船上，故对农夫的表示省略。R i 表示农夫从右岸将第i 样东西带到左岸（i=1 表示狼， i=2 表示羊， i=3 表示菜， i=0表示船上除农夫外不载任何东西）。同样，对农夫的表示省略。可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 5

20、页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -这样，所定义的算符组F 可以有以下8 种算符：L 0 ， L 1 ， L 2 ， L 3R0 ， R1 ，R 2 ， R 3第四步，依据上述定义的状态和操作进行求解。该问题求解过程的状态空间图如下：可编辑资料 - - - 欢迎下载精品名师归纳总结L20,1,0,1 R01,1,0,1L1L3可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结0,0,0,1 R21,0,1,1

21、0,1,0,0R2 1,1,1,0可编辑资料 - - - 欢迎下载精品名师归纳总结L3L20,0,1,0 R01,0,1,0 L20,0,0,03.5 什么是谓词公式？什么是谓词公式的说明？设D1,2 ，试给出谓词公式 xyPx,yQx,y的全部说明，并且对每一种说明指出该谓词公式的真值。解： 谓词公式 是依据下述五个规章由原子公式、连接词、量词及圆括号所组成的字符串。(1) 原子谓词公式是合式公式。 2 如 A 是合式公式，就 A 也是合式公式。 3 如 A 和 B 都是合式公式，就 A B、A B、A B、A B 也都是合式公式。 4 如 A 是合式公式， x 是任一个体变元， 就 xA

22、和 xA 也都是合式公式。 5 只有按 1 4 所得的公式才是合式公式。谓词公式的 说明 ：设 D 为谓词公式 P 的个体域，如对 P 中的个体常量、函数和谓词依据如下规定赋值： 1 为每个个体常量指派 D 中的一个元素。 2 为每个 n 元函数指派一个从 Dn 到 D 的映射，其中 Dn= x1 ，x2 ， xn| x1，x2 ， xnD 3 为每个 n 元谓词指派一个从Dn到F ，T 的映射。就这些指派称为公式P 在 D 上的说明。下面给出此题的全部说明：1.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=T ， P2,2=F ， Q1,1=T ，Q1,2=F ，Q2,1=T

23、 ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。2.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=F ， P2,2=T ， Q1,1=T ，Q1,2=F ，Q2,1=T ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 F。所以在此说明下， 此题谓词公式的真值为T。3.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2

24、,1=T ， P2,2=F ， Q1,1=T ，Q1,2=F ，Q2,1=T ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 F。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。4.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2,1=F ， P2,2=T ， Q1,1=T ，Q1,2=F ，可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 6 页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎

25、下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -Q2,1=T ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 F。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 F。所以在此说明下， 此题谓词公式的真值为F。5.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=T ， P2,2=F ， Q1,1=T ，Q1,2=F ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 F，P2,2Q2,2 为

26、T。所以在此说明下， 此题谓词公式的真值为T。6.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=T ， P2,2=F ， Q1,1=F ，Q1,2=T ，Q2,1=T ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 F，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。7.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=T ， P2,2=F ， Q1,1=F ，Q1,2=T ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 F，P1,2

27、Q1,2 为 T。x=2时，P2,1Q2,1 为 F，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为F。8.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=F ， P2,2=T ， Q1,1=T ，Q1,2=F ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。9.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=F ， P2,2=T ， Q1,1=F ，Q1,2=T ，Q2,1=T ，

28、Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 F，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 F。所以在此说明下， 此题谓词公式的真值为F。10.对谓词指派的真值为：P1,1=T ，P1,2=F ，P2,1=F ， P2,2=T ， Q1,1=F ，Q1,2=T ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 F，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。11.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2

29、,1=T ， P2,2=F ， Q1,1=T ，Q1,2=F ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 F。x=2时，P2,1Q2,1 为 F，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为F。12.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2,1=T ， P2,2=F ， Q1,1=F ，Q1,2=T ，Q2,1=T ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓

30、词公式的真值为T。13.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2,1=T ， P2,2=F ， Q1,1=F ，Q1,2=T ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 F，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。14.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2,1=F ， P2,2=T ， Q1,1=T ，Q1,2=F ，Q2,1=F ，Q2,2=T ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 F。x=2

31、时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。15.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2,1=F ， P2,2=T ， Q1,1=F ，Q1,2=T ，Q2,1=T ，Q2,2=F ，在此说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 F。所以在此说明下， 此题谓词公式的真值为F。16.对谓词指派的真值为：P1,1=F ，P1,2=T ，P2,1=F ， P2,2=T ， Q1,1=F ，Q1,2=T ，Q2,1=F ，Q2,2=T ，在此

32、说明下， x=1 时，P1,1Q1,1 为 T，P1,2Q1,2 为 T。x=2时，P2,1Q2,1 为 T，P2,2Q2,2 为 T。所以在此说明下， 此题谓词公式的真值为T。3.9 判定以下公式对是否可合一。如可合一，就求出最一般的合一。（1）Pa,b ，Px,y解：依据算法：1令 W=Pa,b ，Px,y。2令 0= ， W0=W。(3) W0 未合一。可编辑资料 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 7 页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总

33、结归纳 - - - - - - - - - - - -(4) 从左到右找不一样集，得D0=a，x 。(5) 取 x0=x ， t0=a ，就1= 0 t0/ x0=0 a/ x=a/ x W1= W01=Pa,b， Pa,y3 W1 未合一。4从左到右找不一样集，得D1=b， y 。 5 取 x1=y ， t1=b ，就2= 1 t1/ x1=1 b/ y=a/ xb/ y=a/x，b/y W2= W12=Pa,b， Pa,b3 W2 已合一，由于其中包含相同的表达式，这时2=a/x ， b/y 即为所求的mgu。（2）Pfz,b，Py,x解：依据算法：1令 W=Pfz,b， Py,x。2令

34、0= ， W0=W。(3) W0 未合一。(4) 从左到右找不一样集，得D0=fz， y 。5取 x0=y ， t0=fz，就1= 0 t0/ x0=0 fz/ y=fz/yW1= W01=Pfz,b，Pfz,x3 W1 未合一。4从左到右找不一样集，得D1=b， x 。 5 取 x1=x ， t1=b ，就2= 1 t1/ x1=1 b/ x= fz/ y b/ x=fz/y，b/xW2= W12=Pfz,b，Pfz,b3 W2 已合一，由于其中包含相同的表达式，这时2=fz/y，b/x 即为所求的mgu。（3）Pfx,y，Py,fa解：依据算法：1令 W=Pfx,y， Py,fa。2令 0

35、= ， W0=W。(3) W0 未合一。(4) 从左到右找不一样集，得D0=fx， y 。5取 x0=y ， t0=fx，就1= 0 t0/ x0=0 fx/ y=fx/y W1= W01=Pfx,fx，Pfx,fa3 W1 未合一。4从左到右找不一样集，得D1=y， fa。5 取 x1=y ， t1=fa，就2= 1 t1/ x1=1 fa/ y= fx/ y fa/ y=fx/yW2= W12=Pfx,fx，Pfx,fa(6) 算法终止， W的 mgu不存在。（4）Pfy,y,x，Px,fa,fb解：依据算法：1令 W=Pfy,y,x，Px,fa,fb。2令 0= ， W0=W。可编辑资料

36、 - - - 欢迎下载精品名师归纳总结学习资料 名师精选 - - - - - - - - - -第 8 页，共 16 页 - - - - - - - - - -可编辑资料 - - - 欢迎下载精品名师归纳总结资料word 精心总结归纳 - - - - - - - - - - - -(3) W0 未合一。(4) 从左到右找不一样集，得D0=fy， x 。5取 x0=x ， t0=fy，就1= 0 t0/ x0=0 fy/ x=fy/xW1= W01=Pfy,y,fy， Pfy,fa,fb3 W1 未合一。4从左到右找不一样集，得D1=y， fa。5 取 x1=y ， t1=fa，就2= 1 t1

37、/ x1=1 fa/ y= fy/ x fa/ y=ffa/x,fa/yW2= W12=Pffa,fa,ffa， Pffa,fa,fb(6) 算法终止， W的 mgu不存在。（5）Px,y，Py,x解：依据算法：1令 W=Px,y ，Py,x。2令 0= ， W0=W。(3) W0 未合一。(4) 从左到右找不一样集，得D0=x，y 。(5) 取 x0=x ， t0=y ，就1= 0 t0/ x0=0 y/ x=y/ x W1= W01=Py,y， Py,y3 W2 已合一，由于其中包含相同的表达式，这时1=y/x即为所求的mgu。3.13 把以下谓词公式分别化为相应的子句集：（ 1） zyPz,yQz,y解：所求子句集为S=Pz,y， z,y（ 2） xyPx,yQx,y解：原式xyPx,yQx,y所求子句集为S= Px,yQx,y（ 3） xyPx,yQx,yRx,y解：原式xyPx,yQx,yRx,yxPx,fxQx,fxRx,fx所求子句集为S= Px,fxQx,fxRx,fx（ 4） x y zPx,yQx,yRx,z解：原式x y zPx,yQx,yRx,zx y Px,yQx,yRx,fx,y所求子句集为S= Px,yQx,yRx,fx,y（ 5） x y z u