人工智能复习题及答案.doc

. .
. v 产生式系统中的一条规那么：A〔x〕®B〔x〕，那么前件是 ，后件是。
，适合于表示构造性强的知识，而那么适合表示一些复杂的关系和联系的知识。不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
不确定性类型按性质分：，，，。
在删除策略归结的过程中删除以下子句：含有的子句;含有的子句；子句集中被别的子句的子句。
对证据的可信度CF〔A〕、CF〔A1〕、CF〔A2〕之间，规定如下关系：CF〔~A〕=、CF〔A1∧A2 〕=、CF〔A1∨A2 〕=
合一算法：求非空有限具有一样谓词名的原子公式集的
产生式系统的推理过程中，从可触发规那么中选择一个规那么来执行，被执行的规那么称为。
P(B|A) 表示在规那么中，证据A为真的作用下结论B为真的。
人工智能的远期目标是，近期目标是。
常用的二种盲目搜索方法是_________和_________；引入启发式知识来指导OPEN表中节点的排序可划分为二种方式_________和_________。
产生式系统的推理可以分为_________和_________两种根本方式。
知识表示的性能应从以下二个方面评价：_________和_________；后者又分二个方面_________和 _________。
人工智能的表现形式至少有_______、_______、_______、_______和______几种。
目前所用的知识表示形式有_________、_________、________、_________等。
框架系统的特性继承功能可通过组合应用槽的三个侧面来灵活实现，它们是_________、_________和_________。
产生式系统是由_________、_________和_________三局部组成的。
________就是所考察判断的事物或对象的集合，记为____。它的子集构成______。
证据理论是经典概率论的一种扩大形式，构成这一理论的函数有_________、_________和_________。
. .
. v .
对于模糊不确定性，一般采用_______或_______来刻划。
归结法中，可以通过---------的方法得到问题的解答。
化成子句形式为：。
，通过规那么库求得结论的产生式系统的推理方式是。
谓词逻辑中，重言式〔tautlogy〕的值是。
利用归结原理证明定理时，假设得到的归结式为，那么结论成立。
在启发式搜索当中，通常用来表示启发性信息。
二、选择题
选择题：〔13小题，共13分〕
，并且同时提出一个机器智能的测试模型，请问这个科学家是〔　〕。
A. 明斯基
B. 扎德
C. 图灵
D. .诺依曼
〔 〕
A.　机器证明
B.　模式识别
C. 人工生命
D. 编译原理
〔 〕学派
A. 符号主义
B. 连接主义
C. 行为主义
D. 都不是
，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫〔 〕
A. 状态空间法
B. 问题归约法
C. 谓词逻辑法
D. 语义网络法
"y$xp(x,y))，存在量词是在全称量词的辖域，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做〔 〕
A. 依赖函数
B. Skolem函数
C. 决定函数
D. 多元函数
. .
. v .