2015人工智能作业.docx

《2015人工智能作业.docx》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1.用语义网络表示知识 北京大学和清华大学篮球队在北大进行了一场比赛的比分是（80，90）2.用语义网络表示下列知识。猪和羊都是动物。猪和羊都是偶蹄动物和哺乳动物。野猪是猪，但生长在森林中。山羊是羊，且头上有角。3.对三枚钱币给出产生式系统描述及状态空间图。设有三枚钱币，其排列处在“正、正、反”状态，现允许每次可翻动其中任意一个硬币，问只许操作三次的情况下，如何翻动钱币使其变成“正、正、正”或“反、反、反”状态。4.有一农夫带一条狼，一只羊和一筐菜从河的左岸乘船到右岸，但受下列条件限制：（1）船太小，农夫每次只能带一样东西过河；（2）如果没有农夫看管，则狼要吃羊，羊要吃菜。

2、请设计一个过河方案，使得农夫、狼、羊都能不受损失地过河，画出相应的状态空间图。提示：①用四元组（农夫，狼，羊，菜）表示状态，其中每个元素都为0或1，用0表示在左岸，用1表示在右岸。②把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。5.什么是搜索？有哪两大类不同的搜索方法？两者的区别是什么？6.在图搜索过程中，Open表与Closed表的作用与区别是什么？7.在图搜索过程中，重排OPEN表意味着什么？重拍的原则是什么？8.证明OPEN表上具有f（n）〈f*（s）的任何节点n，最终都将被A*选择去扩展。9.A*算法与A算法的区别是什么？A*算法的可采

3、纳性是否就意味着单调性？10.什么是可解节点？什么是不可解节点？11.数字重写问题的变换规则如下：6→3，34→3，16→4，23→2，14→2，22→1，1问如何用这些规则把数字6变换成一个由若干个1组成的数字串。试用算法AO*进行求解，并给出搜索图。求解时设k-连接符的耗散值是k各单位，h函数值规定为：h(1)=0,h(n)=n12.余一棋的弈法如下：两棋手可以从5个钱堆中轮流拿走一个，两个获三个钱币，拣起最后一个钱币算输。试通过博弈证明，后走的选手必胜，并给出一个简单的特征标记来表示取胜策略。1.用一个9维向量C来表示一字棋棋盘的格局，其分量根据相应格内的×，空或○的

4、标记分别用+1，0，或-1来表示。试规定另一个9维向量W，使得点积C﹒W可作为MAX选手（棋子标记为×）估计非终端位置的一个有效的评价函数。用这个评价函数来完成几步极小-极大搜索，并分析该评价函数的效果。2.什么是谓词公式的可满足性？什么是谓词公式的不可满足性？3.什么是谓词公式的前束范式？什么是谓词公式的Skolem范式？4.什么是置换？什么是合一？什么是最一般合一？5.判断下列公式是否为可合一，若可合一，则求出其最一般合一。(1)P(a,b),P(x,y)(2)P(f(x),b),P(y,z)6.将下列公式转换成子句xyz(ABOVE(x,y)ABOVE(x,z)→AB

5、OVE(x,z))~{("x){P(x)→{("y)[P(y)→P(f(x，y))]∧~("y)[q(x，y)→P(y)]]}}7.将下列公式转换成正向推导系统要求的事实表达式，并画出与或图。~{("x){P(x)→{("y)[P(y)→P(f(x，y))]∧~("y)[q(x，y)→P(y)]]}}8.将将下列公式转换成反向推导系统要求的目标表达式，并画出与或图。~{("x){P(x)→{("y)[P(y)→P(f(x，y))]∧~("y)[q(x，y)→P(y)]]}}9.已知下列前提：(x)(B(x)~Q(x)→(y)(S(x,y)C(y)))(x)(P(x)B(x)

6、(y)(S(x,y)P(y)))(x)(P(x)~Q(x))用归结反演系统求证：(x)(P(x)C(x))提示：用支持集或单元优先策略10.设已知：⑴如果x是y的父亲，y是z的父亲，则x是z的父亲；⑵每个人都有一个父亲。试用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。1.积木世界问题一个积木世界的状态由下列公式集描述：ONTABLE（A），CLEAR（E），ONTABLE（C），CLEAR（D）ON（D，C），HEAVY（D），ON（B，A），WOODEN（B）HEAVY（B），ON（E，B）给出这些公式打算要描述这个状态的草图。下列语句提供了积木世界的一

7、般知识：每个大的兰色积木块是在一个绿色积木块上。每个重的木制积木块是大的。所有顶上没有东西的积木块都是兰色的。所有木制积木块都是兰色的。以具有单文字后项的蕴涵式的集合表示这些语句。绘出能求解“哪个积木块是在绿色积木块上”这个问题的一致与或解图。2.已知下列前提：规则1：任何人的兄弟不是女性。可表示成：(brother(x,y)→~woman(x))规则2：任何人的姐妹必是女性。事实：MARY是BILL的姐妹。可表示成:Sister(MARY,BILL)用归结推理方法求证：MARY不是TOM的兄弟。3.设已知事实为（