中南大学人工智能题库.pdf

中南大学考试试卷2011 年第 2 学期,考试时间 110分钟人工智能课程 48学时，3 学分，考试形式：开卷专业年级：计算机11 级总分 100分，占总评成绩 70%注：此页不作答题纸，请将答案写在答题纸上一、选择题（共20 分，每题2 分）1、消解原理是一种用于A、表达式变换的推理规则B、变量运算的推理规则C、一定的子句公式的推理规则D、规则演绎的推理规则2、下列哪个系统属于新型专家系统？A、多媒体专家系统B、实时专家系统C、军事专家系统D、分布式专家系统3、示例学习属于下列哪种学习方法？A.解释学习B.归纳学习C.类比学习D.机械学习4、不属于神经网络常用学习算法的是：A.有师学习B.增强学习C.观察与发现学习D.无师学习5、人工智能应用研究的两个最重要最广泛领域为：A.专家系统、自动规划B.专家系统、机器学习C.机器学习、智能控制D.机器学习、自然语言理解6、下列搜索方法中不属于盲目搜索的是：A.等代价搜索B.宽度优先搜索C.深度优先搜索D.有序搜索7、被认为是人工智能“元年”的时间应为：A、1948 年B、1946 年C、1956 年D、1961 年8、被誉为国际“人工智能之父”的是：A、图灵（Turing）B、费根鲍姆（Feigenbaum）C、傅京孙（K.S.Fu）D、尼尔逊（Nilsson）9、语义网络的组成部分为：A、框架和弧线B、状态和算符C、节点和链D、槽和值10、尽管人工智能学术界出现“百家争鸣”的局面，但是，当前国际人工智能的主流派仍属于：A、连接主义B、符号主义C、行为主义D、经验主义二、填空题（共20 分，每一填空处1 分）1、机器学习系统由_、_、_和_几部分构成。2、人工智能是计算机科学中涉及研究、设计和应用_的一个分支，它的近期目标在于研究用机器来_的某些智力功能。3、规则演绎系统根据推理方向可分为_、_以及 _等。4、计算智能是人工智能研究的新内容，涉及_、_和 _等。5、启 发 式 搜 索 是 一 种 利 用 _ 信 息 的 搜 索，估 价 函 数 在 搜 索 过 程 中 起 的 作 用 是_。6、模糊判决的常用方法有_、_、_和_等。7、在与或图中，没有后裔的非终叶节点为不可解节点，那么含有或后继节点且后裔中至少有一个为可解的非终叶节点是 _，含有与后继节点且后裔中至少有一个为不可解的非终叶节点是_。三、回答下列问题（共60 分）1、（10 分）当前人工智能有哪些学派？他们对人工智能在理论上有何不同观？2、（10 分）请说明神经元的基本结构和前馈型神经网络的工作过程。3、（10 分）试说明产生式系统的基本结构，各部分的功能以及主要工作过程。4、（10 分）专家系统包括那些基本部份?每一部分的主要功能是什么?5、（10 分）某单位派遣出国人员，有赵、钱、孙三位候选人，经讨论后决定：（1）三人中至少派遣一人。（2）如果赵去而钱不去，则一定派孙去。（3）如果钱去，则一定派孙去。求证：一定会派孙出国。设用 P(x)表示派 x 出国，zhao、qian、sun 分别表示三人，将已知条件与目标用谓词公式正确的表示出来，并用消解反演进行证明。6、（10 分）对于八数码难题按下式定义估价函数：f(x)=d(x)+h(x)其中，d(x)为节点x 的深度；h(x)是所有棋子偏离目标位置的曼哈顿距离（棋子偏离目标位置的水平距离和垂直距离和），例如下图所示的初始状态S0：8 的曼哈顿距离为2；2 的曼哈顿距离为1；1 的曼哈顿距离为 1；6 的曼哈顿距离为1；h(S0)=5。初始状态（S0）：目标状态：（1）用 A*搜索法搜索目标，列出头三步搜索中的OPEN、CLOSED 表的内容和当前扩展节点的f 值。（2）画出搜索树和当前扩展节点的f 值。2 8 3 1 6 4 7 51 2 3 8 4 7 6 5答案一、选择题1、D2、D3、B4、C5、B6、D7、C8、A9、C 10、B二、填空题1、环境、学习、知识库、执行2、智能机器、模仿和执行人脑3、规则正向演绎系统、规则逆向演绎系统、规则双向演绎系统4、神经计算、模糊计算、进化计算5、启发式信息、估计节点位于解路径上的希望6、重心法、最大隶属度法、系数加权平均法、隶属度限幅元素平均法7、可解节点、不可解节点三、回答下列问题14 主观题答案略5、已知条件与目标公式：消解树：条件：（1）P(zhao)P(qian)P(sun)（2）P(zhao)P(qian)-P(sun)（3）P(qian)-P(sun)目标：P(sun)子句集：(1)P(zhao)P(qian)P(sun)(2)P(zhao)P(qian)P(sun)(3)P(qian)P(sun)(4)P(sun)6、循环OPEN CLOSED 初始化S01 S2 S1 S3S02 S6 S1 S3 S4 S5S0 S23 S7S1 S3 S4 S5 S8S0 S2 S6搜索树如左图（右上角的数字是其估价函数值）中南大学考试试卷2005年第 2 学期,考试时间 120 分钟人工智能课程 48学时，3 学分，考试形式：开卷专业年级：计算机02 级总分 100 分，占总评成绩70%注：此页不作答题纸，请将答案写在答题纸上一、填空题（20 分）1、_搜索和 _搜索等属于盲目搜索；而_搜索等属于启发式搜索。2、人工智能是计算机科学中涉及研究、设计和应用_的一个分支，它的近期目标在于研究用机器来_的某些智力功能。3、规划的好处可归纳为_、_以及 _等。4、计算 智能 是人 工智能研 究的 新内 容，涉及 _、_和_等。5、不确定性推理主要有两种不确定性，即关于_的不确定性和关于_的不确定性。6、神经网络适用于自动控制是由于神经网络具有_、_、_和_等特性和能力。7、专家系统一般由_、_、_、_、_组成。8、在框架理论中，框架通常由(1)(2)P(qian)P(sun)(3)P(sun)(4)NIL 2 8 3 1 6 4 7 5 2 8 3 1 6 4 5 7 2 8 3 1 4 7 5 6 2 8 3 1 6 4 7 5 S0(5)S1(7)S2(5)S3(7)2 8 3 1 4 7 5 6 2 8 3 1 4 7 5 6 2 3 1 8 4 7 5 6 S4(7)S5(7)S6(5)2 3 1 8 4 7 5 6 2 3 1 8 4 7 5 6 S7(5)S8(7)1 2 3 8 4 7 5 6 S9(5)1 2 3 8 4 7 5 6 _ 组成。9、知识发现的方法有_、_、_、_等。10、注意：以下(1)(2)任选做一小题(1)“登高望远”相应的谓词公式表示为_。(2)“响鼓不用重锤”相应的谓词公式表示为_。二、选择题（15 分）1、在自动定理证明研究方面在国际上有影响的我国知名科学家是：A.钱学森B.华罗庚C.宋健D.吴文俊2、被认为是人工智能“元年”的时间应为：A、1948 年B、1946 年C、1956 年D、1961 年3、被誉为国际“人工智能之父”的是：A、图灵（Turing）B、费根鲍姆（Feigenbaum）C、傅京孙（K.S.Fu）D、尼尔逊（Nilsson）4、语义网络的组成部分为：A、框架和弧线B、状态和算符C、节点和链D、槽和值5、尽管人工智能学术界出现“百家争鸣”的局面，但是，当前国际人工智能的主流派仍属于：A、连接主义B、符号主义C、行为主义D、经验主义6、消解原理是一种用于A、表达式变换的推理规则B、变量运算的推理规则C、一定的子句公式的推理规则D、规则演绎的推理规则7、下列哪个系统属于新型专家系统？A、多媒体专家系统B、实时专家系统C、军事专家系统D、分布式专家系统8、机器学习的一个最新研究领域是：A.数据挖掘B.神经网络C.类比学习D.自学习9、分布式人工智能研究和新领域是：A.专家系统B.分散控制C.Agent(艾真体)D.互联网10、人工智能应用研究的两个最重要最广泛领域为：A.专家系统、自动规划B.专家系统、机器学习C.机器学习、智能控制D.机器学习、自然语言理解三、回答下列问题（20 分）1、当前人工智能有哪些学派？他们对人工智能在理论上有何不同观点？2、为什么要研究知识表示？试述状态空间法、问题归约法、谓词演算法的要点，并列表比较它们的关系。3、试述适应度函数在遗传算法中的作用，并说明遗传算法的求解步骤。4、专家系统包括那些基本部件?每一部分的主要功能是什么?四、应用归结演译推理回答问题（10 分）注意：只要求以下选做1、2 中的一个小题1、已知下述事实：（1）小李只喜欢较容易的课程。（2）工程类课程是较难的。（3）PR 系的所有课程都是较容易的。（4）PR150 是 PR 系的一门课程。应用归结演译推理回答问题：小李喜欢什么课程？2、已知有A、两个箱子和27 号、28 号两个房间，且不在27 号房中就在28 号房中，假设机器人知道（1）27 号房间中的所有箱子都比28 号房间中的小；（2）箱子在27 号房间中且不比小。用给定谓词表示已知条件和结论，并用消解反演证明在27 号房间中。提示：给定谓词如下：I(x,y):x 在 y 号房中S(x,y):x 比 y 小五、用语义网络表示下面的知识（10 分）(1)我是一个人(2)我有一台计算机(3)我的计算机是PC/PIV1.8G(4)PC 机是计算机(5)PC/PIV1.8G 是 PC 机(6)PC/PIV1.8G 包括硬盘、显示器、CPU、内存。六、试用问题归约法求解四圆盘梵塔问题（15 分）注意：只要求以下选做1、2 中的一个小题1、在梵塔问题中，圆盘位置的数据结构规定圆盘尺寸自左至右逐渐变小（即最左边的尺寸最大，最右边的尺寸最小）。已知初始配置的数据结构为(2,2,3,1)，目标配置的数据结构为(3,3,3,3)。试用问题归约法求解四盘梵塔问题，要求：(1)依次画出圆盘移动步骤（移动过程）；(2)对每一配置（状态），标示数据结构。2 13 2 13 2、对于八数码难题按下式定义估价函数：f(x)=d(x)+h(x)其中，d(x)为节点 x 的深度(初始结点即根结点深度为0)；h(x)是所有棋子偏离目标位置的最短距离之和，例如下图所示的初始状态S：1 偏离目标位置的距离为1；2 偏离目标位置的距离为1；3 偏离目标位置的距离为1；4 偏离目标位置的距离为2；8偏离目标位置的距离为3；h(s)=8。（1）用最好优先搜索法搜索目标，按扩展顺序列出最终CLOSE 表中的结点；（2）画出类似图3.10(Page65)的搜索树(只要求列出可能在OPEN 表中出现的结点)，并在各结点旁边标出其相应的f 值。七、您认为人工智能课程的哪一部分内容对您的毕业设计或者您以后的工作特别有用？如果有，请叙述其原理；如果没有，请您谈谈人工智能的发展对人类有哪些的影响？（10 分）初始状态(S)目标状态(G)人工智能考试参考答案（A 卷）一、填空题：1、宽度优先、深度优先、有序2、(与)、(或)，（蕴涵）3、神经元、有向图4、神经计算、模糊计算、进化计算5、结论、证据6、智能机器、模仿和执行人脑7、知识库、接口、黑板、推理机、解释器8、描述事物的各个方面的槽组成，每个槽可以拥有若干个侧面，而每个侧面又可以拥有若干个值。9、正向推理、逆向推理、双向推理、混合推理10、学习和适应、自组织、函数逼迫、大规模并行处理二、选择题：1、D 2、C 3、A 4、C 5、B 6、B 7、D 8、A 9、C 10、B 三、回答下列问题:1、符号主义认为人工智能源于数理逻辑。符号主义仍然是人工智能的主流派。这个学派的代表有纽厄尔、肖、西蒙和尼尔逊(Nilsson)等。联结主义认为人工智能源于仿生学，特别是人脑模型的研究。行为主义认为人工智能源于控制论。这一学派的代表作首推布鲁克斯(Brooks)的六足行走机器人，它被看做新一代的“控制论动物”，是一个基于感知动作模式的模拟昆虫行为的控制系统。2、状态空间法 是一种基于解答空间的问题表示和求解方法，它是以状态和操作符为基础的。在利用状态空间图表示时，从某个初始状态开始，每次加一个操作符，递增地建立起操作符的试验序列，直到达到目标状态为止。由于状态空间法需要扩展过多的节点，容易出现“组合爆炸”，因而只适用于表示比较简单的问题。问题归约法 从目标(要解决的问题)出发，逆向推理，通过一系列变换把初始问题变换为子问题集合和子子问题集合，直至最后归约为一个平凡的本原问题集合。这些本原问题的解可以直接得到从而解决了初始问题，用与或图来有效地说明问题归约法的求解途径。问题归约法能够比状态空间法更有效地表示问题。状态空间法是问题归约法的一种特例。在问题归约法的与或图中，包含有与节点和或节点，而在状态空间法中只含有或节点。谓词逻辑法 采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。谓词逻辑是一种形式语言，能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用，灵活方便，可以表示比较复杂的问题。在表示和求解比较复杂的问题时，采用单一的知识表示方法是远远不够的。往往必须采用多种方法混合表示。例如，综合采用框架、语义网络、谓词逻辑的过程表示方法(两种以上)，可使所研究的问题获得更有效的解决。此外，在选择知识表示方法时，还要考虑所使用的程序设计语言所提供的功能和特点，以便能够更好地描述这些表示方法。3、进行搜索技术一般需要某些有关具体问题领域的特性的信息，把此种信息叫做启发信息。利用启发信息的搜索方法叫做启发式搜索方法。例：八数码难题采用了简单的估价函数f(n)=d(n)+W(n)其中：d(n)是搜索树中节点n 的深度；W(n)用来计算对应于节点n的数据库中错放的棋子个数。因此，起始节点棋局2 8 3 1 4 7 6 5 的 f 值等于 0+4=4。4、接口 是人与系统进行信息交流的媒介，它为用户提供了直观方便的交互作用手段。黑板是用来记录系统推理过程中用到的控制信息、中间假设和中间结果的数据库。它包括计划、议程和中间解3 部分。知识库 包括两部分内容。一部分是已知的同当前问题有关的数据信息；另一部分是进行推理时要用到的一般知识和领域知识。调度器 按照系统建造者所给的控制知识，从议程中选择一个项作为系统下一步要执行的动作。执行器应用知识库中的及黑板中记录的信息，执行调度器所选定的动作。协调器的主要作用就是当得到新数据或新假设时，对已得到的结果进行修正，以保持结果前后的一致性。解释器 的功能是向用户解释系统的行为，包括解释结论的正确性及系统输出其它候选解的原因。5、为了体现染色体的适应能力，引入了对问题中的每一个染色体都能进行度量的函数，叫适应度函数（fitness function）。TSP 的目标是路径总长度为最短，自然地，路径总长度就可作为TSP 问题的适应度函数。适应度函数要有效反映每一个染色体与问题的最优解染色体之间的差距。适应度函数的取值大小与求解问题对象的意义有很大的关系。适应度函数必须有能力计算搜索空间中每个确定长度的特征字符串的适应值。四、请用相应的谓词公式表示下述语句：1、(x)like(x,zq)(x)like(x,pq)(x)(like(x,zq)like(x,pq)2、(x)(high(x)far(x)五、应用归结演译推理回答问题：六、把下面谓词公式分别化为相应的子句集：)2(,2()2(,2(),1(,1()1(,1(xExRxWxPxExQxWxP七、用语义网络表示下列知识：IS A PART OF 有ISA 计算机人我PC/PIV 机PC 机计算机硬盘显示器CPU 内存ISA ISA ISA easy(PR150)PR(x)easy(x)PR(PR150)easy(x)like(Li,x)like(Li,PR150)八、九、答：人工智能对经济的影响。人工智能系统的开发和应用，已为人类创造出可观的经济效益，专家系统就是一个例子。随着计算机系统价格的继续下降，人工智能技术必将得到更大的推广，产生更大的经济效益。举例：1.专家系统的效益2.人工智能推动计算机技术发展人工智能对社会的影响。1）、劳务就业问题。由于人工智能能够代替人类进行各种脑力劳动，例如用专家系统代替管理人员或医生进行决策或诊断与治疗病人疾病，所以，将会使一部分人不得不改变他们的工种，甚至造成失业。人工智能在科技和工程中的应用，会使一些人失去介入信息处理活动(如规划、诊断、理解和决策等)的机会，甚至不得不改变自己的工作方式。2）、社会结构变化。人们一方面希望人工智能和智能机器能够代替人类从事各种劳动，另一方面又担心它们的发展会引起新的社会问题。实际上，近十多年来，社会结构正在发生一种静悄悄的变化。思维方式与观念的变化。人工智能的发展与推广应用，将影响到人类的思维方式和传统观念，并使它们发生改变。例如，传统知识一般印在书本报刊或杂志上，因而是固定不变的，而人工智能系统的知识库的知识却是可以不断修改、扩充和更新的。又如，一旦专家系统的用户开始相信系统(智能机器)的判断和决定，那么他们就可能不愿多动脑筋，变得懒惰，并失去对许多问题及其求解任务的责任感和敏感性。过分地依赖计算机的建议而不加分析地接受，将会使智能机器用户的认知能力下降，并增加误解。心理上的威胁。人工智能还使一部分社会成员感到心理上的威胁，或叫做精神威胁。人们一般认为，只有人类才具有感知精神，而且以此与机器相别。如果有一天，这些人开始相信机器也能够思维和创作，那么他们可能会感到失望，甚至感到威胁。他们担心：有朝一日，智能机器的人工智能会超过人类的自然智能，使人类沦为智能机器和智能系统的奴隶。按照人工智能的观点，人类有可能用机器来规划自己的未来，甚至可以把这个规划问题想象为一类状态空间搜索。当社会上一部分人欢迎这种新观念时，另一部分人则发现这些新观念是惹人烦恼的和无法接受的，尤其是当这些观念与他们钟爱的信仰和观念背道而驰时。技术失控的危险。任何新技术最大危险莫过于人类对它失去了控制，或者是它落入那些企图利用新技术反对人类的人手中。一、选择题(每题 1 分，共 15 分)1、AI 的英文缩写是A)Automatic Intelligence B)Artifical Intelligence(2,2,3,3)2 13(2,2,3,1)初始配置2 13(2,1,3,3)2 13(2,1,1,2)2 13(2,1,3,2)2 13(3,1,1,1)2 13(3,1,2,3)2 13(3,1,1,3)2 13(3,1,1,1)2 13(3,3,2,1)2 13(3,3,2,2)2 13(3,3,3,1)2 13(3,3,3,3)目标配置2 13(2,1,1,1)2 13 C)Automatice Information D)Artifical Information 2、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A)永真式B)包孕式（subsumed）C)空子句3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是A)正向推理B)反向推理C)双向推理4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（）。A)无悖性B)可扩充性C)继承性5、(A B)A=B 是A)附加律B)拒收律C)假言推理D)US 6、命题是可以判断真假的A)祈使句B)疑问句C)感叹句D)陈述句7、仅个体变元被量化的谓词称为A)一阶谓词B)原子公式C)二阶谓词D)全称量词8、MGU 是A)最一般合一B)最一般替换C)最一般谓词D)基替换9、1997 年月，著名的“人机大战”，最终计算机以3.5 比 2.5 的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）A）深蓝B）IBM C）深思D）蓝天10、下列不在人工智能系统的知识包含的4 个要素中A)事实B)规则C)控制和元知识D)关系11、谓词逻辑下，子句,C1=L C1,C2=?LC2,若 是互补文字的（最一般）合一置换，则其归结式C=（）A)C1 C2B)C1 C2C)C1C2D)C1C212、或图通常称为A）框架网络B)语义图C)博亦图D)状态图13、不属于人工智能的学派是A)符号主义B)机会主义C)行为主义D)连接主义。14、人工智能的含义最早由一位科学家于1950 年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是A)明斯基B).扎德C)图林D)冯.诺依曼15.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。A)专家系统B)机器学习C)神经网络D)模式识别二、填空题(每空 1.5 分，共 30 分)1、不确定性类型按性质分：，。2、在删除策略归结的过程中删除以下子句：含有的子句;含有的子句;子句集中被别的子句的子句。3、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）=、CF（A1 A2）=、CF（A1A2）=4、图：指由和组成的网络。按连接同一节点的各边的逻辑关系又可分为和。5、合一算法：求非空有限具有相同谓词名的原子公式集的6、产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为。7、P(B|A)表示在规则中，证据A 为真的作用下结论B为真的。8、人工智能的远期目标是，近期目标是。三、简答及计算题(每题 5 分，共 25 分)1、填写下面的三值逻辑表。其中 T，F，U 分别表示真，假，不能判定2、什么是产生式？产生式规则的语义是什么？答：3、谓词公式G 通过个步骤所得的子句集合S，称为 G 的子句集。请写出这些步骤。答：4、已知 S=P(f(x),y,g(y),P(f(x),z,g(x)，求 MGU 解：5、证明 G是否是 F 的逻辑结论；)()(:)()()(:xQxPxGxQaQxPxF四、应用题(共 30 分)1、用语义网络表示下列信息：(1)胡途是思源公司的经理，他35 岁，住在飞天胡同68 号(2)清华大学与北京大学进行蓝球比赛，最后以89：102 的比分结束。答：2、图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必要的分枝。（在节点及边上直接加注释）3、设有如下关系：（1）如果 x 是 y 的父亲，y 又是 z 的父亲，则x 是 z 的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？解：答案：一、1、B 2、C3、A4、C5、C 6、D 7、A8、A9、A10、D 11、A12、D13、B14、C15、B 二、1、随机性，模糊性，不完全性，不一致性2、纯文字，永真式，类含3、-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2)4、节点，有向边，或图，与或图5、最一般合一（MGU）6、被触发规则7、AB，概率8、制造智能机器，实现机器智能三、1、2、产生式规则基本形式：P Q 或者IF P THEN Q P 是产生式的前提（前件），用于指出该产生式是否可用的条件Q 是一组结论或操作（后件），用于指出当前提P 所指示的条件满足时，应该得出的结论或应该执行的操作产生式规则的语义：如果前提P 被满足，则可推出结论Q 或执行Q 所规定的操作3、1）消去蕴含式和等价式，2）缩小否定词的作用范围，直到其作用于原子公式:3）适当改名，使量词间不含同名指导变元和约束变元。4.）消去存在量词（形成Skolem 标准型）5）消去所有全称量词6)化成合取范式7).适当改名，使子句间无同名变元8).消去合取词，用逗号代替，以子句为元素组成一个集合S 4、解：k=0;S0=S;0=;S0 不是单元素集，求得差异集D0=y,z,其中 y 是变元，z 是项，且y 不在 z 中出现。k=k+1=1 有1=0 z/y=z/y=z/y，S1=S0 z/y =P(f(x),z,g(z),P(f(x),z,g(x),S1不是单元素集，求得差异集D1=z,x,k=k+1=2;2=1 z/x =z/y,z/x,S2=S1 z/x =P(f(z),z,g(z)是单元素集。根据求 MGU 算法，MGU=2=z/y,z/x5、证:P(x)从 F 变换Q(a)Q(x)从F 变换 P(y)Q(y)结论的否定 Q(x)归结,x/y归结,置换 a/x得证。四、1、2、3、解:现定义如下谓词F(x,y)-x是 y 的父亲;G(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/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 的祖父，即老李是小李的祖父。一、选择题(每题 1 分，共 15 分)1、人工智能是一门A)数学和生理学B)心理学和生理学C)语言学D)综合性的交叉学科和边缘学科2、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（）。A)无悖性B)可扩充性C)继承性3、(A-B)A=B 是A)附加律B)拒收律C)假言推理D)US 4、命题是可以判断真假的A)祈使句B)疑问句C)感叹句D)陈述句5、仅个体变元被量化的谓词称为A)一阶谓词B)原子公式C)二阶谓词D)全称量词6、MGU 是A)最一般合一B)最一般替换C)最一般谓词D)基替换最一般合一7、下列不在人工智能系统的知识包含的4 个要素中A)事实B)规则C)控制D)关系8、当前归结式是（）时，则定理得证。A)永真式B 包孕式（subsumed）C)空子句9、或图通常称为A）框架网络B)语义图C)博亦图D)状态图10、不属于人工智能的学派是A)符号主义B)机会主义C)行为主义D)连接主义。11、所谓不确定性推理就是从()的初始证据出发，通过运用()的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。A)不确定性,不确定性B)确定性,确定性C)确定性,不确定性D)不确定性确定性12.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。A)专家系统B)机器学习C)神经网络D)模式识别13、下列哪部分不是专家系统的组成部分（）A.）用户B）综合数据库C）推理机D）知识库14、产生式系统的推理不包括（）A）正向推理B）逆向推理C）双向推理D）简单推理15、C(B|A)表示在规则A-B 中，证据A 为真的作用下结论B 为真的A)可信度B)信度C)信任增长度D)概率二、填空题(每题 1 分，共 30 分)1、人工智能的含义最早由一位科学家于1950 年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是2、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是。3、AI 的英文缩写是。4、不确定性类型按性质分：，。5、在删除策略归结的过程中删除以下子句：含有的子句;含有的子句;子句集中被别的子句的子句。6、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）=、CF（A1A2）=、CF（A1 A2）=。7、图：指由组成的网络。按连接同一节点的各边的逻辑关系又可分为和。8、合一算法：求非空有限具有相同谓词名的原子公式集的。9、1997 年月，著名的“人机大战”，最终名为“”的计算机以3.5 比 2.5 的总比分将世界国际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是，近期目标是。三、简答及计算题(每题 5 分，共 25 分)1、解释下列模糊性知识：1)张三，体型，（胖，0.9）。2)(患者，症状，(头疼，0.95)(患者，症状，(发烧，1.1)(患者，疾病，(感冒，1.2)答：2、简单阐述产生式系统的组成：答：3、补齐产生式系统与图搜索的对比表答：4、已知 W=P(f(x,g(A,y),z),P(f(x,z),z)，求 MGU 解：5、证明 G是否是 F1、F2的逻辑结论；)()()()(2)()()(1xRxSxGxSxPxFxRxQxPxF：证:四、应用题(共 30 分)1、将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表示答：2、图示博弈树，其中末一行的数字为假设的估值，请利用 -剪枝技术剪去不必要的分枝。（在节点及边上直接加注释）3、利用谓词逻辑表示下列知识（包括已知和结论），然后化成子句集：（1）凡是清洁的东西就有人喜欢；（2）人们都不喜欢苍蝇求证：苍蝇是不清洁的。证：答案：一、1、D 2、C 3、C 4、D 5、A 6、A 7、D 8、C 9、D 10、B 11、A 12、B 13、A.14、D 15、B 二、1、图林2、正向推理3、Artifical Intelligence 4、随机性，模糊性，不完全性，不一致性5、纯文字，永真式，类含6、-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2)7、节点和有向边，或图，与或图8、最一般合一（MGU）9、深蓝10、制造智能机器，实现机器智能三、1、答：1）表示：命题“张三比较胖”2）解释为：如果患者有些头疼并且发高烧，则他患了重感冒。2、答：1）产生式规则库：描述相应领域知识的产生式规则集2）数据库：（事实的集合）存放问题求解过程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实）3）推理机：（控制系统）是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略。3、答：4、解：k=0;S0=S;0=;S0 不是单元素集，求得差异集D0=g(A,y),z,其中 z 是变元，g(A,y)是项，且z 不在 g(A,y)中出现。k=k+1=1 有1=0 g(A,y)/z=g(A,y)/z=g(A,y)/z，S1=S0 g(A,y)/z=P(f(x,g(A,y),g(A,y),S1是单元素集。根据求 MGU 算法，MGU=1=g(A,y)/z5、证:P(x)Q(x)从F1变换 P(y)R(y)从F1 变换P(a)从F2 变换S(a)从F2 变换 S(z)R(z)结论的否定R(a)归结a/y R(a)归结a/z 归结得证.四、1、答：谓词公式表示：x(student(x)read(x,三国演义)语义网络表示如图：2、3、证：现定义如下谓词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得证。