第 章 知识表示 人工智能课件

第2章知识表达

§2.1

一阶谓词逻辑表示法§2.1.1谓词逻辑§2.1.2用谓词逻辑表示知识§2.2产生式表示法§2.2.1

产生式与产生式系统

系统组成

控制策略

推理方向§2.2.2特殊的产生式系统§2.3

框架（frame）§2.3.1框架的表示方法§2.3.2框架的推理方法§2.4语义网络（Semanticnetwork）§2.4.1语义网络表示方法§2.4.2语义网络推理方法

作业知识表达法基本知识表达法：谓词逻辑、规则等。结构化知识表达法：语义网、框架、脚本等。§2.1.2

用谓词逻辑表示知识

例：用谓词公式表示下列句子：Aformulawhosemainconnectiveisa“→”isequivalenttosomeformulawhosemainconnectiveisa“∨”.解臣：首限先朱引迹入禾下戒列我谓马词垮：F落(禁x风)英:授x咐i总s格a犹f煌o哗r汪m沈u韵l必aM敞C糠(俊x竭,昆y恰)乔:慨t油h尿e籍m薪a初i昼n顽c允o间n窑n弄e绍c厅t聚i耐v蝇e余o林f定x就i月s延yE火Q乱(慢x料,敌y姜)虽:盒x钞i蔽s若e吹q留u衔i这v林a孝l洲e深n排t芳t偷o奴y解贞：A席f怜o久r伐m刊u送l川a运w窄h岔o歇s杂e钞m市a帜i融n膀c斤o尝n袋n昌e田c诞t叛i迁v挥e锤i晨s西a何“盼→陆”刊i蚀s毁e达q载u繁i残v们a皂l慰e友n美t惹t劈燕o挣s撞o钩m绢e没f司o椒r迹m斯u讲l洪a妨w匹h赌o订s悬e因m回a爸i粘n蚊c促o衰n岛n唱e靠c己t撒i漏v肺e座i削s毛a贵“伤∨搂”酿.(x凤)伶{[F倍(殖x丸)春∧巴M睛C饶(释x剧,i醉m成p)]→(y酒)[F波(瓜y姐)毫∧挖M题C卸(室y陡,o奴r)钱∧窃E幸Q安(职x抖,么y兼)]}§缩慧2抓.帖2产汤生笛式村表腿示帖法§功2终.庆2控.撤1旧产梳生烤式足与笋产泽生李式纠系紧统产沙生阁式i台f前馅提储条蚁件t灰h蜡e白n结嗓论或i宏f前壤提跃条滋件t错h拍e嚷n操还作产鲁生滤式诉又巷称型为规宰则（r劣u构l厉e）困。前怪提难条旦件益、扔结青论羽、扑规乔则皮均知可业附沙加字一语个可弹信哥度。例柱：(与1攻)凤如妨果另：钉炉纱温宽超窗过铃上缸限哲,则滨：熊立客即指关艘闭陵风析门炎。(美2示)核如秩果都：闯胶纳卷斑感扮光路度瘦为迁2危0刊0淡,光秒线犬条疾件迹为晓晴蹄天房诚,目自标棒距捷离汇不冠超谦过喂5姑米锅,则漂：驱快挣门舟速裹度垮取母2素5监0妈,鼓光没圈祝大勒小晃取普f百1发6洒。注窑：便怪于吧描畏述乘人寻处脑理接问永题勤的局散部骑过商程。人陵处范理踏问驼题报的整可体难过限程可蒜用独一来个块规惹则幕序溜列湖表住示晒。系伶统哑组某成推理机IE规则库RB状态数据库DB系威统绵组糖成D疮B：柱状悄态泉数认据驰库墓，取描递述仁当柄前僻求常解而状摘态壳（迎初六始迁事愁实味、框推拐出货的咽结饼论锣）R寇B：粮状裕态遇转孙换装规延则碎库I道E：鱼推弃理类机荣（I远n挨f键e腔r避e饭n坊c蚕e挽E愈n免g榜i充n彼e）按抚一溜定党策老略刑从R倒B中么选崇择欧规尽则跃，茅作迟用寺于D花B，祝直网到D魔B变炕为笋目罪标腾状裁态或（或如注推言出馒特各定裕结逼论代）烘。控勺制阔策亮略如兵何捕找捎出爆可像用商于野当些前暑状网态委的真规击则亚（阴匹向配尸）如摆何衬选筛出最趋佳规图则狗（营消话除毕冲洪突节）1.匹叼配将还规淘则修的前还提裤条牵件逐垃个着与D许B比寻较炭，诉如佛果暖每酸个薄条典件坐都截成广立潮，滔则御该源规眨则岛可居用规于熄当遗前炒状架态纤。例忍：D烘B奋=（b冷,沈d昨,序g其,司f御,梁h）Ri：i澡f皱(酸e导o嘉r傍f饺)熟a气n累d民h疯t弃h狱e伐n婶c例配：D待B冤=（b扣,骑d般,婶g佛,为f敬,桶h）Ri：i东f今(滋e狠o惰r亦f盘)小a集n外d鸦h束t免h政e应n弄c①摆检悄验(赔e漆o券r绪f呼)是拦否井成友立犬:√②肺检请验h是灰否轰成佩立益:√∴以将缠结集论c加河入D问B得沟：D吹B幸=（b，d，g，f，h，c）注榆：当愿规肚则祥含臣有戒变肠量绳时凡，斗首拔先乒进闭行课变串量巨代焰换思。参佳：待第寄三奋章英3晴.静1霉.潮3帜模床式嫌匹剧配唐与贫变居量林代附换对捧于评不题精讯确陆规盲则凳，采需号要碰计世算岭前达提恳和法结醉论荐的乖可仪信列度参质：亩第骗六由章2习.消算除敞冲稻突房诚（驱优眨先胞序迷）处泽理专提门幸、绞特纯殊情靠况抚的挎规早则化，约优洪先件于凤处铜理一离般情阳况塔者案。如堵：R1：i蜻f置aa神n误db填t辜h汉e迷n域eR2：i尼f盾aa赤n痕db拴a露n缴d斯c蔬t锣h表e积n赢f消翻除贯冲斤突首陕先报匹失配武者英优毛先静嫁态上有城序畅。给卵各前职提赋澡予坐不娱同伸的优蚊先花级，非含高晌优柳先仪级条违件肚者优宜先执伪行表（德质翼优赛先文）旷。前套提群条改件脚多爽的训优枣先领（询量驴优宫先算）壁。隐搞含茅各帆前唇提智的优复先嘱级侮相闭同。推停理馅方讨向1野.正蝴向谅推王理概（F所o炸r泄w译a沸r齿d）F规明则事自实结挑论例通：D延B部=（f1，f2，f3，f4，f5）R1：c1∧f4→c2R2：f1∧f2∧f3→c1R3：f3∧f5→c3R4：f2∧f3∧~卵f5→c4R5：f1∧c3→c5解紧：假照设俯采喂用樱“绕首亮先独匹有配复者芦优塘先驱”影策霉略，假则血推辽理芒过栗程态如惹下牺：（飞1锈）裁使躁用R2：f1∧f2∧f3→c1推眨出c1（遵2秃）丘使蛙用R1：c1∧f4→c2推选出c2（心3匠）罩使拥用R3：f3∧f5→c3推覆出c3（容4走）诞使留用R5：f5∧c3→c5推经出c52起.让逆申向券推苹理鉴（缎b树a番c梯k他w管a犬r灵d拉）B规茫则事船实目岩标骗（骆结欢论项）例求：已敞知移：D童B何=（f1，f2，f3，赴…寸…鸭，f1祖0，f1承1）R1：c2∧f5∧p2→cgR2：f1∧c1→c2R3：f2∧f3∧f4→c1R4：p1∧f6→p2R5：c4∧f1戚1→cgR6：f7∧c3∧f1皱0→c4R7：f8∧f9→c3其沸中乌：ci表敞示伍推辈出肺的永中墓间欢结垄论滚，pi表档示冤在台本扶例眯中衬不避成竭立见的套前吃提鸡。逆降向哪推低理锅图砖示犹：Cg

C2f5

P2

C4f11f1C1

P1f6f7C3f10f1f3f4f8f93令.锣混殿合教推冷理正筹向俭推议理湿不俱足握：历可侄能泥推玻出爽大蔬量肆无党关初结聋论惯。逆湾向店推鲜理订不失足擦：仔可闲能踏尝繁试壁大匪量梁无径关挡假羡设假。混妄合诉推桌理拒的皆方抗式国：用塑启从发首式棵规研则筹进锁行粗茂略鞠的正根向严推争理轨，患提浮出忠一店个凭假昼设览的闲可刮能踪蝶目奥标错，惊再岔用秃较朋详熔细盟的案规崭则杜进云行详棵细贼的逆唯向宰推左理温，劫以眼便窜验但证朴假葡设译。在汗逆眨向宾推松理绸的锻基降础腐上睡，歇用妨正勇向凝推稿理煌推海出斧更迟多泰的盯相歇关源结艇论悟。4确.邻双祝向消推推理石。当毯前事卸实谜集世：初即始震事良实、正日向妈推处理翁推滤出虑的惕中聋间肾结秒论弄。当队前目磨标辅集级：原丘目余标披、性为枯证嘱明拣原勤目植标恼而搬归芽约仁、绑分脾解传出恭的子恒目样标交乡丰替削使找用雅正半向攀推稍理汤和吐逆挽向旧推电理姑，链直消到木当腔前症目盏标惰集犹与沈当振前脑事帐实渔集忠匹踪蝶配子。小稀结产卖生讽式属系移统穷是A桨I最缓基架本常的撞结母构圈形怪式送。特允点何：便北于匠模忌拟搭人生的订知迹识桃积毯累员过如程便洪于麦实炮现d军a洗t弦a烧d虹r刃i晒v止e韵n处垦理坑方追式仙：新驰数录据新输慨入行灾为滴改据变便夺于笔增眨删推规语则混集各钥规苹则香之次间安相跪对栗独烟立德。§趋2肯.烧3樱框末架责（膏f踢r匠a侧m妄e樱）同爬类事棵物或过扇程重袄现特梯定模阳式框摘架笼的布使课用识月别辽激苗活问固题特来征模泽式引狮用参盈考碎处防理刘方促案框走架悬的台引税入为糊表拥达坏上壁述览模顶式端化仍知等识岩，置引螺入汤框日架圆表访示霜法鄙：框腐架认勿知贺模蝇式框聚架面系虫统螺：表包席括窄框岭架忽、距子陷框疫架豆。通饮常愤组塘织喉成层胳次中结幕构或网拿状胁结叛构。可搞以洗借惜助类薄层生次描澡述饰。框阀架城的叙表帜示盈方童法特篇性惊值建：①番可叨为破另想一鹿个清知卖识连表隙示转子详结敞构帽。如眨谓歼词票逻躲辑蜡、攻子拆框西架形、友规绳则度集呼等当。②胃可透为绑特杆殊径处悔理泛过与程策。（欧注顶视凝特情定洗条灯件贝的守壮护折程壶序）如废：i庸f牵—骑n奋e乔e筑d疾e烘di牌f斧—怒a祥d挽d拉e阀di荡f凉—纱d妥e册n冒i鱼e匆di移f紫—菠f俭a聚i佳l可盖实驰现每微拳观问控漏制预机掩制棋，笑数库据赔驱番动揭，惧随乏机腰应津变犹。框鸭架近的颠基调本锤形昨式幻玉：框漫架浊名溉称侧瓶面1码1值1心1槽1…写……柏…侧吹面1孟m值1厕m槽2侧拆面2联1值2尽1…公……淘…侧膊面2夜2值2漫m…刘……糟…一搅种杏具肾体缘瑞框苏架段模雅式框收架叨名遗称槽颂1塌v详a新l考u暮e客真亭实大值d姓e能f宣a许u由l联t讲缺捧省榴值i滴f确_丘n蹦e抗e荷d欲e砖d着推等断划值严的梢过达程槽鲜2患…图…忙…配……遍…气…午……璃…咽…钩……端……阶…§击2拨.嫁3秋.斤2框奖架葵的粥推枕理防方饥法回孔溯激禁活确柳认当施前觉状洲态侯脖选应框天架可伯用芳框检架应讯用联费想处选理辫当贡前减情勉况框身架鱼推图理1、衡选号择跃候财选获框典架利复用服各舅框贪架制的关域键皮特乳征与逐当月前阀状富态支进季行初奶步特禁征肺匹粥配城。2、滴确哲认蚂候舍选旧框坟架进墨一哲步裳利课用其旬余粥特耕征进征行详猫细熊的匹脾配皆（妹逆氏向扒）软，灵需井要忠采济用笔启睡发母式酿经短验歪进蹈行灵窝活矮匹梨配。框湖架磨推描理3、岛重婚选少候里选地框需架当帜无抽法缴确睡认蜂时盼：利矿用相刃似毯框黄架联荒想园规姥则枣。利嗓用框术架辜系趟统的分卧类义层芳次结渔构坛向隙上拦移胜动厕，讨找预出货一胸个究能尿够概服括当旗前仇情尸况叮的一她般送框绢架，尖再商沿迁另躬一阀条例路帜径莲向贴下塞找斑出仔一巾个脾候缠选窑框殊架丸。框揪架另推影理4、应沿用徐确妥认统框奋架①引汁用顷现烈成膏结械论阔（w活h议a租t）如林诊碗断弯型亏问志题将。②构浑造当核前册状慨态抽的且具应体解墨释即帜给员出例技示交框离架：无贩结厅构鼠信陈息有加结矩构刺信鱼息撤（差例碰示片框糟架乔）框认架致推汁理4、能应争用踪蝶确钱认庄框名架③引塑用舰相尚应优处坏理寻方剂案逼或伍推风理丽知宇识盲（h枝o利w）园。④引没导梅注碧意楚力蔑：末不洗匹迈配生的徒部返分低，孝可饼能舍对认应血特鼓殊烦情昨况后：Ⅰ殿）际实帆际骨存谣在抗而钻未衔发晓现存：添进勉一疲步也寻蹄找屯。Ⅱ娇）挪故姐障图。础（心损裕毁胳）Ⅲ钩）努确役实养不较存盲在怪：最修骑正另框载架垦模袜式底。§载2痛.薯4语舱义泪网鸽络（S耳e姿m济a犯n匪t溪i怀c缩慧n渴e乎t别w昆o豪r乳k）最败初旁：以表棚达看人宴类记库忆计模活型及级理堪解鹅自荡然姨语宋言晓。事诸物居之御间棍存拌在自甲然驱的关侨系海，泡在哄人些脑客中协形瞒成采自燃然钞的联查想对网陈络巩（丸a尸s叔s春o葵c您i脸a羽t断i购v镰e誉n阻e吉t封）。自秩然员关赶系联孙想宽网奶络主市要中用顽于飞表熄示柱不晋含围变蜂量仇的伤命奋题辛信固息或，滴又爪称敞为命拢题粪网（P玻r澡o拖p亡o尘s糊i搁t旗i湿o瞧n杠a泰l裳n茶e拒t）稼。§叠2飘.串4贞.艘1帝语围义扛网料络允表司示筐方直法仓：1拜.何基态本至表辽示兽法实仍体糠：战概仔念烛、优实喝例斑（陪抽护象妙或追具锡体违）关闸系抵（教特常性召）书：分狠类固：A咬K筹O，I生S役A，暖…组盾成类：I来S地P柔A净R呈T，H此A删S少P献A勿R大T，E铁L，监…结踩构矛：S梨U拖P启P框O考R电T炎E弹D世B介Y，矛…性郊质炉：C茎O赴L耍O岛R，O汉W摸N葱E旧R，恒……贩…爪…祖…语上义敬网出络主基馅本鄙表妻示岸法大学城西北大学李明助教郭杜镇25岁位于单位职务位于年龄长安区属于西安市属于多纱元晶关汁系脉表鸟示阳法例街：“罩a头队变与穴b嚷队赛比殿赛株，确比蒜分荐为思1霞∶纵3样”用谓风词表峰示归为杠：咸g是a现m嘉e落（捏a秘，讯b糠，找1月∶巾3奶）用语屿义飞网表蜘示壮如嫁下墨：gameg1ba1:3主队客队ISASCORE多过元劈燕关也系妨表组示圆法studentISA三国演义readbookJohnread1ISAISAsubjectobject实紫现庸语桐义厨网具傻体材实低现破一纠个透语屈义汗网尘：利馒用实笛体烂—总—寻特时性钩—意—柜特踏性锹值对由象落—股—羽属束性煤—触—涨值三蔽元泡组(O到A举V：O乱b什j杀e侄c粘t紫—映a佛t曲t哀r影i起b猪u剪t荐e严—赞v虫a拼l贸u促e)例们：用P锯R沟O壮L如O柜G子杂句肾（苏谓酷词胞）瞧也歌可络以朝方洒便仔地仓表诉示粒语河义惠网削：I柳S魄A（翠氧糕气劳，性单归质猫）.化传学暑性锁质毅（状氧喜气钩，R纲A脏_罚1）.化仓学稿性廊质冒（召氧俱气诉，R匹A锈_门2）.例贷：a_k呆i越n贴d_o刃f甲(垒"狮苹潜果钓"塞，震"勒水颠果烧"晃)蒙.t疯a余s爬t奶e家(扑"命苹贤果狂"寺，辞"吉甜需"依)铜.a_k挂i城n沉d_o菜f化(泻"压富肯士疾"附，盛"涛苹裹果主"薯)帜.i挨n谷t馒r丈o_f消r娘o滑m酷(画"魔富买士竞"彻，琴"秋日嫂本领"贯)袋.i蒜s_a彩(捐"箱日纠本鹊"踩，溜"谊亚判洲问国插家撞"要)薪.…乱…衰…量捞词签的她表鼓示①存翁在眉量塑词的续表朵示可沸直觉接郊用I权S放A链键表赚示②全歉称急量祥词的宗表口示例育：裤下灭面备语贩句“注E长v坐e姨r选y累d她o载g顽h弊a谈d扒b粗i近t押t言e计n禽a敞p嚼o迟s检t虾m坟a拨n盼”可劫表父示畏如巾下：量植词聚的饼表冶示S1：F唉o毁r喉m，w饿h袄i纵c老h革s励t根a如t男e器s些t祥h勒er漆e董l木a本t飘i烂o区n张t胸h津a死t咸i散s赖b斥e谎i弹n较g讲a托s店s筒e哲r海t策e光d鲜.F盘o此r嚷m中证的禽其扬它辅变霉量B，P为沾存污在挠变俘量松。ISAS1GSGS1DOGBITEPOSTMANDBPFormISAISAISA攻击者受害者§秋2故.乘4贿.货2限语祥义熄网笼络屠推涂理患方撞法语歇义望网串表船示剪法掩无蚊统移一孩的毁形竖式成语窝义察，养具鱼体涂网饺络偿结眨构费的含集义由劫具膊体呀的应犹用咬决委定，勺相歪应荡的棕推已理欲方袍法棒，僵或隙使领用母网府络齿的识方艺法柿各导异尖。常饿用镜推栏理墙过戒程但：搜膝索在、半匹类配敲（P懂R讨O盼L鉴O卡G）姨、惑继锻承正，可惧信述度妻传亿播选（P体R包O涂S泽P挺E梢C扣T承O幕R）埋。匹锄配云：（利1缴）集构保造匹一舰个页含盾有未哀知柄结锹点或未育知环关税系的问等题盈网惨络片注段缎；（向2油）妄在厕语波义奋网左络况知抱识忠库极中搜洽寻可侦与省问钞题网子