-1设有如下关系：(1) 如果*是Y父亲，Y又是Z的父亲，则*是Z的祖父。2老是大的父亲。3.大是小的父亲。4问：上述人员中谁和谁是祖关系。1 引入谓词P(*,y):表示*是y的父亲；Q(*,y):表示*是y的祖父于是有：A1: (*)(y)(z)P(*,y) (P(y,z)Q(*,z)SA1: P(*,y)P(y,z) Q(*,z)A2: P(Lao, Da)SA2 : P(Lao, Da)A3: P(Da, *iao)SA3 : P(Da, *iao)B: (*)(y)Q(*,y)SB: Q(*,y)ANS(*,y)变量换名后，相应的子句集如下：SP(*,y)P(y,z) Q(*,z), P(Lao, Da), P(Da, *iao), Q(u,v)ANS(u,v)下面进展归结：(1) P(*,y)P(y,z) Q(*,z)(2) P(Lao, Da)(3) P(Da, *iao)(4) Q(u,v)ANS(u,v)(5) P(Da, z)Q(Lao,z) (6) Q(Lao,*iao) (7) ANS(Lao, *iao) /(1) (2) 归结, Lao/*,Da/y (3) (5)归结,*iao/z (4) (6)归结,Lao/u, *iao/v得到结果：ANS(Lao, *iao), 即老是小的祖父。2证明梯形的对角线与上下底构成的错角相等。解：设已给梯形的顶点依次为a ,b ,c ,d 。引入谓词T(* ,y,u,v)表示以*y为上底，uv为下底的梯形。P(*,y,u,v)表示* yu vE(* ,y ,z,u ,v ,w)表*yz=uvw归结(1)T*,y,u,vP(*,y,u,v) 由TP推出的(2)P(*,y,u,v)E(*,y,v,u,v,y) 由PE推出的(3)Ta,b,c,d(4)E(a,b,d,c,d,b)(5) P(a,b,c,d) 6P(a,b,c,d) 7NIL /(1) (3) 归结(2) (4)归结 5) (6)归结证明A1A2G由题意可知：首先要将公式化作SKOLEM标准型：结果为：S1=P(*)Q(*), P(*)R(*);S2=P(a)S(a);SG=S(*)R(*) ;从而得到子句集：SP(*)Q(*), P(*)R(*), P(a),S(a), S(*)R(*)使用归结规则建立推理过程：1P(*)Q(*)2P(*)R(*)3P(a)4S(a)5S(*)R(*)6Ra7Ra8NIL /23归结45归结67归结故命题得证。4、任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可通过所有考试，三不肯学习但他是幸运的，任何幸运的人都能获奖。4证明学生是否快乐的问题：(1).任何通过计算机考试得并获奖得人都是快乐的： 由于得到的子句集为空子句集，这就证明了三是快乐的结论。 （1） (*)(PASS(*.puter)WIN(*.award)ENJOYMENT(*)设但凡清洁的东西就有人喜欢；2人们都不喜欢苍蝇。用(2).任何肯学习或幸运的人都可以通过考试归纳法证，苍蝇不清洁证：引入谓词( 解：clear(*)表示清洁的东西like(*,y)表示喜欢于是(3)三不肯学习但他是幸运的：A1: (*) (y)(clear(*)like(y,*)SA1: clear(*)like(y,*) A2: (*) (like(*, fly)(4)任何幸运得人都能获奖：SA2 : like(*, fly) B: clear(fly) SB: clear(fly)先将上述谓词转化为Skolem式，利用量词消去规则并改名，对结论进展否认后得如下子句集： PASS*,puter 由1得变量换名后，相应的子句集如下： Sclear(*)like(y,*), like(z, fly), clear(fly) STUDY(y)PASS(y,z) 下面进展归结：(1) clear(*)like(y,*)(2) like(z, fly)(3) clear(fly) LUCKY(u)PASS(u,v) 由2得(4) like(y,fly) (1) (3) 归结, fly/*,(5) NIL (2) (4)归结,z/y STUDY(zhangsan) LUCKY(zhangsan) 由3得 LUCKY(w)WIN(w,award) 由4得 ENJOYMENT(zhangsan) 此句为结论的否认下面对上述子句集，再利用反演树对消减的过程进展描述，如图47所示。PASS*,puterLUCKY(w)WIN(w,award)PASSw,puter ENJOYMENT(w) LUCKY(w) ENJOYMENT(zhangsan) PASSzhangsan,puterLUCKY(zhangsan) LUCKY(zhangsan)PASSzhangsan,puter LUCKY(u) PASSu,vLUCKY(zhangsan) LUCKY(zhangsan)null图47 学生快乐问题消解反演树u 词汇表1. 1人工智能是计算机科学的一个分支，是研究和解释模拟人类智能和智能行为的学科。2.子句子句集逻辑公式，是一些文字的析取子句的集合。3.专家系统是人工智能系统的典型代表，一般由知识库、推理机组成，已有广泛应用。4.不确定性推理知识的不准确性模糊性随机性统称为不确定性，在不确定意义下的推理为不确定推理。5.反演采用证明AB的不可满足性来证明A B，是一种反演反驳证明法。6.可满足性指一个逻辑公式，假设在*个解释下取值为真，便说这个公式是可满足的。7.归纳是一种由实例得出一般性结论的推理。8.归结是定理证明的一种方法。 9.句法分析对自然语言句子的一种分析方法，采用句法规则来作句子分析，并给出句子的构造。10.产生式系统是一种以产生式表示知识的专家系统，是最常用的一种专家系统。11.自然语言处理是人工智能研究的一个领域，使用机器来对自然语言文本来进展词、语法、语义分析，以便答复以下问题，作文摘，机器翻译等。12.合一对两个原子谓词，通过变量置换而合一化的过程。13.合取式对一个谓词公式，通过等值演算化成如() () ()形式，称原公式的合取式。14.过程性知识是一种表示和求解为一体的知识表示类型。15.完备性如归结法是完备的，指凡一阶逻辑的定理，均可用归结法来证明。16.启发式搜索是一种试探性的、不准确的、模糊的依于经历知识的搜索方法，常能明显化简问题求解的复杂性17.述性知识是一种表示和求解别离的知识表示类型。18.知识表示是知识存储于计算机中的一种数据构造，同时强调使用方法。19.定理证明指的是给一种机械化算法来让计算机自动证明定理。20.规则一种形式为 如果A则B的语句为规则，专家系统过使用规则进展推理，即假设条件A成立，使用这条规则便可推得出B。非单调推理 一种非标准逻辑下的推理方法，随知识的增加原有结论不一定随之增加，甚至会减少，就是非单调推理要研究的容。 21.知识获取从书本、专家等信息源寻求有用的知识便是知识获取，是知识工程的三大任务(知识获取、知识表示和知识利用)之一。22.语义网络一种用有向图来表示知识的方法。23.语义是一种事物描述的另一种解释形式，如自然语言语句的语义分析，指用语句的*种含义来理解语句。24.控制策略问题求解过程中，为提高效率而采取的技术手段。25.框架表示是一种知识表示方法，是对*类情景的构造化表示。1 什么是人工智能对于人工智能还难以给出严格的定义，但可从不同侧面作些描述。人工智能是计算机科学的一个分支，是研究使计算机来完成能表现出人类智能的任务的学科。主要包括计算机实现智能的原理、制造类似于人脑的智能计算机、以及使计算机更巧妙些实现高层次的应用。它涉及到计算机科学、心理学、哲学和语言学等学科。总的目标是增强人的智能。还可以说，人工智能是研究怎样使计算机来模仿人脑所从事的推理、学习、思考、规划等思维活动，来解决需人类专家才能处理的复杂问题。如医疗诊断、石油测井解释、气象预报、运输调度和管理决策等课题。从实用观点看，人工智能是一门知识工程学：以知识为对象，研究知识的获取、知识的表示方法和知识的使用。同传统的计算机程序相比较，人工智能首先研究的是以符号表示的知识而不是数值数据为研究对象。其次，采用的是启发式推理方法而不是常规的算法。另外，控制构造与领域知识是别离的，还允许出现不正确的解答。2人工智能根底的五个根本问题(1)知识与概念化是否是人工智能的核心(2)认知能力能否与载体分开来研究(3)认知的轨迹是否可用类自然语言来描述(4)学习能否与认知分开来研究.(5)所有的认知是否有一种统一的构造3.图灵实验容Turing 提出的智能实验，参加者是计算机、被实验的人以及主持实验的人。由主持人提出问题，计算机和被实验的人来答复，被实验者在答复以下问题时尽可能地向主持人表示他是真正的人，计算机也尽可能逼真地模仿人的思维。如果主持人通过听取对问题的答复分辨不出哪个是人的答复时，便可认为被试验的计算机是有智能的了。有人对这样设计的实验提出了疑义：认为这种实验只反映了结果的比较而没有涉及思维的过程，而且也没明确此人是个孩子还是有良好素质的成年人参加了实验。4.机器实现智能的几种观点符号主义认为人类智能的根本单元就是符号，认识过程就是符号表示下的符号运算，思维就是符号计算。连结主义(神经网络)认为智能的根本单元是神经元，认知过程就是基于神经网的计算。90年代初Brooks又提出了无需表示无需推理回到物理的现实世界的智能观。u 应用问题：(一) 搜索问题 1 有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到以下条件的限制：(1) 船太小，农夫每次只能带一样东西过河；(2) 如果没有农夫看管，则狼要吃羊，羊要吃菜。请设计一个过河方案，使得农夫、浪、羊都能不受损失的过河，画出相应的状态空间图。题示：(1) 用四元组农夫，狼，羊，菜表示状态，其中每个元素都为0或1，用0表示在左岸，用1表示在右岸。(3) 把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。解：第一步，定义问题的描述形式用四元组S=f，w，s，v表示问题状态，其中，f，w，s和v分别表示农夫，狼，羊和青菜是否在左岸，它们都可以取1或0，取1表示在左岸，取0表示在右岸。第二步，用所定义的问题状态表示方式，把所有可能的问题状态表示出来，包括问题的初始状态和目标状态。由于状态变量有4个，每个状态变量都有2种取值，因此有以下16种可能的状态：S0=(