一、 是非判断题
1、消解时主要通过推导空子句来实现反证的。 （√） 2、 L、?L 为互解文字，L∧?L=》[]。 （√）
3、(P(x) ∧Q(y))∨(P(x) ∧R(y))为合取范式。（×） 4、若P 为时真时假，则P 仍为永真式。（×）
5、\?x(p(x)?R（x))中的P（X）不在\的辖域中。（×）
6、极小极大分析法中采用逆向推算来计算节点得分的。（√） 7、解树一定是代价最小。（×）
8、本原问题即直接可解的简单问题。（√）
9、与或图搜索也可分为盲目搜索和启发式搜索。（√）
10、对α-β剪枝技术中，对与节点来说，α是倒推值的下确界，β是倒推 值的上确界。（×）
11、语义网络是一种有向图，它有5 个级别，7 种类型。（√） 12、方位关系不在语义网络表示的范围内。（×） 13、对象与类是实例关系。（√）
14、基于语义网络的推理主要有网络匹配、网络继承和网络演绎三种 方式。（√）
15、对“与”、“或”、“蕴含”关系，在语义网络表示时主要加上 “与”、“或”、“蕴含”结点。（√）
16、框架之间也有从属关系、实例关系等。（√） 17、专家系统是由数名专家组成的咨询系统。（×）
18、用普通的程序设计语言开发专家系统的开发周期最长，效率最 低，但限制最小。（×）
19、网络环境下的专家系统结构可以分为客户机/服务器或浏览器/ 服务器结构。（√）
20、黑板模型中的黑板就是一个全局数据库。（√） 21、智能机器人的智能已经达到人类智能的水平。（×） 22、人也可以作为Agent。（√）
二、填空题
1、 人工智能程序与传统的计算机程序相比，有如下特点：
①AI以符号表示的只是为研究对象，而不是以数值数据为研究对象 ②AI 采用启发式推理方法、而不是常规的算法 ③AI中控制结构与领域只是分离 ④AI中允许出现不正确的解答
2、 产生式系统包括知识库和推理机。知识库有（规则库）和数据库组成，因此知识库中存放
（产生式规则）和事实。推理机是一个程序，推理方式有（正向）推里、（反向）推理和（混合）推理。
3、 状态空间搜索中宽度优先属于（盲目搜索），A*算法属于（启发式搜索） 4、 归结方法是一种机械化的（反）向推理方法
5、 在归结原理中，空字句不含有文字，它（不能）被任何解释满足，所以空字句是（永假的）。
归结过程出现空字句，说明出现了互补的文字对，说明字句集是（不可满足的）
6、 归结推理过程中的删除策略是指：对字句集S使用归结推理过程中，当归结式Cj是（重言式），或者Cj被S中字句或归结式Ci（i?j）所（包含）时，可以删除Cj。
7、 简单遗传算法的主要操作有（选择）、（交叉）、（变异），个体的选择一般采用（轮盘赌）产生各个体的再生数目。
8、在状态空间搜索的一般过程中，常常需要（ OPEN表 ）、（ CLOSED表 ）两个数据结构，它们的作用分别是（OPEN表：已经生成但是还未扩展的节点）、（CLOSED表：将要扩展或已经扩展并生成了其子女的节点）
9、在语义网络中，为了表示节点间属性的继承推理，规定了两个约定俗成的链，命名为 （ISA）和（AKO），用来表明类和子类、类和个体之间的关系。
10、人工智能是1956年、在美国的达特茅斯大学诞生的。大会由麦卡锡.MaCarthy）教授正式提出“人工智能”这一术语。
11、人工智能主要有机器学习、专家系统和自然语言处理研究领域
12、在人工智能中，通常知识有基于逻辑谓词逻辑表示法、产生式系统表示法、语义网络表示法、框架表示法、过程表示法等表示的方法
13、开发专家系统需要解决知识获取、知识表示和知识推理三个基本问题。
14、语义网络是用有向图方法表示的【节点1，有向弧，节点2】三元式连接而成的。其中节点表示事物、概念、事件或情况等；弧表示节点间的语义关系。
15、评价一个搜索策略的好坏，主要是两个方面：找到解的速度，找到解的质量
*
16、搜索策略主要包括：盲目搜索，启发式搜索，A索策略集中策略。 17、推理的形式主要有正向推理，反向推理，双向推理的三种方式。
三、选择题
1、基于“有限合理性原理”和“物理符号系统假设”的人工智能学派一般指的是（a） a.符号主义 b.联结主义 c.行为主义
2、为了证明A1?A2?...?An?B，可以采用归结反演的方法，通常认为A1、A2、.....、An之间是（ b ）的，这时如果A1?A2?...?An??B通过归结，可以得出空字句，说明?B和A1、A2、.....、An之间是（ a ）的，也就是说明B和A1、A2、.....、An之间是（ b ）的
a.有矛盾 b.无矛盾 c.无法确定
3、每次归结时，首先从字句集S中选取一个称为顶字句C0开始做归结；其次将归结过程中所
得到的归结式Ci立即同另外一个字句Bi进行归结，刀刀归结式Ci+1，而Bi是原始字句集S中的一个字句或者是已经归结出的某个归结式Cj（j a. 支持集策略 b.输入策略 c.线性归结策略 4、XOR问题一般可以用下面那种模型来解决（ c ） a. 神经元 b.单层感知器 c.多层感知器 5、标准逻辑（谓词逻辑）中，重言式是 a a．永真 B. 永假 C.为非永真 四、 计算题 1、用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。 A B A B C 四、 图 机器人摞积木问题 解：(1) 先定义描述状态的谓词 CLEAR(x)：积木x上面是空的。 ON(x, y)：积木x在积木y的上面。 ONTABLE(x)：积木x在桌子上。 HOLDING(x)：机械手抓住x。 HANDEMPTY：机械手是空的。 其中，x和y的个体域都是{A, B, C}。 问题的初始状态是： ONTABLE(A) ONTABLE(B) ON(C, A) CLEAR(B) CLEAR(C) HANDEMPTY 问题的目标状态是： ONTABLE(C) ON(B, C) ON(A, B) CLEAR(A) HANDEMPTY (2) 再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下4个谓词： Pickup(x)：从桌面上拣起一块积木x。 Putdown(x)：将手中的积木放到桌面上。 Stack(x, y)：在积木x上面再摞上一块积木y。 Upstack(x, y)：从积木x上面拣起一块积木y。 其中，每一个操作都可分为条件和动作两部分，具体描述如下： Pickup(x) 条件：ONTABLE(x)，HANDEMPTY，CLEAR(x) 动作：删除表：ONTABLE(x)，HANDEMPTY 添加表：HANDEMPTY(x) Putdown(x) 条件：HANDEMPTY(x) 动作：删除表：HANDEMPTY(x) 添加表：ONTABLE(x)，CLEAR(x) ，HANDEMPTY Stack(x, y) 条件：HANDEMPTY(x)，CLEAR(y) 动作：删除表：HANDEMPTY(x)，CLEAR(y) 添加表：HANDEMPTY，ON(x, y) ，CLEAR(x) Upstack(x, y) 条件：HANDEMPTY，CLEAR(y) ，ON(y,x) 动作：删除表：HANDEMPTY，ON(y, x) 添加表：HOLDING(y)，CLEAR(x) (3) 问题求解过程 利用上述谓词和操作，其求解过程为： ONTABLE(A) ONTABLE(A) ONTABLE(A) ONTABLE(B) ONTABLE(B) ONTABLE(B) Upstack(A,C) Putdown(C) ONTABLE(C) Pickup(B) ON(C, A) HOLDING(C) CLEAR(A) CLEAR(B) CLEAR(A) CLEAR(B) CLEAR(C) CLEAR(B) CLEAR(C) HANDEMPTY CLEAR(C) HANDEMPTY ONTABLE(A) ONTABLE(A) 五、 ONTABLE(CONTABLE(CONTABLE(C) 六、 Stack(C,B) ONTABLE(C) Pickup(A) ) ) Stack(B,A) HOLDING(B) ON(B,C) 七、 ON(B,C) ON(B,C) CLEAR(A) CLEAR(A) 八、 ON(A,B) CLEAR(A) CLEAR(B) CLEAR(B) CLEAR(A) CLEAR(B) CLEAR(C) HANDEMPT HANDEMPT HOLDING(AY 2、 用语义网络和框架方法表示下属知识 （1）John gives a book to Mary Giving-Events Object G1 ISA Human ISA （2）高老师从3月到7月给计算机系学生讲《计算机网络》课。 解： 7月 8月 End Start ISA 老师 高老师 Action 讲课 Subjec讲课事件 Object Caurse 计算机网络 计算机系学生 Recipient Mary ISA Book1 ISA Book Giver John （3）创新公司在科海大街56号，刘洋是该公司的经理，他32岁、硕士学位。 解： 56号 32岁 硕士 Number Degree Age 科海大刘洋 经理 创新公司 HeadshiLocated-at Work-for 3、 什么是???过程，基本思想树什么？ 答：在极大极小过程中，总是先生成一颗博弈树，而且会生成规定深度内的所有节点，然后在进行估值的倒退计算，这样使得生成博弈树和估计值的倒退计算两个过程分离，因此搜索效率较低。如果能边生成博弈树，边进行估值的计算，则可能不必生成对顶深度内的所有节点，以减少搜索的次数，这就是???过程。