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

二、简答题

1.将下列自然语言转化为谓词表示形式:

(1)所有的人都是要呼吸的。

(2)每个学生都要参加考试。

(3)任何整数或是正的或是负的.

2。何谓“图灵实验"？简单描述之

3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：

（1）深度优先搜索；（2）广度优先搜索

4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业(计算机、电子、自动化、……)、职称（助教、讲师、副教授、教授）

5.用谓词逻辑形式化下列描述“不存在最大的整数”

6.用语义网络表示“苹果”知识。

7.什么是产生式？产生式规则的语义是什么？

8。谓词公式G通过８个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。9。（1)已知S=｛P(f（x），y,g（y))，P(f(x),z，g（x））｝，求MGU

（2)已知W={P（f(x,g（A，y)）,z)，P（f（x，z)，z）｝,求MGU

10。(1）证明G是否是F的逻辑结论；

（2)证明G是否是F1、F2的逻辑结论；

11.1、用语义网络表示下列信息：

（1）胡途是思源公司的经理，他35岁，住在飞天胡同68号

（2)清华大学与北京大学进行蓝球比赛，最后以89:102的比分结束。

(3）将命题:“某个学生读过三国演义”分别用谓词公式和语义网络表示

（4）把语句“每个学生都喜欢老师上的一门课.”表示为语义网络。

（5)请把下列命题表示的事实用一个语义网络表示出来。

1）树和草都是植物；

2)树和草都是有根有叶的；

3)水草是草,且长在水中；

4)果树是树，且会结果；

5)樱桃树是一种果树，它结樱桃.

（6）用语义网络表示下列事实

姚明是一位年近半百的男教师，中等身材，他在本学年第二学期给计算机专业学生讲授“人工智能”课程。该课程是一门选修课，比较难。

13。图示博弈树，其中末一行的数字为假设的估值，请利用α—β剪枝技术剪去不必要的分枝。（在节点及边上直接加注释)

14.设有如下关系：(1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；

（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系?

15解释下列模糊性知识：

1)张三，体型，（胖,0.9））。

2)(患者，症状，（头疼，0。95))∧（患者，症状,(发烧，1.1）)→（患者，疾病，(感冒，1.2))

16。简单阐述产生式系统的组成。

17.试用线性消解策略证明：子句集S={P∨Q，﹁P∨R,﹁Q∨R，﹁R}是可消解的。