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