(此文档为Word格式，下载后可以任意编辑修改！）试卷装订封面
一、填空：
1.人工智能的研究途径有心理模拟、生理模拟和行为模拟。
2.任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、
机器翻译。
3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归
纳技术、联想技术。
4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区
别是（10）。
5.谓词逻辑中，重言式（tautlogy）的值是真。
6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真
式。
7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，
则意味着无关，CF（A）=-1，则意味着假，CF（A）=1，则意味着真。
8.谓词公式G是不可满足的，当且仅当对所有的解释G都为假。
9.谓词公式与其子句集的关系是包含。
10.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。
11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）=┐P
∨P或┐Q∨Q。
12.若C1=P(x)∨Q(x)，C2=┐P(a)∨R(y)，则C1和C2的归结式R（C1，C2）
=（20）Q（a）∨R（y）
13.有谓词公式G，置换δ，则G·ε=（21），δ·ε=（22）。
14.有子句集S=｛P(x),P(y)｝，其MGU={y/x}。
15.在归结原理中，几种常见的归结策略并且具有完备性的是删除策略支
持集策略线性归结策略
16.状态图启发式搜索算法的特点是（27）。
17.广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先
搜索算法中，OPEN表的数据结构实际是一个单链表。
18.产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分
为正向推理和反向推理。
19.专家系统的结构包含人机界面、知识库，推理机，动态数据库，知
识库答理系统和解释模块。
20.在MYCIN推理中，对证据的可信度CF（A）、CF（A1）、CF（A2）之间，
规定如下关系：CF（~A）=~CF（A），CF（A1∧A2）=min{CF（A1），
CF（A2）}，CF（A1∨A2）=max{CF（A1），CF（A2）}。
21.开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表
示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框
架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有AKO和ISA
22.MYCIN系统中使用不确定推理，规则A→B由专家指定其可信度CF（B，
A），若A真支持B真，则指定CF（B，A）（与零比较）应（47）；
若A真不支持B真，则指定CF（B，A）应（48）。
23.机器学习的含义是指机器面对自行为的修正或性能的改善和机器对客观
规律和发展。
24.自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能
正确回答输入信息中的有关问题，而且还包括语法分析、语用分析、语句分析。
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.证据理论中集合A的信任区间为[1，1]，则其语意解释为（55）。
27.人工智能三大学派是符号主义、联结主义、行为主义
28.化成子句形式为：
。
29.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正
向推理
30.AI的英文缩写是ArtificalInteligence
31.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖
域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元
32.假言推理（A→B）∧AB，假言三段论（A→B）∧（B→C）A→C
33.几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入
归结策略、单元归结策略
34.在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核
心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为状态空间图（或状态图）
35.在启发式搜索当中，通常用启发函数来表示启发性信息。。
36.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种
方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了α-β剪枝技术
37.某产生式系统中的一条规则：A（x）→B（x），则前件是A（x），后
件是B（x）
38.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的
知识，而语义网络则适合表示一些复杂的关系和联系的知识。面
向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
39.不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。
40.在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有
永真式的子句;子句集中被别的子句类含的子句。对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）=-CF(A)、CF（A1∧A2）=min{CF(A1),CF(A2)}、CF（A1∨A2）=max{CF(A1),CF(A2)}
41.合一算法：求非空有限具有相同谓词名的原子公式集的最一般合一
42.产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行
的规则称为被触发规则。
43.P(B|A)表示在规则A→B中，证据A为真的作用下结论B为真的概
率。
44.常用的二种盲目搜索方法是_随机碰撞式搜索__和___完全式搜索______；引入
启发式知识来指导OPEN表中节点的排序可划分为二种方式__全局择优搜索和___局部择优搜索。
45.产生式系统的推理可以分为__正向推理___和_反向推理________两种基本方
46.知识表示的性能应从以下二个方面评价：_________和_________；后者又分二
个方面_________和_________。
47.人工智能的表现形式至少有________、________、________、________和
________几种。
48.目前所用的知识表示形式有____框架语义网络面向对象_等。
49.框架系统的特性继承功能可通过组合应用槽的三个侧面来灵活实现，它们是
_________、_________和_________。
50.产生式系统是由___综合数据库知识库___和_推理机________三部分组成
的.
51._________就是所考察判断的事物或对象的集合，记为____。它的子集构成
_________。
52.证据理论是经典概率论的一种扩充形式，构成这一理论的函数有__基本概念全
分函数_、_信任函数____和___似真函数______。
53.对于模糊不确定性，一般采用___模糊集合____或__模糊逻辑_____来刻划。
54.归结法中，可以通过----修改证明树-----的方法得到问题的解答。
55.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正
56.人工智能的远期目标是制造智能机器，，近期目标是实现机器智
能。
57.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。