C)Automatice Information D）Artifical Information

15、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

A）永真式B)包孕式（subsumed）C）空子句

16、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是

A）正向推理B)反向推理C)双向推理

17、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。

A）无悖性B)可扩充性C）继承性

18、（A→B)∧A=〉B是

A）附加律B）拒收律C）假言推理D)US

19、命题是可以判断真假的

A)祈使句B)疑问句C)感叹句D)陈述句

20、仅个体变元被量化的谓词称为

A）一阶谓词B)原子公式C)二阶谓词D)全称量词

21、MGU是

A)最一般合一B)最一般替换C)最一般谓词D)基替换

22、1997年５月，著名的“人机大战”，最终计算机以3.5比2。5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）

A）深蓝B）IBM C）深思D）蓝天

23、下列不在人工智能系统的知识包含的4个要素中

A)事实B)规则C）控制和元知识D)关系

24、谓词逻辑下，子句，C1=L∨C1‘,C2=¬L∨C2‘，若σ是互补文字的（最一般）合一置换，则其归结式C=（）

A)C1’σ∨C2’σB）C1’∨C2’C)C1’σ∧C2'σD)C1’∧C2’

25、或图通常称为

A）框架网络B)语义图C)博亦图D)状态图

26、不属于人工智能的学派是

A）符号主义B）机会主义C）行为主义D）连接主义。

27、人工智能是一门

A）数学和生理学B）心理学和生理学C)语言学

D）综合性的交叉学科和边缘学科

28、下列不在人工智能系统的知识包含的4个要素中

A)事实B)规则C）控制D）关系

29、当前归结式是(）时，则定理得证。

A)永真式B包孕式（subsumed）C）空子句

30、或图通常称为

A）框架网络B)语义图C）博亦图D）状态图

31、所谓不确定性推理就是从()的初始证据出发，通过运用（)的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。

A）不确定性,不确定性B)确定性，确定性

C)确定性，不确定性D）不确定性确定性

32、C(B｜A)表示在规则A-〉B中,证据A为真的作用下结论B为真的

A)可信度B）信度C）信任增长度D)概率

33.谓词逻辑下，子句,C1=L∨C1‘,C2=¬L∨C2‘，若σ是互补文字的（最一般)合一置换，则其归结式C=（）