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

科目名称：人工智能及应用第1页共5页复习提纲:第二章: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页共5页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的逻辑结果。科目名称：人工智能及应用第3页共5页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程序的输出结果：predicatescity(integer,symbol)print_cityclausescity(1,Guangzhou).city(2,Shanghai).city(3,Beijing).city(4,Nanjing).print_city:-city(N,X),write(X),nl,N=3.print_city.goalprint_city.程序输出结果为：2、写出下面Prolog程序的输出结果：predicatescity(integer,symbol)print_cityclausescity(1,Guangzhou).city(2,Shanghai).city(3,Beijing).科目名称：人工智能及应用第4页共5页city(4,Nanjing).print_city:-city(N,X),write(X),nl,fail.print_city.goalprint_city.程序输出结果为：3.给出以下目标、事实和规则，请补充成一个完整的可运行的Prolog语言程序：程序的目标是：friend(john,Y).事实：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程序的输出结果：domainsnum=integers=symbolpredicatesname(s,num)resultclausesname(bell,1).name(jane,2).name(smith,3).name(mary,4).result:-name(X,Num),write(X),nl,Num=3.result.goalresult.程序输出结果为：科目名称：人工智能及应用第5页共5页六、综合应用题1．设有三个电源开关一字排开，电源开关的特点是，若第一次按下时它为“开”，则第二次按下时它就变成了“关”。设三个电源开关初始状态为“关、开、关”，问连按三次后是否出现“开、开、开”或“关、关、关”的状态？要求每次必须按下一个开关，而且只能按一个开关。请画出状态空间图。2．下图是5个城市的交通图，城市之间的连线旁边的数字是城市之间路程的费用。要求从A城出发，经过其它各城市一次且仅一次，最后回到A城，请画出状态空间搜索图，并找出一条最优线路。3.设有如图的与或树，请分别按和代价法及最大代价法求解树的代价。ABCDt2t3t4t156217223E