答案： 一、1、D
6、A 11、A
2、C 7、D 12、B
3、C 8、C
4、D 9、D
5、A 10、B 15、B
13、A. 14、D
二、1、图林 2、正向推理 3、Artifical Intelligence 4、随机性，模糊性，不完全性，不一致性 5、纯文字，永真式，类含
6、-CF(A)，min{CF(A1),CF(A2)}，max{CF(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)/z｝ 5、证:①┓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) ?y?x(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} 得证。
人工智能试卷（B）
试题部分：
一、选择题（15小题，共15分）
1、97年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（ ） A）深蓝
B）IBM
C）深思
D）蓝天
2、下列不在人工智能系统的知识包含的4个要素中 A)事实
B)规则
C)控制和元知识 D)关系
若ζ是互补文字的（最一般）合一置换，C)C1’ζ∧C2’ζ D)C1’ ∧C2’
3、谓词逻辑下，子句, C1=L∨C1‘, C2= ? L∨则其归结式C=（ ） A) C1’ζ∨C2’ζ 4、或图通常称为
B)C1’∨C2’
A）框架网络 B)语义图 C)博亦图 D)状态图
5、不属于人工智能的学派是 A)符号主义
B)机会主义
C)行为主义
D)连接主义。
6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是 A)明斯基
B).扎德
C)图林
D)冯.诺依曼
7、要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（ ）。 A)专家系统 A.）用户
B)机器学习
C)神经网络 C）推理机
D)模式识别 D）知识库
8、下列哪部分不是专家系统的组成部分（ ）
B）综合数据库
9、产生式系统的推理不包括（ ）
A）正向推理 B）逆向推理 C）双向推理 D）简单推理 10、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的 A)可信度
B)信度
C)信任增长度
D)概率
11、AI的英文缩写是 A)Automatic Intelligence C)Automatice Information
B)Artifical Intelligence
D)Artifical Information
12、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式
B)包孕式（subsumed）
C)空子句
13、在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ） A. 依赖函数 B. Skolem函数 C. 决定函数
D. 多元函数
14、子句~P?Q和P经过消解以后，得到（ ） A. P B. Q C. ~P
D. P?Q
15、如果问题存在最优解，则下面几种搜索算法中，（ ）必然可以得到该最优解。 A. 广度优先搜索 B. 深度优先搜索 C. 有界深度优先搜索 D. 启发式搜索
二、填空题（共30分）：
1.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一个量
词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 2、假言推理（A?B）?A? ，假言三段论（A?B）?（B?C）? 3、几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归结策略
4、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为 技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，
这种图称为
5.在启发式搜索当中，通常用 来表示启发性信息。
6.在二人博弈问题中，最常用的一种分析技术是 ，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了 7、不确定性类型按性质分： ， ， ， 。
8、在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。
9、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系： CF（~A）= 、CF（A1∧A2 ）= 、 CF（A1∨A2 ）= 。
10、图：指由 组成的网络。按连接同一节点的各边的逻辑关系又可分为 和 。
11、合一算法：求非空有限具有相同谓词名的原子公式集的 。
12、开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和 ，知识表示的方法主要有 ， ， 和语义网络等，在语义网络表示知识时，所使用的推理方法有 和 三、简答与应用题
1、 谓词逻辑形式化下列描述“不存在最大的整数”(4分) 2.α－β剪枝的条件是什么？（6分） 3、某问题由下列公式描述：
(1)、试用归结法证明(x)R(x)；（8分）
4. 专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较，有哪些共同点和特点？（7分）
5.何谓“图灵实验”？简单描述之（5分）
6、设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)
7. 给1～9九个数字排一个序列，使得该序列的前n(n=1,...,9) 个数字组成的整数能被n整除。 (1)、讨论哪些知识可以帮助该问题的求解。 (2)、用产生式系统描述该问题. (15分) 答案部分 一、选择题 A D A D B C B A D B B C B B A 二、填空题
1、辖域 约束变元 自由变元 2、 B A?C 3、删除策略
4、图搜索 状态空间图（或状态图） 5、启发函数
6、极大极小分析法 ?-?剪枝技术 7、随机性 模糊性 不一致性 不确定性 8、纯文字 永真 类含
9、~CF（A） min{CF（A1），CF（A2）} max{CF（A1），CF（A2）} 10、或图 与或图 11、最一般合一
12、知识的运用 逻辑表示法（谓词表示法） 框架 产生式 AKO ISA 三、简答及应用题
1、定义谓词G(x)：x为整数
D(x,y)：x大于y 形式化为：
┐?x?G(x)??y?G(y)?D(x,y)??；或者?x?G(x)??y?G(y)?D(y,x)??
2、回答: α剪枝：若任一极小值层节点的β值小于或等于它任一先辈极大值节点的α值，即α（先辈层）≥β（后继层），则可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个β值。
β剪枝：若任一极大值层节点的α值大于或等于它任一先辈极小值层节点的β值，即α（后
继层）≥β（先辈层），则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个α值。 3、化子句集如下：