13本四班-人工智能复习提纲

复习提纲:

第二章:

1.一个表的表头和表尾的求法;

2.Prolog程序的基本构成部分:给出几个部分,能够通过添加补充成一个完整的可运行的程序;

3. Prolog程序的基本运行过程;

4. Prolog程序的中关于循环控制的实现方法: 读程序,写出程序结果.

第三章:

1.搜索算法中,OPEN表和CLOSE表的作用;

2.掌握画出问题的状态空间搜索图(不断扩展节点的方法),并给出解路径.

3.按和代价法及最大代价法求解树的代价.

第五章:

1.文字,互补文字;纯文字;

2.子句,求一个命题逻辑公式的子句集,求一个谓词逻辑的子句集,求一个命题(有前提和结论)的子句集;

3.求一个公式在一个替换下的例;求两个公式之间的所有差异集;求一个公式集的最一般合一.

4.判断一个子句集是否不可满足;

5.命题逻辑中的归结原理; 谓词逻辑中的归结原理,有归结原理进行推理.

6.Horn子句归结方法;

7.课本后面所有的习题.

第六章:

1.产生式系统的三个组成部分;

2.推理机的正向推理基本过程;

3.产生式系统常推理方法;

4.产生式系统常用的产生式规则冲突消解策略.

第七章:

知识表示: 1.常见事物之间8种关系的语义网络表示方法;

2.用语义网络表示命题.(习题七:4,5题)

一、填空题

1、文字P（X）与文字互补。

2、产生式系统由产生式规则库、动态数据库和三部分组成。

3、已知表：[[a,b],[c],[d,e]]，则表头是：，表尾是：

4、设谓词公式：G= ∃x∀y∀z (P(x,y,z)∧⌝Q(x,y,z))，则G的子句集为：

5、命题“不是每个计算机系的学生都喜欢计算机程序设计语言”，用谓词公式表达为：

6、公式G=P(x,y,z),θ={a/x,b/y,f(c)/z}是一个替换,则G在θ下的例为:

7、设S={P(x,y,z), p(x,f(a),h(b))}，则S的所有差异集为：

8、产生式系统由产生式规则库、推理机和三部分组成。

9、表[[a,b],[c],[d,e]]的表尾为：

10、谓词公式G=（P∨Q）∧（P→R）∧（Q→S）的子句集为：

11、在状态图搜索算法中，数据结构OPEN表的作用是：

12、子句集{p(x)∨ Q(x,y) ∨R(x), ⌝p(a) ∨Q(u,v), ⌝Q(b,z), ⌝P(w)}中，文字是一个纯文字。

13、有以下程序：

p(b).

p(a).

q(b).

r(X):-p(X),q(X),!.

则对于目标：r(Y). Y的解为：Y=

二、把以下命题用语义网络表达出来:

(1) 高老师7月给计算机系学生讲《计算机网络》课。

(2) 红队与蓝队进行足球比赛，最后以3：2的比分结束。

(3) 王老师6月给网络工程系学生讲《操作系统》课程。

(4) 下列语句请用一个语义网络表示:

（1）树和草都是植物；

（2）树和草都是有根有叶的；

（3）水草是草，且长在水中.

三、判断解答题（每小题6分，共12分）

1.判断下列谓词公式集是否为可合一，若可合一，则求出其最一般合一：

S={ P(f(x), f(b)), P(x,y) }

2.判断下列子句集是否是不可满足的，给出判断过程：

S= { P∨Q , ¬P∨Q, P∨¬Q,¬P∨¬Q }

四、证明题

1．用归结原理证明R是P，（P∧Q）→R，（S∨U）→Q，U的逻辑结果。

2．试用Horn子句归结法，证明P(a,c)是子句集{(1),(2),(3),(4)}的逻辑结论.

(1)P(x,z)←P1(x,y),P2(y,z)

(2)P1(u,v) ←P11(u,v)

(3)P11(a,b) ←

(4)P2(b,c) ←

(5) ←P(a,c)

3.计算机科学系要招聘一名教师，有A，B，C三人前来应聘，经面试后，计算机系表示如下想法：

①如果录用B，则一定录用C；

②如果录用A而不录用B，则一定录用C；

③三人中至少录用一人。

请分别利用以下方法证明：C一定被录用。

（1）利用归结原理证明；（9分）

（2）利用Horn子句归结法证明。（9分）

4.假设张被盗，公安局派出5个人去调查。案情分析时，侦察员A说：“赵与钱中至少有一个人作案”，侦察员B说：“钱与孙中至少有一个人作案”，侦察员C说：“孙与李中至少有一个人作案”，侦察员D 说：“赵与孙中至少有一个人与此案无关”，侦察员E说：“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。

五、程序分析题（每小题6分，共12分）。

1、写出下面Prolog程序的输出结果：

predicates

city(integer,symbol)

print_city

clauses

city(1,"Guangzhou").

city(2,"Shanghai").

city(3,"Beijing").

city(4,"Nanjing").

print_city:-city(N,X),write(X), nl, N=3.

print_city.

goal

print_city.

程序输出结果为：

2、写出下面Prolog程序的输出结果：

predicates

city(integer,symbol)

print_city

clauses

city(1,"Guangzhou").

city(2,"Shanghai").

city(3,"Beijing").