人工智能-习题优秀PPT.ppt
《人工智能-习题优秀PPT.ppt》由会员分享,可在线阅读,更多相关《人工智能-习题优秀PPT.ppt(61页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、人工智能原理人工智能原理习题分析 2022/10/302.1 谓词逻辑表示学问谓词逻辑表示学问用谓词逻辑表示下列学问:用谓词逻辑表示下列学问:武汉是一个美丽的城市,但她不是一个沿海城市。武汉是一个美丽的城市,但她不是一个沿海城市。假如马亮是男孩,张红是女孩,则马亮比张红长得高。假如马亮是男孩,张红是女孩,则马亮比张红长得高。例例第一步第一步第二步第二步第三步第三步定义谓词如下:定义谓词如下:BCity(x)BCity(x):x x是一个美丽的城市是一个美丽的城市 HCity(x)HCity(x):x x是一个沿海城市是一个沿海城市Boy(x):xBoy(x):x是男孩是男孩 Girl(x):x
2、 Girl(x):x是女孩是女孩 High(x,y):x High(x,y):x比比y y长得长得高高依据语义,用逻辑连接符连接依据语义,用逻辑连接符连接BCity(wuhan)HCity(wuhan)(Boy(mal)Girl(zhangh)High(mal,zhangh)将个体代入谓词中,得到将个体代入谓词中,得到 BCity(wuhan),HCity(wuhan),Boy(mal),Girl(zhangh),High(mal,zhangh)2022/10/30人人爱劳动。人人爱劳动。全部整数不是偶数就是奇数。全部整数不是偶数就是奇数。自然数都是大于零的整数自然数都是大于零的整数例例第一步
3、第一步第二步第二步第三步第三步MAN(x):x是人是人 LOVE(x,y):x爱爱yN(x):x是自然数;是自然数;I(x)I(x):x x是整数;是整数;E(x)E(x):X X是偶数是偶数O(x):x是奇数是奇数 GZ(x):x大于大于0 02.1 谓词逻辑表示学问谓词逻辑表示学问2022/10/30第三步第三步2.1 谓词逻辑表示学问谓词逻辑表示学问在一个房间里,有一个机器人在一个房间里,有一个机器人RobotRobot,一个壁橱,一个壁橱AlcoveAlcove,一个积木块一个积木块BoxBox,两个桌子,两个桌子A A和和B B。起先时,。起先时,BobotBobot在在Alcove
4、Alcove旁边且两手是空的,旁边且两手是空的,A A上放着上放着BoxBox,B B上是空的。上是空的。RobotRobot将把将把BoxBox从从A A移到移到B B上上例例3 3第一步第一步第二步第二步TABLE(x):x是桌子是桌子 EMPTYHANDEDEMPTYHANDED(x):x双手是空的双手是空的AT(x,y):x在在y旁边旁边 HOLDS(y,w)HOLDS(y,w):y y拿着拿着w wON(w,x):wON(w,x):w在在x x上上 EMPTYTABLE(x)EMPTYTABLE(x):桌子:桌子x x上是空的上是空的个体词:个体词:ROBOT,BOX,ALCOVE,
5、A,B 2022/10/30设有如下语句,请用谓词公式把他们表示出来设有如下语句,请用谓词公式把他们表示出来(1)有的人宠爱梅花,有的人宠爱菊花,有的人既宠有的人宠爱梅花,有的人宠爱菊花,有的人既宠爱梅花又宠爱菊花爱梅花又宠爱菊花。(2)要想出国留学,必需通过外语考试要想出国留学,必需通过外语考试(2)全部人都有饭吃全部人都有饭吃1.定义谓词及个体,确定每个谓词及个体的精确含义。定义谓词及个体,确定每个谓词及个体的精确含义。2.依据所要表达的事物或概念,为每个谓词中的变元赋依据所要表达的事物或概念,为每个谓词中的变元赋以特定的值。以特定的值。3.依据所要表达的学问的语义,用适当的连接符将各个依
6、据所要表达的学问的语义,用适当的连接符将各个谓词连接起来谓词连接起来,形成谓词公式。形成谓词公式。2.1 谓词逻辑表示学问谓词逻辑表示学问2022/10/30有的人宠爱梅花,有的人宠爱菊花,有的人既宠爱梅花又有的人宠爱梅花,有的人宠爱菊花,有的人既宠爱梅花又宠爱菊花宠爱菊花第一步第一步第二步第二步第三步第三步定义谓词:定义谓词:LIKE(x,y):x宠爱宠爱y 定义个体词:定义个体词:Meihua,JuhuaLIKE(x,Meihua),LIKE(y,Juhua)LIKE(z,Meihua)LIKE(z,Juhua)2022/10/30要想出国留学,必需通过外语考试要想出国留学,必需通过外语考
7、试第一步第一步第二步第二步第三步第三步定义谓词:定义谓词:Want(x,y):x想想y,Pass(x,y):x通过通过y 定义个体词:定义个体词:goabroad,flanguagePass(x,flanguage),Want(x,goabroad)2022/10/30全部人都有饭吃全部人都有饭吃第一步第一步第二步第二步第三步第三步定义谓词:定义谓词:Havefood(x):x有饭吃有饭吃2022/10/30自测题目自测题目1.李明每天下午踢足球李明每天下午踢足球2.合肥的夏天潮湿燥热合肥的夏天潮湿燥热3.宠爱打篮球的人必宠爱踢足球宠爱打篮球的人必宠爱踢足球2022/10/30动物动物isa生
8、物生物植物植物isaisaisa鱼鱼鸟鸟飞飞翅膀翅膀水水游泳游泳cancaninhave乌鸦乌鸦isa黑色黑色腐肉腐肉eatingcovering吃吃运动运动cancan2.2 语义网络学问表示语义网络学问表示2022/10/302.2 语义网络学问表示语义网络学问表示语义网络语义网络语义网络语义网络AKOAKOISHAVELocate-at山羊山羊动物动物羊羊猪猪绵羊绵羊野猪野猪哺乳动物哺乳动物头上有角头上有角羊毛羊毛森林森林AKOAKOAKOAKO猪和羊的语义网络2022/10/30框架名:框架名:主机品牌:联想主机品牌:联想1+1 生产厂商:北京联想集团公司生产厂商:北京联想集团公司 C
9、PU:品牌:品牌:Intel 型号:奔腾型号:奔腾/933 主板:品牌:主板:品牌:QDI 型号:型号:ATX VA5 内存:品牌:现代内存:品牌:现代 型号:型号:SDRAM 容量:容量:128MB 硬盘:品牌:硬盘:品牌:Seagate 型号:型号:ST320423A 容量:容量:20GB例例2.3 框架学框架学问问表示表示2022/10/30例:例:新华社新华社9月月16日电日电 国家气象台命名的国家气象台命名的“99年年2号号”台风于昨日下午台风于昨日下午4时在浙江舟山地区登陆,据时在浙江舟山地区登陆,据专家阅历,认为风力大于等于专家阅历,认为风力大于等于8级,但风力的精确级,但风力的
10、精确值,有待数据处理,目前尚未公布。此次台风造成值,有待数据处理,目前尚未公布。此次台风造成的损失,尚未得到报告,若须要具体的损失数字,的损失,尚未得到报告,若须要具体的损失数字,可电询自然灾难统计中心。另据介绍,事前曾得到可电询自然灾难统计中心。另据介绍,事前曾得到国际气象组织预报:昨日上午于太平洋赤道地区生国际气象组织预报:昨日上午于太平洋赤道地区生成的高压气旋,将向北移动,于浙江舟山地区登陆。成的高压气旋,将向北移动,于浙江舟山地区登陆。依国际惯例,将其命名为依国际惯例,将其命名为Carla飓风。我国也予以飓风。我国也予以承认,至于承认,至于Carla是否就是是否就是“99年年2号号”尚
11、须另加核尚须另加核实。实。2.3 框架学问表示框架学问表示2022/10/30Frame:台风:台风slot1:登陆时间:登陆时间 Value:9月月15日下午四时日下午四时 slot2:登陆地点:登陆地点 Value:浙江舟山地区:浙江舟山地区slot3:风力:风力 default:大于等于:大于等于8级级 slot4:损失:损失 If-needed:电询自然灾害统计中心:电询自然灾害统计中心slot5:名称:名称 Value:99年年2号号Default:Carla 飓风飓风 If-added:核查:核查Carla与与“61年年2号的关系并加注释号的关系并加注释2.3 框架学问表示框架学问
12、表示2022/10/303.1 子句集子句集消去存在量词消去存在量词1234谓词公式化为谓词公式化为子句集步骤子句集步骤重新命重新命名变元名变元利用等价利用等价关系消去关系消去谓词公式谓词公式中的中的“”和和“”利用等价关利用等价关系把系把“”“”移到紧靠谓移到紧靠谓词词存在量词不出现在全称量存在量词不出现在全称量词的辖域内,则用新的词的辖域内,则用新的个个体常量体常量替换存在量词;替换存在量词;存在量词位于一个或多个存在量词位于一个或多个全称量词的辖域内,则用全称量词的辖域内,则用全称量词的全称量词的函数函数取代存在取代存在量词量词2022/10/303.1 子句集子句集 把全把全称量词称量
13、词移到公移到公式左边式左边8765谓词公式化为谓词公式化为子句集步骤子句集步骤消去全消去全称量词称量词利用等价关利用等价关系把母式化系把母式化为合取范式为合取范式9使不同子使不同子句中的变句中的变元不同名元不同名消去合取消去合取词,生成词,生成子句集子句集2022/10/303.1 子句集子句集2022/10/30例如:例如:E1=P(a,x,f(g(y)E2=P(z,f(a),f(u)求求mgu。解:解:(1)W=E1,E2=P(a,x,f(g(y),P(z,f(a),f(u)(2)W0=W,g=(3)W0未合一,从左到右找不一样集,有未合一,从左到右找不一样集,有D0=a,z (4)取取v
14、0=z,t0=a (5)令令g1=g0t0/v0,=a/z W1=W0 g1=P(a,x,f(g(y),P(a,f(a),f(u)3.2 最小合一置换最小合一置换2022/10/30(3)W1未合一,从左到右找不一样集,有未合一,从左到右找不一样集,有D1=x,f(a)(4)取取v1=x,t1=f(a)(5)令令g2=g1t1/v1,=a/z,f(a)/x W2=W1 g2=P(a,f(a),f(g(y),P(a,f(a),f(u)(3)W2未合一,从左到右找不一样集,有未合一,从左到右找不一样集,有D2=g(y),u)(4)取取v2=u,t2=g(y)(5)令令g3=g2t2/v2,=a/z
15、,f(a)/x,g(y)/u W3=W2 g3=P(a,f(a),f(g(y),P(a,f(a),f(g(y)(3)W3已合一,这时已合一,这时g3=a/z,f(a)/x,g(y)/u 3.2 最小合一置最小合一置换换2022/10/30已知能阅读的都是有文化的;海豚是没有文化的;某些海豚是已知能阅读的都是有文化的;海豚是没有文化的;某些海豚是有智能的;证明:某些有智能的并不能阅读。有智能的;证明:某些有智能的并不能阅读。证明:符号化证明:符号化R(x):x能阅读能阅读 L(x):x有文化有文化 D(x):x是海豚是海豚 I(x):x有智能有智能3.3 运用归结原理证明问题运用归结原理证明问题
16、2022/10/30I(w)R(w)I(A)R(A)R(x)L(x)D(y)L(y)L(A)NILD(A)D(A)3.3 运用归结原理证明问题运用归结原理证明问题2022/10/30例例4.6 已知已知F1:王:王(wang)先生是小李先生是小李(Li)的老师的老师 F2:小李和小张:小李和小张(zhang)是是 同班同学同班同学 F3:假如:假如x和和y是同班同学,则是同班同学,则x的老师就是的老师就是y的老师。的老师。求:小张的老师是谁?求:小张的老师是谁?解:解:1)定义谓词:定义谓词:T(x,y):x是是y的老师;的老师;C(x,y):x与与y是同班同学是同班同学3.4 运用归结原理求
17、解运用归结原理求解2022/10/30C(Li,y)T(Wang,y)T(Wang,Li)C(x,y)T(z,x)T(z,y)T(u,Zhang)T(u,Zhang)C(Li,Zhang)C(Li,Zhang)T(Wang,Zhang)T(Wang,Zhang)Wang/z,Li/xWang/u,Zhang/y3.4 运用归结原理求解运用归结原理求解2022/10/30作业作业1 某公司聘请工作人员,某公司聘请工作人员,A、B、C三人应三人应试,经面试后公司表示如下想法:试,经面试后公司表示如下想法:(1)三人中至少录用一人三人中至少录用一人 (2)假如录用假如录用A而不录用而不录用B,则确定
18、录用,则确定录用C (3)假如录用假如录用B,则确定录用,则确定录用C 求证:公司确定录用求证:公司确定录用C2022/10/30作业作业2 已知以下的事实:已知以下的事实:Marcus是人。是人。Marcus是罗马人。是罗马人。Caser是一位统治是一位统治者。者。全部罗马人或忠于全部罗马人或忠于Caser或仇恨他。或仇恨他。每个人都忠于某个人。每个人都忠于某个人。人们只想暗杀人们只想暗杀他们不忠于的统治者。他们不忠于的统治者。Marcus试图暗杀试图暗杀Caser。求证:求证:Marcus仇恨仇恨Caser。2022/10/30作业作业3 设设A、B、C三人中有人从不说真话,三人中有人从不
19、说真话,也有人从不说假话,某人向这三个人分别也有人从不说假话,某人向这三个人分别提出同一个问题:谁是说谎者?提出同一个问题:谁是说谎者?A答:答:“B和和C都是说谎者都是说谎者”;B答答“A和和C都是说谎都是说谎者者”;C答:答:“A和和B中至少有一个是说谎中至少有一个是说谎者。者。”求谁是醇厚人,谁是说谎者?求谁是醇厚人,谁是说谎者?2022/10/30 例例2 2 设有如下学问设有如下学问R1R1:IF A THEN(20IF A THEN(20,1)B1(0.03)1)B1(0.03)R2R2:IF B1 THEN(300IF B1 THEN(300,0.0001)B2(0.01)0.0
20、001)B2(0.01)求:当证据求:当证据A A必定发生时必定发生时,P(B2/A),P(B2/A)的值是多少?的值是多少?解解:(1)由于)由于A必发生,由必发生,由R1得得 (2)由于)由于B1不是必发生的,所以需作插值处理。不是必发生的,所以需作插值处理。例例1 14.1 主观主观bayes方法方法2022/10/30 当当时,有时,有,所以在此区间插值。,所以在此区间插值。由于由于4.1 主观主观bayes方法方法2022/10/30例例2:设有如下学问设有如下学问 r1:IF E1 THEN (20,1)Hr2:IF E2 THEN (300,1)H 已知已知P(H)=0.03,若
21、证据,若证据E1,E2依次出现,求依次出现,求P(H|E1,E2)解法解法1:合成法:合成法O(H)=P(H)/(1-P(H)=0.0309由由r1:O(H|E1)=LS1*O(H)=0.618由由r2:O(H|E2)=LS2*O(H)=9.274.1 主观主观bayes方法方法2022/10/30解法解法2:更新法:更新法2022/10/30例例3 设有如下规则:设有如下规则:r1:IF E1 THEN (2,0.000001)H1r2:IF E2 THEN (100,0.000001)H1 r3:IF H1 THEN (65,0.01)H2r4:IF E3 THEN (300,0.0001
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 习题 优秀 PPT
限制150内