人工智能作业讲解

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,作业讲解,詹杭龙,第一次作业,题目：,2.11,用谓词逻辑公式表示如下自然数公理：,（,1,）每个数都存在一个且仅存在一个直接后继数。,参考解答：,定义谓词：,Equal(x,y):x,和,y,相等，,N(x):x,是自然数，,Succeed(x,y),y,是,x,的后继,(x,是,y,的前启,),。,or,定义函词：,succ(x):x,的后继,2.11,（,1,）,不好的解答：,仅定义一个谓词，未考虑对“仅存在一个”的描述，,A(x),表示,x,存在一个且仅一个直接后继数。,Equal(x,y),直接写为,x=y,，最好用谓词来描述,第一次作业,题目：,2.11,用谓词逻辑公式表示如下自然数公理：,（,2,）每个数都不以,0,为后继数。,参考解答：,定义谓词：,Equal(x,y):x,和,y,相等，,N(x):x,是自然数，,Succeed(x,y),y,是,x,的后继,(x,是,y,的前启,),。,不好的解答：,未考虑谓词,N(x),第一次作业,题目：,2.11,用谓词逻辑公式表示如下自然数公理：,（,3,）每个不同于,0,的数都存在一个且仅存在一个直接前启数。,参考解答：,定义谓词：,Equal(x,y):x,和,y,相等，,N(x):x,是自然数，,Succeed(x,y),y,是,x,的后继,(x,是,y,的前启,),。,第一次作业,题目：,2.12,用一阶谓词逻辑表示下面的句子。,（,1,）人人为我，我为人人。,参考解答：,定义谓词：定义,For(x,y),表示,x,为,y,I,表示我或,I(x),表示,x,是我。,Equal,表示,x,y,是同一个人。,不好的解答：,1.,需要再细分,第一次作业,题目：,2.12,用一阶谓词逻辑表示下面的句子。,（,2,）鱼我所欲也，熊掌亦我所欲也。,参考解答：,定义谓词：,I,表示我或,I(x),表示,x,是我，,Fish(x),表示,x,是鱼，,Bearpaw(x),表示,x,是熊掌。,不好的解答：,1.,描述对象错误,2.,没有量词,第一次作业,题目：,2.12,用一阶谓词逻辑表示下面的句子。,（,8,）历史考试的最高分比生物考试最高分要高。,参考解答：,主体是比较分数的高低，所以将分数作为变元,x,，,注意是谓词，不是函数，不能写,history(x),表示历史最高分,可以写,History(x),表示,x,是历史最高分；,Biology(x),表示,x,是生物最高分，,Higher(x,y),表示,x,比,y,高。,不好的解答：,1.,定义,H,为历史最高分，,B,为生物最高分。,不够直观,第一次作业,题目：,2.12,用一阶谓词逻辑表示下面的句子。,（,10,）星期六，所有的学生或者去参加舞会了，或者工作去了，但是没有两者都去的。,参考解答：,Student(x),表示,x,是学生，,Dance(x),表示,x,周六去跳舞了，,Work(x),表示,x,周六去工作了。（带上不带上星期六都可以，如果原题说的是每个星期六的话，最好带上,Saturday(x)(),）,点评,谓词的,作,作用是,描,描述对,象,象的性,质,质和关,系,系，因,此,此，在,定,定义谓,词,词的时,候,候不应,当,当带有,“,“对象,”,”。例,如,如，,forMe,，,wantFish,，,wantPaw,等。,尽量用,符,符号去,表,表示常,量,量和变,量,量，并,注,注意区,分,分大小,写,写。,，,1),AO*,算法,两,两个,关,关键,点,点：,自顶,向,向下,：,：沿,着,着最,优,优路,径,径产,生,生后,继,继节,点,点，,判,判断,节,节点,是,是否,可,可解,自底,向,向上,：,：传,播,播节,点,点是,否,否可,解,解，,做,做估,值,值修,正,正，,重,重新,选,选择,最,最优,路,路径,另一种解法,谢谢！,演讲完毕，,谢,谢谢观看！,