（3）如果录取B，则一定录取C。

求证：公司一定录取C。

12、用语义网络表示下列命题

（1)树和草都是植物

（2）树和草都有根和叶

（3）水草是草，它长在水中

（4）果树是树，会结果

（5）苹果树结苹果

一、选择题(每题1分，共15分）

1、人工智能是一门

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

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

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

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

3、(A-〉B）∧A=>B是

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

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

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

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

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

6、MGU是

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

最一般合一

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

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

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

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

9、或图通常称为

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

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

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

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

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

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

12。要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善,这门研究分支学科叫(）。

A）专家系统B)机器学习C）神经网络D)模式识别

13、下列哪部分不是专家系统的组成部分（）

A.）用户B)综合数据库C）推理机D)知识库

14、产生式系统的推理不包括(）

A）正向推理B）逆向推理C）双向推理D)简单推理