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

PAGE / NUMPAGES 安徽理工大学—学年第一学期人工智能试卷（） 试题部分： 一、选择题（小题，共分） . 人工智能产生于哪一年（　）。 . . . . .下列哪个不是人工智能的研究领域（ ） .　机器证明 .　模式识别 . 人工生命 . 编译原理 .神经网络研究属于下列（ ）学派 . 符号主义 . 连接主义 . 行为主义 . 都不是 .已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（ ） . 状态空间法 . 问题归约法 . 谓词逻辑法 . 语义网络法 .在公式中??())，存在量词是在全称量词的辖域内，我们允许所存在的可能依赖于值。令这种依赖关系明显地由函数所定义，它把每个值映射到存在的那个。这种函数叫做（ ） . 依赖函数 . 函数 . 决定函数 . 多元函数 .子句?和经过消解以后，得到（ ） . . . ? 、?（?）? 称为（ ），（?）??称为（ ） 结合律 .分配律 .吸收律 .摩根律 、.如果问题存在最优解，则下面几种搜索算法中，（ ）必然可以得到该最优解，（