资源描述：
1、人工智能是何时、何地诞生的？答：人工智能是1956年，在美国的达特茅斯大学有十多位数学家、心理学家和信息论方面的专家参加的，关于利用计算机模拟人类只能行为的学术会议。大会由麦卡锡（M.MaCarthy）教授正式提出“人工智能”这一术语。2、人工智能主要有哪些研究领域？答：人工智能主要有机器学习、专家系统和自然语言处理等方面。3、人工智能程序与通常意义下的程序比较具有哪些特点？答：以符号表示的知识而不是数值数据；采用启发式推理方法而不是常规的算法；控制结构与领域知识是分离的；允许出现不正确的答案。4、|在人工智能中，通常知识表示的方法有哪些？答：基于逻辑谓词逻辑表示法、产生式系统表示法、语义网络表示法、框架表示法、过程表示法等。5、开发专家系统需要解决哪三个基本问题？答：知识获取、知识表示和知识推理。6、语义网络是用何方法表示的【节点1，有向弧，节点2】三元式连接而成的？答：有向图，其中节点表示事物、概念、事件或情况等；弧表示节点间的语义关系。7、在语义网络中，为了表示节点间属性的继承推理，规定了两个约定俗成的链，命名为ISA和AKO，用来表明类和子类、类和个体之间的关系。8、请用框架系统描述学生框架|、教师框架之间的师生框架答：FrameName:Unit(Lastname,Firstname)Sex:area(male,female)Default:maleAge:Unit(years)If-needed:ask-ageTeacher-student:FrameName:Unit(Lastname,Firstname)Sex:area(male,female)Default:maleAge:Unit(years)If-needed:ask-ag|eMajor:Unit(major)Project:area(nation,provincial,other)Student:
19、给出符号微积分基本公式的产生式表示答：微积分基本公式（牛顿-莱布尼兹公式）：如果函数是连续函数在上的一个原函数，则。由于又可以记成，因此产生式可以表示成如下两种。（1）如果函数是连续函数在上的一个原函数，那么（2）如果函数是连续函数在上的一个原函数，那么10用合适的方法表述Hanoi塔问题。在Ａ针上串有若干个金片，小金片在大金片上面。现要求将Ａ针的金片全|部移到Ｂ针上。移动操作要遵守下列规则：（1）一次只能搬一个金片；（2）不能将大金片放在小金片上；（3）可以利用C针答：可以采用与/或树表示法。设有编号分别为1、2、3的三个金片，1号比2号小，2号比三号小，有A、B、C三针，如题要把A针上的金片全部搬到B针上。第一步：设三元组（i,j,k）表示问题的任一状态，用→表示状态的转化。i代表3号金片所在的针，j代表2号金片所在的针，k代表1号金片所在的针。则原问题可以表述为（A,A,A）→（B，B，B）第二步：利用归约的方法，原问题可以分解为以下三个子问题。（|1）（A，A，A）→（A，C，C）（2）（A，C，C）→（B，C，C）（3）（B，C，C）→（B，B，B）其中（1）又可以归结为（A，A，A）→（A，A，B）；（A，A，B）→（A，C，B）；（A，C，B）→（A，C，C）（1）也可以归结为：（B，C，C）→（B，C，A）；（B，C，A）→（B，B，A）；（B，B，A）→（B，B，B）
2（A,A,A）→（B，B，B）第三步：构造与/或树如图所示，在与/或树上，有7个本原问题，把这些本原问题从左到右排列后就得到原始问题的解。它们是：（A,A,A）→（A,|A,B），（A,A,B）→（A,C,B），（A,C,B）→（A,C,C），（A,C,C）→（B,C,C），（B,C,C）→（B,C,A），（B,C,A）→（B,B,A），（B,B,A）→（B，B，B）。共计7步。（A,A,A）→（A,C,C）（B,B,A）→（B，B，B）（B,C,A）→（B,B,A）（A,C,B）→（A,C,C）（B,C,C）→（B,C,A）（A,A,B）→（A,C,B）（A,A,A）→（A,A,B）（B,C,C）→（B,B,B）（A,C,C）→（B,C,C）
311、任何通过计算机考|试并获奖的人都是快乐的，任何学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。求证：张是快乐的。答：定义谓词：任何通过计算机考试并获奖的人都是快乐的 任何学习或幸运的人都可以通过所有考试张不肯学习但他是幸运的任何幸运的人都能获奖 目标：“张是快乐的”否定将上述谓词公式转化为字句集①②③④⑤⑥⑦按谓词逻辑的归结原理对此字句集进行归结，其归结如下：⑤和③归结：……….⑧①和⑧归结：………⑨⑤和⑥归结：……..⑩⑨和⑩归结：……….⑾⑦和⑾归结：NIL这样：证明张是快乐的
4|12、鲁滨逊归结原理是什么及基本思想答：鲁滨逊归结的原理是通过对字句集中的字句做多次的归结产生空字句，从而证明字句集的不可满足性，从而结果得以证明。其基本思想：首先把欲证明问题的结论否定，并加入字句集，得到一个扩充的字句集。然后设法检验该字句集中是否含有空子句，若没有空字句，则继续使用归结法，制动推导出空字句为止。13、对字句集分别用线性输入策略证明该子聚集的不可满足性答：线性输入策略：指的是每次参与归结的两个亲本字句，至少有一个是初始子聚集中的字句。14、已知：张和李时同班同学，如果和是同班同学，则的|教室也是的教室，现在张在302教室。问：现在李在哪个教室上课？（请用归结反演树求解问题的答案）。答：一般归结反演树即采用证明树的方式进行首先对目标用重言式表示。在反复归结，最终求解出问题的答案。（1）首先定义谓词C(x,y):x是y的同班同学At(x,u):x在u教室上课（2）将已知前提采用谓词公式表示C(zhang,li)（3）将目标用重言式表示：目标否定（1）证明树
5（4）该证明树的根字句即为所求的答案：李在302教室
