人工智能复习题库完整.doc

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

1、1/27一、填空：1.1.人工智能的研究途径有 心理模拟、生理模拟 和行为模拟。2.2.任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、机器翻译。3.3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。4.4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。5.5.谓词逻辑中，重言式（tautlogy）的值是 真。6.6.设 P 是谓词公式，对于 P 的任何论域，存在 P 为真的情况，则称 P 为永真式。7.7.在著名的医疗专家系统 MYCIN 中规定，若证据 A 的可信度 CF（A）=0，则意味着 无关，CF（A）

2、=-1，则意味着假，CF（A）=1，则意味着真。8.8.谓词公式 G 是不可满足的，当且仅当对所有的解释 G 都为假。9.9.谓词公式与其子句集的关系是 包含。10.10.利用归结原理证明定理时，若得到的归结式为 空集，则结论成立。11.11.若 C1=PQ，C2=PQ，则 C1 和 C2 的归结式 R（C1，C2）=PP 或QQ。12.12.若 C1=P(x)Q(x)，C2=P(a)R(y)，则 C1 和 C2 的归结式 R（C1，C2）=（20）Q（a）R（y）13.13.有谓词公式 G，置换，则 G=（21），=（22）。14.14.有子句集 S=P(x),P(y)，其 MGU=y/x。

3、15.15.在归结原理中，几种常见的归结策略并且具有完备性的是删除策略支持集策略线性归结策略16.16.状态图启发式搜索算法的特点是（27）。17.17.广度优先搜索算法中，OPEN 表的数据结构实际是一个 二叉树，深度优先搜索算法中，OPEN 表的数据结构实际是一个单链表。18.18.产生式系统有三部分组成 综合数据库，知识库和推理机。其中推理可分为 正向推理和反向推理。19.19.专家系统的结构包含人机界面、知识库，推理机，动态数据库，知识库答理系统 和解释模块。20.20.在 MYCIN 推理中，对证据的可信度 CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）=CF（

4、A），CF（A1A2）=minCF（A1），CF（A2），CF（A1A2）=maxCF（A1），CF（A2）。21.21.开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有 逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有AKO 和 ISA2/2722.22.MYCIN 系统中使用不确定推理，规则 AB 由专家指定其可信度 CF（B，A），若 A 真支持 B 真，则指定 CF（B，A）（与零比较）应（47）；若 A 真不支持 B 真，则指定 CF（B，A）应（48）。23.23.机器学习的含义是指机器

5、面对自行为的修正或性能的改善和机器对客观规律和发展。24.24.自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确回答输入信息中的有关问题，而且还包括语法分析、语用分析、语句分析。25.25.设 U=a,b,c,d，A=a,b，B=a,b,c，m(A)=0.6，m(U)=0.4，U 的其它子集的基本概率分配函数 m 值均为 0，则 Bel(A)=（53），Bel(B)=（54）。26.26.证据理论中集合 A 的信任区间为1，1，则其语意解释为（55）。27.27.人工智能三大学派是符号主义、联结主义、行为主义28.28.化成子句形式为：。29.29.从已知事实出发，通过规则

6、库求得结论的产生式系统的推理方式是正向推理30.30.AI 的英文缩写是Artifical Inteligence31.31.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元一样的变元称为约束变元，其他变元称为自由变元32.32.假言推理（AB）AB，假言三段论（AB）（BC）AC33.33.几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入归结策略、单元归结策略34.34.在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，

7、这种图称为状态空间图（或状态图）35.35.在启发式搜索当中，通常用启发函数来表示启发性信息。36.36.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了-剪枝技术37.37.某产生式系统中的一条规则：A（x）B（x），则前件是A（x），后件是B（x）38.38.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而语义网络 则适合表示一些复杂的关系和联系的知识。面向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。39.39.不确定性类型按性质分：随机性，模糊

8、性，不完全性，不一致性。40.40.在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有永真式 的子句;子句集中被别的子句 类含的子句。对证据的可信度3/27CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）=-CF(A)、CF（A1 A2）=minCF(A1),CF(A2)、CF（A1 A2）=maxCF(A1),CF(A2)41.41.合一算法：求非空有限具有一样谓词名的原子公式集的最一般合一42.42.产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。43.43.P(B|A)表示在规则 AB中，证据 A 为真的作用下结论 B 为

9、真的概率。44.44.常用的二种盲目搜索方法是_随机碰撞式搜索_和_完全式搜索_；引入启发式知识来指导 OPEN 表中节点的排序可划分为二种方式_全局择优搜索和_局部择优搜索。45.45.产生式系统的推理可以分为_正向推理_和_反向推理_两种基本方式。46.46.知识表示的性能应从以下二个方面评价：_和_；后者又分二个方面_和 _。47.47.人工智能的表现形式至少有_、_、_、_和_几种。48.48.目前所用的知识表示形式有_框架语义网络面向对象_等。49.49.框架系统的特性继承功能可通过组合应用槽的三个侧面来灵活实现，它们是_、_和_。50.50.产生式系统是由_综合数据库知识库_和_推

10、理机_三部分组成的.51.51._就是所考察判断的事物或对象的集合，记为_。它的子集构成_。52.52.证据理论是经典概率论的一种扩充形式，构成这一理论的函数有_基本概念全分函数_、_信任函数_和_似真函数_。53.53.对于模糊不确定性，一般采用_模糊集合_或_模糊逻辑_来刻划。54.54.归结法中，可以通过-修改证明树-的方法得到问题的解答。55.55.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理56.56.人工智能的远期目标是制造智能机器，近期目标是实现机器智能。57.57.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。58.58.在启发式搜索当中，通常

11、用启发函数来表示启发性信息。二、选择题选择题选择题：（13 小题，共 13 分）1.人工智能的含义最早由一位科学家于 1950 年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（C）。A.明斯基B.扎德4/27C.图灵D.诺依曼2.下列哪个不是人工智能的研究领域（D）A.机器证明B.模式识别C.人工生命D.编译原理3.神经网络研究属于下列（B）学派A.符号主义B.连接主义C.行为主义D.都不是4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（B）A.状态空间法B.问题归约法C.谓词逻辑法D.语义网

12、络法5.在公式中yxp(x,y)，存在量词是在全称量词的辖域，我们允许所存在的 x可能依赖于 y 值。令这种依赖关系明显地由函数所定义，它把每个 y 值映射到存在的那个 x。这种函数叫做（B）A.依赖函数B.Skolem 函数C.决定函数D.多元函数6.子句PQ 和 P 经过消解以后，得到（B）A.PB.QC.PD.PQ7,8.A（AB）A 称为（C），（AB）AB 称为（D）A.结合律B.分配律C.吸收律D.摩根律9,10.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解，（D）可以认为是“智能程度相对比较高”的算法。A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D

13、.启发式搜索5/2711.产生式系统的推理不包括（D）A.正向推理B.逆向推理C.双向推理D.简单推理12.下列哪部分不是专家系统的组成部分（A）A.用户B.综合数据库C.推理机D.知识库13.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。A.专家系统B.机器学习C.神经网络D.模式识别！14、AI 的英文缩写是 BA)Automatic IntelligenceB)Artifical IntelligenceC)Automatice InformationD)Artifical Info

14、rmation15、反演归结（消解）证明定理时，若当前归结式是（C）时，则定理得证。A)永真式B)包孕式（subsumed）C)空子句16、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（A）A)正向推理B)反向推理C)双向推理17、语义网络表达知识时，有向弧 AKO 链、ISA 链是用来表达节点知识的（C）。A)无悖性B)可扩充性C)继承性18、(AB)A=B 是 CA)附加律B)拒收律C)假言推理D)US19、命题是可以判断真假的 DA)祈使句B)疑问句C)感叹句D)述句20、仅个体变元被量化的谓词称为 AA)一阶谓词B)原子公式C)二阶谓词D)全称量词21、MGU 是 AA)

15、最一般合一B)最一般替换C)最一般谓词D)基替换22、1997 年月，著名的“人机大战”，最终计算机以 3.5 比 2.5 的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A）A）深蓝 B）IBMC）深思D）23、下列不在人工智能系统的知识包含的 4 个要素中 D6/27A)事实B)规则C)控制和元知识D)关系24、谓词逻辑下，子句,C1=LC1,C2=LC2,若是互补文字的（最一般）合一置换，则其归结式 C=（A）A)C1C2B)C1C2C)C1C2D)C1C225、或图通常称为 DA）框架网络B)语义图C)博亦图D)状态图26、不属于人工智能的学派是 BA)符号主义B)机会主义

16、C)行为主义D)连接主义。27、人工智能是一门 DA)数学和生理学B)心理学和生理学C)语言学D)综合性的交叉学科和边缘学科D28、下列不在人工智能系统的知识包含的 4 个要素中 DA)事实B)规则C)控制D)关系29、当前归结式是（C）时，则定理得证。A)永真式B 包孕式（subsumed）C)空子句30、或图通常称为 DA）框架网络B)语义图C)博亦图D)状态图31、所谓不确定性推理就是从(B)的初始证据出发，通过运用()的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。A)不确定性,不确定性 B)确定性,确定性C)确定性,不确定性D)不确定性确定性32、C(B

17、|A)表示在规则 A-B 中，证据 A 为真的作用下结论 B 为真的 BA)可信度B)信度C)信任增长度D)概率33.谓词逻辑下，子句,C1=LC1,C2=LC2,若是互补文字的（最一般）合一置换，则其归结式 C=（A）A)C1C2B)C1C2C)C1C2D)C1C2二、简答题1.将下列自然语言转化为谓词表示形式：(1)所有的人都是要呼吸的。(2)每个学生都要参加考试。(3)任何整数或是正的或是负的。解：设M(x)：x 是人,H(x)：x 要呼吸。P(x)：x 是学生，Q(x)：x 要参加考试。J(x)：x 是整数，R(x)：x 是正数，N(x)：x 是负数。则上述三题就记为：(1)V-x(M

18、(x)H(x)(2)V-x(P(x)Q(x)(3)V-x(I(x)R(x)N(x)7/272.何谓“图灵实验”？简单描述之答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(1)深度优先搜索(2)广度优先搜索解：（）深度优先搜索：（）广度优先搜索：4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、

19、硕士、博士）、专业（计算机、电子、自动化、）、职称（助教、讲师、副教授、教授）解：框架名：类属：学历：(学士、硕士、博士)专业：（计算机、电子、自动化、.）职称：（助教、讲师、副教授、教授）5.用谓词逻辑形式化下列描述“不存在最大的整数”解：定义谓词 G(x)：x 为整数D(x,y)：x 大于 y形式化为：),()()(yxDyGyxGx或者),()()(xyDyGyxGx6.用语义网络表示“苹果”知识。7.什么是产生式？产生式规则的语义是什么？答：产生式规则基本形式：PQ或者IFPTHENQP 是产生式的前提（前件），用于指出该产生式是否可用的条件514236789101112138/27Q

20、 是一组结论或操作（后件），用于指出当前提 P 所指示的条件满足时，应该得出的结论或应该执行的操作产生式规则的语义：如果前提 P 被满足，则可推出结论 Q 或执行 Q 所规定的操作8.谓词公式 G 通过个步骤所得的子句集合 S，称为 G 的子句集。请写出这些步骤。答：(1）消去蕴含式和等价式，(2）缩小否定词的作用围，直到其作用于原子公式:(3）适当改名，使量词间不含同名指导变元和约束变元。(4.）消去存在量词（形成 Skolem 标准型）(5）消去所有全称量词(6)化成合取式(7).适当改名，使子句间无同名变元(8).消去合取词，用逗号代替，以子句为元素组成一个集合 S9.（1）已知 S=P

21、(f(x),y,g(y),P(f(x),z,g(x)，求 MGU（2）已知 W=P(f(x,g(A,y),z),P(f(x,z),z)，求 MGU解：（1）k=0;S0=S;0=;S0 不是单元素集，求得差异集 D0=y,z,其中 y 是变元，z 是项，且 y 不在 z 中出现。k=k+1=1有1=0z/y=z/y=z/y，S1=S0z/y=P(f(x),z,g(z),P(f(x),z,g(x),S1 不是单元素集，求得差异集 D1=z,x,k=k+1=2;2=1z/x=z/y,z/x,S2=S1z/x=P(f(z),z,g(z)是单元素集。根据求 MGU 算法，MGU=2=z/y,z/x（2

22、）k=0;S0=S;0=;S0 不是单元素集，求得差异集 D0=g(A,y),z,其中 z 是变元，g(A,y)是项，且 z 不在 g(A,y)中出现。k=k+1=1有1=0g(A,y)/z=g(A,y)/z=g(A,y)/z，S1=S0g(A,y)/z=P(f(x,g(A,y),g(A,y),S1 是单元素集。根据求 MGU 算法，MGU=1=g(A,y)/z10.（1）证明 G 是否是 F 的逻辑结论；)()(:)()()(:xQxPxGxQaQxPxF证:P(x)从 F 变换Q(a)Q(x)从 F 变换P(y)Q(y)结论的否定Q(x)归结,x/y归结,置换a/x得证。（2）证明 G 是

23、否是 F1、F2 的逻辑结论；)()()()(2)()()(1xRxSxGxSxPxFxRxQxPxF：证:P(x)Q(x)从 F1 变换P(y)R(y)从 F1 变换P(a)从 F2 变换9/27S(a)从 F2 变换S(z)R(z)结论的否定R(a)归结a/yR(a)归结a/z归结得证.11.1、用语义网络表示下列信息：(1)胡途是思源公司的经理，他 35 岁，住在飞天胡同 68 号(3)清华大学与大学进行蓝球比赛，最后以 89：102 的比分结束。（3）将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表示答：谓词公式表示：x(student(x)read(x,三国演义)语义网络表

24、示如图：（4）把语句“每个学生都喜欢老师上的一门课。”表示为语义网络。（5）请把下列命题表示的事实用一个语义网络表示出来。1)树和草都是植物；2)树和草都是有根有叶的；3)水草是草，且长在水中；10/274)果树是树，且会结果；5)樱桃树是一种果树，它结樱桃。（6）用语义网络表示下列事实明是一位年近半百的男教师，中等身材，他在本学年第二学期给计算机专业学生讲授“人工智能”课程。该课程是一门选修课，比较难。13.图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必要的分枝。（在节点与边上直接加注释）14.设有如下关系：（1）如果 x 是 y 的父亲，y 又是 z 的父亲，则 x 是

25、 z 的祖父；（2）老是大的父亲；（3）大是小的父亲；问上述人员中谁和谁是祖关系？解:现定义如下谓词F(x,y)-x 是 y 的父亲;11/27G(x,z)-x 是 y 的祖父;用谓词逻辑表示已知与求解:(1)F(x,y)F(y,z)G(x,z)(2)F(L,D)(3)F(D,X)(4)G(u,v),u=?,v=?其中,L 表示老,D 表示大,X 表示小。先证存在祖关系 F(x,y)F(y,z)G(x,z)从(1)变换 F(L,D)从(2)变换 F(D,X)从(3)变换 G(u,v)结论的否定 F(D,z)G(L,z)归结,置换L/x,D/y G(L,X)归结,置换X/z 归结,置换L/u,X

26、/v得证,说明存在祖关系。为了求解用一个重言式 G(u,v)G(u,v)用重言式代替结论的否定,重言式恒为真 F(D,z)G(L,z)归结,置换L/x,D/y G(L,X)归结,置换X/z G(L,X)归结,置换L/u,X/v得结果:L 是 X 的祖父，即老是小的祖父。15 解释下列模糊性知识：1)三，体型，（胖，0.9）。2)(患者，症状，(头疼，0.95)(患者，症状，(发烧，1.1)(患者，疾病，(感冒，1.2)答：（1）表示：命题“三比较胖”（2）解释为：如果患者有些头疼并且发高烧，则他患了重感冒。16.简单阐述产生式系统的组成。答：（1）产生式规则库：描述相应领域知识的产生式规则集（

27、2）数据库：（事实的集合）存放问题求解过程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实）（3）推理机：（控制系统）是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略。17.试用线性消解策略证明：子句集S=PQ,PR,QR,R 是可消解的。18广度优先搜索与深度优先搜索各有什么特点？19.语义网络可以表达事物之间的哪些关系？12/2720.假设已知下列事实：（1）超市（Supermarket）卖（Sail）的商品(Goods)便宜(Cheap)。（2）王（Wang）买（Buy）需要的（Want）便宜商品。（3）自行车（Bicycle）是商品且超市

28、卖自行车。（4）王需要自行车。（5）（Zhao）跟随王买同样的商品。请应用归结反演证明方法回答以下问题：（1）王买自行车吗？（2）买什么商品？21.已知一个使用可信度方法的推理网络如图所示，其证据的可信度均标示在图中。推理规则的可信度分别为：ABH,0.7CDH,0.9E H,0.3试按照可信度方法的求解步骤计算每个证据节点对假设H推理的可信度，并据此推算全部证据（复合证据）对于H推理的可信度。22.求子句R(x,y)Q(B,y)W(x,f(y)和R(x,C)Q(y,C)的归结式。23.何谓估价函数？启发式图搜索的A算法和A*算法最显著的区别是什么？24.什么是置换？置换是可交换的吗？答:通常

29、用有序对的集合 st1/v1，t2/v2，tn/vn来表示任一置换，置换集的元素 ti/vi的含义是表达式中的变量 vi 处处以项 ti 来替换，用 s 对表达式 E 作置换后的例简记为 Es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。25.给 19 九个数字排一个序列，使得该序列的前 n(n=1,.,9)个数字组成的整数能被 n 整除。(1)、讨论哪些知识可以帮助该问题的求解。(2)、用产生式系统描述该问题.答；如下的知识可以帮助求解该问题：（1）序列中，偶数在偶数位置，奇数在奇数位置；（2）第五个数为 5。综合数据库：用一个 1 到 9 的序列表示：N=x，其中

30、 x 为 1 到 9 的数字之一。规则集：r1:IF len(N)=4 THEN x5r2:IF len(N)为偶数 and n=In(1,3,7,9)THEN xnr3:IF len(N)为奇数 and n=In(2,4,6,8)THEN xn其中 len(N)为求序列的长度，In(a,b,c,d)为取 a、b、c、d 之一。13/27初始状态：结束条件：得到的序列 N 前 i 个数组成的整数能被 i 整除26.剪枝的条件是什么？答:剪枝：若任一极小值层节点的值小于或等于它任一先辈极大值节点的值，即（先辈层）（后继层），则可中止该极小值层中这个 MIN 节点以下的搜索过程。这个 MIN 节点

31、最终的倒推值就确定为这个值。剪枝：若任一极大值层节点的值大于或等于它任一先辈极小值层节点的值，即（后继层）（先辈层），则可以中止该极大值层中这个 MAX 节点以下的搜索过程。这个 MAX 节点的最终倒推值就确定为这个值。28、人工智能主要有哪几种研究途径和技术方法，简单说明之。答：（）符号智能：主要以符号知识为基础，通过符号推理进行问题求解而实现的智能，主要包括知识工程和符号处理技术；（）计算智能：是以数据计算为基础，通过数值计算进行问题求解而实现的智能，包括人工神经网络，进化计算，模糊技术等。三、1、（1）将下列谓词公式化成子句集 afyxRzxQzPzyx,答：afyxRzxQzPzyx,

32、)a(f,y,x(Rz,xQ)z(Pzyx)a(f,y,x(R)z,x(Q)z(Pzyx)a(f,y,b(R)z,b(Q)z(Pzy )a(f,y,b(R)yg,b(Q)yg(Py )a(f,y,b(R)yg,b(Q)yg(P（2）把 下 列 谓 词 公 式 分 别 化 成 相 应 的 子 句 集：x(yP(x,y)y(Q(x,y)R(x,y)解：x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(Q(x,y)R(x,y).改名）=x

33、(yP(x,y)z(Q(x,z)R(x,z)=x(yP(x,y)z(Q(x,z)R(x,z).y=f(x),z=g(x)消去存在量词 y,z14/27=x(P(x,f(x)(Q(x,g(x)R(x,g(x)=x(P(x,f(x)(Q(x,g(x)(P(x,f(x)R(x,g(x)从而谓词公式的子句集是P(x,f(x)(Q(x,g(x)，P(x,f(x)R(x,g(x)2.若谓词公式 E=P(x,f(y),z),置换 s1=f(x,y)/z,z/w，s2=a/x,b/y,w/z，求E（s1s2），E（s2s1）。3.用加权图的启发式搜索算法（不能用 Dijkstra 算法）求解下列问题：下图是一

34、个交通图，设 A 是出发地，E 是目的地，边上的数字表示两城市之间的交通费。求从 A到 E 最小费用的旅行路线，画出搜索树，画出 Closed 表和 Open 表的变化过程。4.用标准逻辑（经典逻辑，谓词逻辑）的子句集表示下述刑侦知识，并用反演归解的线性策略证明结论现定义如下谓词（其项变量 X，Y，Z，皆为全称量词）。Thief(X)-某人 X 是贼；Likes(X,Y)-某人 X 喜欢某物 Y；May-steal(X,Y)-某人 X 可能会偷窃某物 Y。5.用子句集表达下述刑侦知识：I.John 是贼。II.Paul 喜欢酒（wine）III.Paul(也)喜欢奶酪（cheese）IV.如果

35、 Paul 喜欢某物则 John 也喜欢某物。V.如果某人是贼，而且他喜欢某物，则他就可能会偷窃该物。6.求证结论:John 可能会偷窃了什么？即求证目标：may-steal(John,Z),Z=?（要求将求证目标作为顶子句，按线性策略进行归结推理，注明每次求归结式所进行的置换与其父子句的编号）7.（1）已知一组规则和证据（事实）：R1：A1B1,CF（B1，A1）=0.8R2：A2B1,CF（B1，A2）=0.5R3：B1A3-B2，CF（B2，B1A3）=0.8初始证据 A1，A2，A3，并且 CF(A1)=CF(A2)=CF(A3)=1,并且初始时对 B1，B2一无所知。根据 Short

36、liffe 的确定性理论（可信度方法），求证据 B1，B2 的可信度在执行规则 R1，R2，R3 后的更新值 CF(B1),CF(B2)。（2）已知有如下不确定推理规则：r1：C11C12H10.7；r2：H1H0.5；r3：C21C22H0.6；ABEDC45323415/27r4：(C31C32)C33 H0.8；CF(C11)=0.8，CF(C12)=0.9，CF(C21)=0.3，CF(C22)=0.6，CF(C31)=0.9，CF(C32)=0.5，CF(C33)=0.7；请应用 MYCIN 的确定性方法求出 CF(H)。8.设有 A，B，C 三人中有人从不说真话，也有人从不说假话，

37、某人向这三人分别提出同一个问题：谁是说谎者？A 答：“B 和 C 都是说谎者”；B 答：“A 和 C 都是说谎者”；C 答：“A 和 B 中至少有一个是说谎者”。求谁是老实人，谁是说谎者？（15分）解：设用(x)表示 x 说真话。如果说的是真话，则有如果说的是假话，则有：对和说的话作一样的处理，可得：把上面这些公式化成子句集，得到：下面首先求谁是老实人。把并入得到。即比多如下一个子句：应用消解原理对进行消解：所以，是老实人，即从不说假话除此之外，无论如何对进行消解，都推不出 ANSWER(B)和 ANSWER(A)。下面来证明和不是老实人。设不是老实人，则有把它否定并入中，得到子句集，即比多如

38、下一个子句：应用消解原理对2 进行消解：所以，不是老实人。同理，可以证明也不是老实人。16/279.1）设已知:(1)能阅读者是识字的;(2)海豚不识字;(3)有些海豚是聪明的;求证:有些聪明者并不能阅读.证:定义如下命题:R(x):x 能阅读;L(x):x 识字;I(x):x 是聪明的;D(x):x 是海豚;把已知条件与求证结论翻译成谓词公式为x(R(x)L(x).已知x(D(x)L(x).已知x(D(x)I(x).已知x(I(x)R(x).求证结论将已知条件,求证结论的反化成子句集R(x)L(x)D(y)L(y)D(a)I(a)I(z)R(z)L(a).2,3 归结a/yR(a).1,6

39、归结a/xR(a).4,5 归结a/z.7,8 归结得证.2）利用谓词逻辑表示下列知识（包括已知和结论），然后化成子句集：（1）凡是清洁的东西就有人喜欢；（2）人们都不喜欢苍蝇求证：苍蝇是不清洁的。证：现定义如下谓词L(x,y)-某人 x 喜欢某物 y；P(y)-某物 y 是清洁的东西(1)yx(P(y)L(x,y)=P(y)L(f(y),y)(2)x(L(x,Fly)=L(x,Fly)(3)P(Fly)结论的反(4)L(f(Fly),Fly)(1)(3)归结,置换Fly/y(5)(2)(4)归结,f(Fly)/x得证。17/2710.八数码游戏，初始棋局和目标棋局如图，定义启发函数 h（x）

40、表示某状态下与目标数码不同的位置个数，用全局择优法画出搜索的过程。初始状态：，目标状态：解：11.某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员说：“与钱中至少有一人作案”；侦察员说：“钱与至少有一人作案”；侦察员说：“与中至少有一个作案”；侦察员说“与至少一个与案无关”；侦察员说“钱与中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。解：设用 T(x)表示 x 是作案者，则侦察员 A 的话可表示：T()T(钱)侦察员 B 的话可表示：T(钱)T()侦察员 C 的话可表示：T()T()侦察员 D 的话可表示：T()T()侦察员 E 的话可表示：T

41、(钱)T()上面五个组成子句集 S，求谁是作案者，把 T(x)ANSWER(x)并入 S1得到。即比S1多出如下一个子句：T(x)ANSWER(x)然后利用消解原理对 S1进行消解可得答案：钱和是作案者。12.某企业欲招聘一个 JAVA 程序员，定义如下产生式规则(要求)：r1:IF 有工作经验 or(本科以上学历and 有相关知识背景 then 录用（0.9)18/27r2:IF 工作两年以上 and 作过相关工作 then 有工作经验（0.8）r3:IF 学过数据结构 and 学过 JAVA and 学过数据库 and学过软件工程 then 有相关知识背景(0.9)r4:学过数据结构（相关

42、课程的成绩/100）r5:学过 JAVA（相关课程的成绩/100）r6:学过数据库（相关课程的成绩/100）r7:学过软件工程（相关课程的成绩/100）r8:做过相关工作：JAVA 程序员：1，项目经理：1，数据库开发工程师：0.9，数据库管理员：0.7,网络管理员：0.6，客服人员：0.4设有一本科毕业生甲，其相关课程的成绩为数据结构=85,JAVA=80,数据库=40,软件工程=90另有一社会招聘人员乙，参加工作三年，曾做过数据库管理员和数据库开发人员根据确定性理论，问该公司应该招聘谁？如果你是该本科生，为了能在招聘中胜出，你应该加强哪门课程，并使该门课程的成绩至少达到多少？解：（1）对于

43、本科毕业生，由 r4，r5，r6，r7：CF（学过数据结构）=0.6CF（学过 JAVA）=0.8CF（学过数据库）=0.4CF（学过软件工程）=0.9由 r3，CF（有相关知识背景）=0.9*min0.85,0.8,0.4,0.9=0.36CF（本科学历）=1由 r1，CF（录用）=0.9*min0.36，1=0.324（2）对于社会招聘人员，由 r8，CF（相关工作）=0.9CF（工作两年以上）=1由 r2，CF（有工作经验）=0.8*min1，0.9=0.72由 r1，CF（录用）=0.9*0.72=0.648所以，该公司应录用社会招聘人员乙。（3）可以看出，应该加强数据库的学习，并使该

44、门课程达到 80 分以上。13.某问题由下列公式描述：19/27试用归结法证明(x)R(x)；14.下图所示博弈树，按从左到右的顺序进行-剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，与应选择的走步。10 分20/2715.剪枝方法只是极小极大方法的一种近似，剪枝可能会遗漏掉最佳走步。这种说法是否正确？不正确。剪枝方法利用已经搜索的信息，剪掉哪些对于搜索最佳走步没有意义的分枝，其找到的最佳走步与极小极大方法找到的结果是一样的。而且搜索效率有很大提高。1.什么是人工智能？人工智能与计算机程序的区别？答答：AIAI 是研究如何制造人造的智能机器或智能系统来模拟人类智能活动的能力是研究如何制造人

45、造的智能机器或智能系统来模拟人类智能活动的能力21/27以延伸人类智能的科学，它与计算机程序的区别是：以延伸人类智能的科学，它与计算机程序的区别是：AIAI 研究的是符号表示的知识而不是数值数据为研究对象研究的是符号表示的知识而不是数值数据为研究对象AIAI 采用启发式搜索方法而不是普通的算法采用启发式搜索方法而不是普通的算法控制结构与知识是分离的控制结构与知识是分离的允许出现不正确的答案允许出现不正确的答案2.化下列逻辑表达式为不含存在量词的前束式 afYXRZXPZYX,答：答：),(afYXRZXPZYX),(afYXRZXPZYX afYXRZXPZYX,afYbRZbPZY,afYb

46、RYfbPY,)(,3.求下列谓词公式的子句集),(),(),(yxRyxQyxPyx答：答：),(),(),(yxRyxQyxPyx),(),(),(yxRyxQyxPyx),(),(),(),(yxRyxQyxRyxPyx所以子句集为：所以子句集为：),(),(),(),(yxRyxQyxRyxP 4.若有梯形 ABCD，将其中的若干定理形式化即定义一些谓词公式，然后利用归结原理证明错角CDBABDABD证明：设梯形顶点依次为证明：设梯形顶点依次为 a,b,c,d,a,b,c,d,定义谓词定义谓词:T(x,y,u,v):T(x,y,u,v):表示表示 xyxy 为上底为上底,uv,uv 为

47、下底的梯形为下底的梯形.C22/27P(x,y,u,v):P(x,y,u,v):表示表示 xy|uvxy|uvE(x,y,z,u,v,w)E(x,y,z,u,v,w)表示表示xyz=xyz=uvwuvw，问题的描述和相应的子句集为，问题的描述和相应的子句集为xyuvT(x,y,u,v)xyuvT(x,y,u,v)P(x,y,u,v).P(x,y,u,v).梯形上下底平行梯形上下底平行子句：子句：T(x,y,u,v)T(x,y,u,v)P(x,y,u,v)P(x,y,u,v)xyuvP(x,y,u,v)xyuvP(x,y,u,v)E(x,y,v,u,v,y).E(x,y,v,u,v,y).平行则

48、错交相等平行则错交相等子句：子句：T(a,b,c,d).T(a,b,c,d).已知已知子句：子句：T(a,b,c,d)T(a,b,c,d)E(a,b,d,c,d,b).E(a,b,d,c,d,b).要证明的结论要证明的结论子句：子句：E(a,b,d,c,d,b)E(a,b,d,c,d,b)子句集子句集 S S 为为T(x,y,u,v)T(x,y,u,v)P(x,y,u,v)P(x,y,u,v)P(x,y,u,v)P(x,y,u,v)E(x,y,v,u,v,y)E(x,y,v,u,v,y)T(a,b,c,d)T(a,b,c,d)E(a,b,d,c,d,b)E(a,b,d,c,d,b)下面利用归结

49、原理证明下面利用归结原理证明P(P(a a,b b,c c,d d)（1 1）和（）和（3 3）归结，置换）归结，置换 a/x,b/y,c/u,d/va/x,b/y,c/u,d/vE(a,b,d,c,d,b)E(a,b,d,c,d,b)（2 2）和（）和（5 5）归结，置换）归结，置换 a/x,b/y,c/u,d/va/x,b/y,c/u,d/vNILNIL（4 4）和（）和（6 6）归结）归结根据归结原理得证。根据归结原理得证。5.求子句集f(u)u),h(z,P(z,f(g(y),a,P(x,S 的 MGU解解：k=0;S0=S;k=0;S0=S;0=0=;S0;S0 不是单元素集不是单元

50、素集，求得差异集求得差异集 D0=D0=a/za/z,其中其中 z z 是变是变元，元，a a 是项，且是项，且 z z 不在不在 a a 中出现。中出现。k=k+1=1k=k+1=1有有1=1=0 0 a/za/z=a/za/z=a/za/z，S1=S0S1=S0 a/za/z=P(a,x,f(g(y),P(a,h(a,u),f(u),S1P(a,x,f(g(y),P(a,h(a,u),f(u),S1 不是单元素集，不是单元素集，求得差异集求得差异集 D1=D1=x,h(a,u)x,h(a,u),k=k+1=2;,k=k+1=2;2=2=1 1h(a,u)/xh(a,u)/x=a/z,h(a