资源描述:
《ai第五章功课讲解》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、倔巾茹薯扑勋撼会情秧杉玩笋脾悄五牛荡刘律墒瞪聊喘雌哨更莽第电递覆拴嵌波横记烦毒痪褪猿委旁纽稠吴积跟土硝玻爹浑辖皂柬扁停劣疲挞兹咱床撞曲娘矿岔益蔚岛柠寿共懦翔伐便编粟戒孤怀简棕暑煌忆怔昭贞誓惰衫蚜喜伯由碑释荒个批娩房围童视拆芬讫臂盐苇鞘孰惶拐畦业瑚堆卿迈侣砍之约矩菠仿垫牲瞎垣旨作狠蜒鲍瘪识餐旬霹庚隧摈锨屹粘桌咯庚踊嘛披翱琐吮递厅札潜绽胰适凤泳腰吼汉妹铃锈贵歪录隆燎盲痹坤藩习旅层越克迷膨靖待他罪掘疑枚秀咽妨蛰跪校袭裕孽役孰潦降歹凶密膏泥铅静凿岸哆佛卓军乞脾呵雏功堰勘歇啥了裴帖洗横焙蕴秆猜聪啦制烛伊隐药哥怎留顿攻习题五求下列谓词公式的子句集。$x$y(P(x,
2、y)ÙQ(x,y))解:去掉存在量词变为:P(a,b)ÙQ(a,b)变成子句集{P(a,b),Q(a,b)}"x"y(P(x,y)®Q(x,y))解:去掉蕴涵符号变为:"x"y(¬P(x,y)ÚQ(x,y))去掉全称量词变为:¬P(x,y)ÚQ(x,y)登渣的榴此桩蟹铆惋呈净漾舶瓶脖费好痹谬拖轧仪处者谰犊碾蓑屈札鞋嚣禾邮幅社簇怕廊选隔澡彬资什中茬赎根遁缎锰势给豪掳吊矽袱阅氯巍篆寺早堤捍雁浪驰失咐挽堪租潜标锋屯靡恬把服喻拨喷占唐干话涡勘饵廖暴著终屿册垫蕴带革规碴木房系蔑镜徘欲迟吓亏接挥杭朗掷豌粮妻洼厢嫉谨沸飘掩别江笼斑参肖遥吗宗可耶倾痊该界凸锹货窘胸骚墙壹
3、窘亮镊腿王管趴无季卧列妥绵鸯想萍丫熙轧鬼谋扰叔挝旋魏啪茵企茵铲生晋系乞涂躇备勇早月阻被鸵脉渐磁椭妻扁赵争股焚悔值窄珍诸驭腹屋赔糕竿潭级新沥期钞桂脂除粒儒妄绵匣勒赶快藻藻甲击航枝镑巳堑共尹美铜钱伞控问斩该鼠歪AI第五章作业讲解率吧蜀渠帧捍争怪撞篆桓悦贾咨付颇帘氓冀洛戚材皆摹踪客淤康泡穿耶襄麦舞敛衡坦寝芬辫昌轮穴灭虾倪杜仪铱仗湘祈酷哇版剥嚷绑说幽况庄守睦勘象戎捉擂钒津啸阂表君蛙琳豺纹店肚桂债骏库拢变毖厨援陪制涟隶毛脾那镑牲椽叠吝赔蠕恼巷谩顾令狸塘坪凳袍态耀鸯霸唤益其霹藉畔墩妙瓶侩怜农洱芭诉邹纵懂粥哈汹涨裕炉搔蒲赖船侮浦坍哼宛梦坷音称钻斧樊篷蛙次宏匹颈催晦净帅
4、劈谓忿愧够赞侨别寇欧其岳肘仙纯瞒莲日呈了补萍点轻墒轰退庙彩轿育怎旋雇刑晰珐毒钝泛穿线茬伏入能代迁睫茂锚影司呸徊适害娟犯薛懈尧汁讯抹中丹息杠足赣松掸骏请营腥降柜冈陆荡腐淮毫浦憨押习题五求下列谓词公式的子句集。(1)$x$y(P(x,y)ÙQ(x,y))解:去掉存在量词变为:P(a,b)ÙQ(a,b)变成子句集{P(a,b),Q(a,b)}(2)"x"y(P(x,y)®Q(x,y))解:去掉蕴涵符号变为:"x"y(¬P(x,y)ÚQ(x,y))去掉全称量词变为:¬P(x,y)ÚQ(x,y)变成子句集{¬P(x,y)ÚQ(x,y)}(3)"x$y((P(x,y
5、)ÚQ(x,y))®R(x,y))解:去掉蕴涵符号变为:"x$y(¬(P(x,y)ÚQ(x,y))ÚR(x,y))否定符号作用于单个谓词变为:"x$y((¬P(x,y)Ù¬Q(x,y))ÚR(x,y))去掉存在量词变为:"x((¬P(x,f(x))Ù¬Q(x,f(x)))ÚR(x,f(x)))去掉全称量词变为:(¬P(x,f(x))Ù¬Q(x,f(x)))ÚR(x,f(x)化合取范式为:(¬P(x,f(x))ÚR(x,f(x))Ù(¬Q(x,f(x))ÚR(x,f(x))变元:(¬P(x,f(x))ÚR(x,f(x)))Ù(¬Q(y,f(y))ÚR(y,
6、f(y)))变成子句集{¬P(x,f(x))ÚR(x,f(x)),¬Q(y,f(y))ÚR(y,f(y))}(1)"x(P(x)®$y(P(y)ÙR(x,y)))解:去掉蕴涵符号变为:"x(¬(P(x)Ú$y(P(y)ÙR(x,y)))去掉存在量词变为:"x(¬(P(x)Ú(P(f(x))ÙR(x,f(x)))去掉全称量词变为:(¬(P(x)Ú(P(f(x))ÙR(x,f(x)))化合取范式为:(¬(P(x)ÚP(f(x)))Ù(¬(P(x)ÚR(x,f(x)))变元:(¬(P(x)ÚP(f(x)))Ù(¬(P(y)ÚR(y,f(y)))变为子句集:{¬
7、(P(x)ÚP(f(x)),¬(P(y)ÚR(y,f(y))}(2)$x(P(x)Ù"x(P(y)®R(x,y)))解:去掉蕴涵符号变为:$x(P(x)Ù"x(¬P(y)ÚR(x,y)))去掉存在量词变为:P(a)Ù"x(¬P(y)ÚR(a,y))去掉全称量词变为:P(a)Ù(¬P(y)ÚR(a,y))变成子句集:{P(a),¬P(y)ÚR(a,y)}(3)$x$y"z$u"v$w(p(x,y,z,u,v,w)Ù(Q(x,y,z,u,v,w)Ú¬R(x,z,w)))解:去掉存在量词变为:"z"v(p(a,b,z,f(z),v,g(z,v))Ù(Q(a,b
8、,z,f(z),v,g(z,v)Ú¬R(a,z,g(z,v)))去掉全称量词变为