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

第 4 页
共 5 页
科目名称：人工智能及应用
六、综合应用题 1．设有三个电源开关一字排开，电源开关的特点是，若第一次按下时它为“开” ，则第二次按下 时它就变成了“关” 。设三个电源开关初始状态为“关、开、关” ，问连按三次后是否出现“开、开、 开”或“关、关、关”的状态？要求每次必须按下一个开关，而且只能按一个开关。请画出状态空间 图。 2．下图是 5 个城市的交通图，城市之间的连线旁边的数字是城市之间路程的费用。要求从 A 城出发， 经过其它各城市一次且仅一次，最后回到 A 城，请画出状态空间搜索图，并找出一条最优线路。
第五章: 1.文字,互补文字;纯文字; 2.子句,求一个命题逻辑公式的子句集,求一个谓词逻辑的子句集,求一个命题(有前提和结论)的子句 集; 3.求一个公式在一个替换下的例;求两个公式之间的所有差异集;求一个公式集的最一般合一. 4.判断一个子句集是否不可满足; 5.命题逻辑中的归结原理; 谓词逻辑中的归结原理,有归结原理进行推理. 6.Horn 子句归结方法; 7.课本后面所有的习题.
科目名称：人工智能及应用 city(4,"Nanjing"). print_city:-city(N,X),write(X), nl, fail. print_city. goal print_city. 程序输出结果为： 3.给出以下目标、事实和规则，请补充成一个完整的可运行的 Prolog 语言程序： 程序的目标是： friend(john,Y).
一、填空题 1、文字 P（X）与文字 互补。 2、产生式系统由产生式规则库、动态数据库和 三部分组成。 3、已知表：[[a,b],[c],[d,e]]，则表头是： ，表尾是： 4、设谓词公式：G= xyz (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=（PQ）（PR）（QS）的子句集为： 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 页 共 5 页
科目名称：人工智能及应用 复习提纲: 第二章: 1.一个表的表头和表尾的求法; 2.ProloHale Waihona Puke Baidu 程序的基本构成部分:给出几个部分,能够通过添加补充成一个完整的可运行的程序; 3. Prolog 程序的基本运行过程; 4. Prolog 程序的中关于循环控制的实现方法: 读程序,写出程序结果.
第三章: 1.搜索算法中,OPEN 表和 CLOSE 表的作用; 2.掌握画出问题的状态空间搜索图(不断扩展节点的方法),并给出解路径. 3. 按和代价法及最大代价法求解树的代价.
事实：likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). 规则：friend(john,X):- likes(X,sports),likes(X,music). friend(john,X):- likes(X,reading),likes(X,music). 4.写出下面 Prolog 程序的输出结果： domains num=integer s=symbol predicates name(s,num) result clauses name ("bell",1). name ("jane",2). name ("smith",3). name ("mary",4). result:- name (X,Num),write(X), nl, Num=3. result. goal result. 程序输出结果为：
是一个纯文
科目名称：人工智能及应用 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"). 第 3 页 共 5 页
3.设有如图的与或树，请分别按和代价法及最大代价法求解树的代价。 5 B 7 D 2 t1 2 E 3 t2 2 t3 A 6 C 1 t4
第 5 页
共 5 页
第六章: 1.产生式系统的三个组成部分; 2.推理机的正向推理基本过程; 3.产生式系统常推理方法; 4.产生式系统常用的产生式规则冲突消解策略.
第七章: 知识表示: 1.常见事物之间 8 种关系的语义网络表示方法; 第 1 页 共 5 页
科目名称：人工智能及应用 2.用语义网络表示命题.(习题七:4,5 题)