人工智能考试作业

1.人工智能研究的基本内容有哪些？答：认知建模、机器感知、机器思维、机器学习、机器行为、智能系统与智能计算机。2.人工智能有哪些主要研究和应用领域？其中哪些是最新的研究热点？答：最主要的研究和应用领域有专家系统，机器学习、模式识别、自能语言理解、机器人学、计算机视觉、人工神经网络、分布式人工智能等。2.8设有如下语句，请用相应的谓词公式分别把他们表示出来：(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。解：定义谓词P(x)：x是人L(x,y)：x喜欢y中，y的个体域是{梅花，菊花}。将知识用谓词表示为：(x)(P(x)→L(x,梅花)∨L(x,菊花)∨L(x,梅花)∧L(x,菊花))(2)有人每天下午都去打篮球。解：定义谓词P(x)：x是人B(x)：x打篮球A(y)：y是下午将知识用谓词表示为：将知识用谓词表示为：(x)(y)(A(y)→B(x)∧P(x))(3)新型计算机速度又快，存储容量又大。解：定义谓词NC(x)：x是新型计算机F(x)：x速度快B(x)：x容量大将知识用谓词表示为：(x)(NC(x)→F(x)∧B(x))(4)不是每个计算机系的学生都喜欢在计算机上编程序解：定义谓词S(x)：x是计算机系学生L(x,pragramming)：x喜欢编程序U(x,computer)：x使用计算机将知识用谓词表示为：¬(x)(S(x)→L(x,pragramming)∧U(x,computer))(5)(凡是喜欢编程序的人都喜欢计算机。解：定义谓词P(x)：x是人L(x,y)：x喜欢y将知识用谓词表示为：(x)(P(x)∧L(x,pragramming)→L(x,computer))3.Y用谓词表示法表示机器人摞积木问题。设机器人有一只机器手，要处理的世界有一张桌子，桌子可堆放若干相同的积木块，机器手有四个操作继母的典型动作：从桌子上捡起一块积木；将手中的积木放到桌上；在积木上再摞上一块积木；从积木上面捡起一块积木。如图：4.解：(1)先定义描述状态的谓词5.CLEAR(x)：积木x上面是空的。6.ON(x,y)：积木x在积木y的上面。7.ONTABLE(x)：积木x在桌子上。8.HOLDING(x)：机械手抓住x。9.HANDEMPTY：机械手是空的。10.其中，x和y的个体域都是{A,B,C}。11.问题的初始状态是：12.ONTABLE(A)13.ONTABLE(B)14.ON(C,A)15.CLEAR(B)16.CLEAR(C)17.HANDEMPTY18.问题的目标状态是：19.ONTABLE(C)20.ON(B,C)21.ON(A,B)22.CLEAR(A)23.HANDEMPTY24.用谓词表示法表示农夫、狼、山羊、白菜问题。设农夫、狼、山羊、白菜全部在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。是规划出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。25.产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么相同于不同之处？26.试述产生式系统求解问题的基本过程。27.什么是推理？它有哪些分类方法？28.推理中的控制策略包括哪些方面的内容？主要解决哪些内容？29.设已知：30.（1）如果x是y的父亲，y是z的父亲，则x是z的祖父；（2）每一个人都是一个父亲。试用归结演绎推理证明：对于某人u,一定存在一个人v，v是u的祖父。31.假设张被盗，公安局派出5个人去调查。案情分析时，侦察员A说：“赵与钱中至少有一个人作案”，侦察员B说：“钱与孙中至少有一个人作案”；侦察员C说：“孙与李中至少有一个人作案”；侦察员D说：“赵与孙中至少有一个人与此案无关”；侦察员E说：“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。32.设已知：（1）能阅读的人是识字的；（2）海豚不识字；（3）有些海豚是很聪明的。请用归结演绎推理证明：有些很聪明的人并不识字。3.24设有如下一段知识：“张、王和李都是属于高山协会，该协会的每个成员不是滑雪运动员，就是登山运动员，其中不喜欢雨的运动员是登山运动员，不喜欢雪的运动员不是滑雪运动员，王讨厌李所喜欢的一切东西，而喜欢张所讨厌的一切东西，张喜欢雨和雪。”试用谓词公式集合表示这段知识，这些谓词公式要适合一个逆向的基于规则的演绎系统。试说明这样一个系统怎样才能回答如下问题：高山俱乐部中有没有一个成员，他是一个登山运动员，但不是一个滑雪运动员。“4.5有一农夫带一条狼，一只羊和一筐菜欲从河的左岸乘船到右岸，但受下列条件限制：（1）船太小，农夫每次只能带一样东西过河；（2）如果没有农夫看管，则狼要吃羊，羊要吃菜。请设计一个过河方案，使得农夫、狼、羊都能不受损失地过河，画出相应的状态空间图。