安徽理工大学2005—2006学年第一学期人工智能试卷（A）.docVIP

安徽理工大学2005—2006学年第一学期人工智能试卷（A） 试题部分： 一、选择题（15小题，共15分） 1. 人工智能产生于哪一年（　）。 A. 1957 B. 1962 C. 1956 D. 1979 2.下列哪个不是人工智能的研究领域（ ） A.　机器证明 B.　模式识别 C. 人工生命 D. 编译原理 3.神经网络研究属于下列（ ）学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是 4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（ ） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法 D. 语义网络法 5.在公式中(y(xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ） A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数 6.子句~P(Q和P经过消解以后，得到（ ） A. P B. Q C. ~P P(Q 7、8.A(（A(B）(A 称为（ ）