附录A 计算机科学与技术学科综合考试人工智能真题.doc

附录 计算机科学与技术学科综合考试人工智能真题年计算机科学与技术学科综合考试真题课程 人工智能原理一、选择题（共分）人工智能作为一门学科，在（ ）年诞生于（ ）。语言是（ ）年提出的，的诞生地是（ ）。第、空格候选答案：（） （） （） （） （） （） （）（） （） （） （） （）（）（）第、空格候选答案：（） （） （）（） （） （）（） （） （）（） （） （）（） （） （）（） （） （） （） （） （）（） （） （）（） （） （）（） （） （）二、填空题（共分）近年来，对人类智能的理解上形成了两种不同的观点，一种观点称做（ ）主义，另一种观点，即（ ）的观点，称做（ ）主义。常用的知识表示方法有逻辑表示法、（ ）、（ ）、（ ）、（ ）等。下图为提出的学习模型，请填充空白框。三、（分）将下式化为不含量词的子句（，）五、（分）已知：规则可信度 （，） （，） （，） （，）证据可信度（）（）（）（）。、的初始可信度0（）；0（）。要求用的方法计算：结论的可信度（）；结论的可信度（）。年计算机科学与技术学科综合考试真题课程 人工智能原理一、选择与填空（共分，每空分）命题逻辑下，可以归结（消解、）的子句和，在某解释下和为真。则其归结式（消解式、）在该解释下（ ）。必真 必假 真假不能断言表达式是不可满足的，当且仅当对所有的解释（ ）。为真 为假 为非永真（）系统中规定，证据的可信度（）的取值为（ ）。（） （） （）主观推理中，规定似然比（）和应（ ）。 在诞生初期，人工智能被定义为这样一个计算机科学的分支：它是研究（ ）。人工智能程序与通常意义下的程序比较它具有以下四个特点：（ ），（ ），（ ），（ ）。用反演（）归结证明定理，证明过程是这样结束的。若（ ），则定理得证；若（ ），则证明失败。在语义网络中，为了进行节点（结点，）间节点属性的继承推理，规定了两个约定俗成的链（弧，），命名为（ ）和（ ），用来标明类与子类、类与个体之间的关系。产生式规则与蕴涵规则的区别在于：产生式规则（ ），而蕴涵规则（ ）。推理中，对证据的可信度（）、（）和（）之间，规定如下关系：（）（ ），（）（ ），（）（ ）。主观推理中，规则的不确定性是以似然比和描述的。表示了规则成立的（ ）性；表示了规则成立的（ ）性。二、化下列逻辑表达式为不含存在量词的前束形（）（分）（）（）（）（）（，）（，（）四、对结论做假设，有证据和，规则和。（分）：，；：，。已知的先验概率（）。若证据和依次出现，按主观推理，求在此条件下的概率（，）。（注意：每步应列出计算式，计算结果可取近似值。）年计算机科学与技术学科综合考试真题课程 人工智能原理一、选择与填空（共分，每空分）（）标准逻辑（谓词逻辑）中，重言式（）是（ ）。永真 永假 非永真（）（）反演（）归结（消解，）证明定理时，若当前归结式（消解式，）是（ ），则定理得证。永真式 包孕式（） 空子句（）系统中规定，若证据的可信度（），则意味着（ ）。证据不可信 对证据一无所知 证据可信（）主观推理中，规则，其，这意味着（ ）。对没有影响 支持 支持（）开发专家系统所要解决的基本问题有个，那就是知识的获取、知识的表示和（ ）；知识表示的方法主要有（ ），（ ），（ ），（ ）。（）反演归结的支持集策略规定：参加归结的子句应这样选取：（ ），而其归结式应并入（）内。（）谓词逻辑下，子句，若是互补句节的（ ）的合一子，则其归结式（消解式，）（ ）。（）以反演归结证明子句集不可满足的过程中，当前归结式是（ ）或（ ），则可删除。（）语义网络是（ ）表示的节点，有向弧，节点三元式联结而成的。其节点表示（），其弧表示（ ）。（）系统中的规则，由专家指定其、的值，由似然比定义知：、与（零）比较应、皆（ ），并且，若指定，则应指定（ ）；反之亦然。二、计算证据对结论的不确定性的影响（分）已知规则、的可信度：，（，），（，）证据可信度（）（），的初始（），现逐次引用、，要求用的方法计算结论的可信度（）。三、用标准逻辑（经典逻辑，谓词逻辑）的子句集表示下述刑侦知识，并用反演归结的线性策略证明结论。（分）现定义如下谓词（其项变量，皆为全称变量）。（）某人是贼；（，）某人喜欢某物；（，）某人可能会偷窃某物。（）用子句集表示下属刑侦知识：是贼。喜欢酒（）。（也）喜欢奶酪（）如果喜欢某物则也喜欢某物。如果某人是贼，而且他喜欢某物，则他就可能会偷窃该物。（）求证结论：可能会偷窃什么？即求证目标：（，），？（提示：建议将求证目标作为顶子句，按线性策略进行反演消解，注明每次消解式的置换及其父子句的编号。） 附录 计算机科学与技术学科综合考试真题参考解答年综合考试人工智能真题参考解答一、（），（），（），（）二、（符号主义），（仿生学），（联结主义）（框架表示法），（语义网络表示法），（面向对象表示法），（产生式表示法）五、解：考虑、具有初始可信度，所以使用更新法计算结论可信度。（）的可信度更新值计算由于证据初始值（）（）（）（），所以，使用公式（）。由规则：（）（）（）（，）（）（）（，）由规则：（，）（）（）（，）（）（）（，）由规则：（，）（，）（）（，）（，）（）（，）（，）即是的可信度之更新值。（）的可信度更新值计算 由规则：首先求出（）（），（），由于规则的前提之可信度（），所以，仍要使用公式（），得到（）（）（）（）（）（）（，）故结论之可信度的更新值为（）。答：的更新后的可信度为（），的更新后的可信度为（）。年综合考试人工智能真题参考解答一、选择与填空（） （） （） （）（使计算机来完成能表现出人类智能的任务的学科）（以符号表示的知识而不是数值数据为研究对象）（采用的是启发式推理方法，而不是常规的算法）（控制结构与领域知识是分离的）（允许出现不正确的解答）（归结出空子句），（归结不出空子句）（），（）（可以用于不精确推理，本身没有真值），（只能用于精确推理，本身有真值）（）（），（）（），（），（）（），（）（充分性），（必要性）二、解：（）（）（）（）（，）（，（）（）（）（）（）（，）（，（）（）（）（）（）（，）（，（）（）（）（，（）（，（）四、解：由题意得如图所示的推理网络。由于的先验概率（），依据规则和公式（），对的概率进行更新：（）（）（）（）将再作为的先验概率，应用规则：（，）（）（）（）（）年综合考试人工智能真题参考解答一、选择与填空（） （） （） （）（知识推理），（谓词逻辑法），（产生式表示法），（语义网络表示法），（框架表示法）（至少应有一个子句是由目标公式的否定所得到的子句或是它们的后裔），（子句集）（，），（）（）（单文字），（重言式）（有向图），（概念、事物、事件、情况等），（节点间的语义联系）（），（）二、解：由于证据初始值（）（），所以应用公式（），由于（），（， 附录计算机科学与技术学科综合考试真题参考解答 ），故应用公式的上半部分：由规则：（）（）（）（，）（）（）（，）由于（），（，），所以对规则同样应用公式（）的上半部分：（，）（）（）（，）（）（）（，）答：用方法求得的结论的可信度为。三、解：第一步：定义谓词，将已知条件用谓词公式表示出来，并化成子句集。（）定义谓词：（）：表示是贼；（，）：表示某人喜欢某物；（，）：表示某人可能会偷某物。（）将已知事实表示成谓词公式，并化成子句集：是贼。（）（）Ii 喜欢酒（）。Iii （也）喜欢奶酪（）。（，）（，）（，），（，）如果喜欢某物则也喜欢某物。（）（，）（，）（，）（，）如果某人是贼，而且他喜欢某物，则他就可能会偷窃该物。（）（）（）（，）（，）（）（，）（，）第二步：把问题用谓词公式表示出来，并将其否定与谓词做析取。：（，）（）第三步：列出前提和目