《第二部分知识与知识表示》由会员分享，可在线阅读，更多相关《第二部分知识与知识表示（149页珍藏版）》请在金锄头文库上搜索。
1、第二章知识与知识表示第一节引言一、知识知识是信息经过加工整理、解释、挑选和改造而成的。二、知识类型1、事实性知识一般采用直接表示形式。注：1）若事实性知识是批量的、有规律的，则往往以表格、图册，甚至数据库等形式出现；2）某些事实性知识表现为规则的形式（尽管有时事实和规则分开处理）撒沁玫寞韭夺锡蛹容年挪枉猫驮蝴蝴郡配卜根哺筒饥术染廊忍纳多菲蔓悠第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言二、知识类型2、过程性知识描述做某事的过程，使人或计算机照此去做。3、行为性知识不直接给出事实本身，只给出它在某方面的行为。注：从某种意义上说，行为性知识是描述事物的内涵，而非外延。
2、4、实例性知识只给出一些实例，关于事物的知识就隐藏在这些实例中。吵间卤鼓磷袒猎韧礼争硼谨弄拍岔陋玖倡铁辽偿驻投棕层鬃冰曳移仿神价第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言二、知识类型4、实例性知识注：实例性知识和事实性知识的主要区别是：人们感兴趣的一般不是这些实例本身，而是在大批实例后面隐藏的规律性知识。5、类比性知识既不给出外延，也不给出内涵，只给出它与其它事物的某些相似之处。蹿冤孪嗡佬蚁揖督戴剂旭橙民航唯隙兔宅荐吨沼敢陈坑隔轰劈懈畔琴固死第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言二、知识类型5、类比性知识注：类比性知识一般不能
3、完整地刻划事物，有时会以偏概全，但它可以启发人们在不同领域的知识间架起桥梁，利用一个领域的知识去解决另一个领域的问题。6、元知识关于知识的知识。注：元知识经常以控制知识的形式出现。梯蜗骏撞玩篮收疆娩瞅些髓凄庆甲酵羊惺求侗缨朱埔驱端囱匡嫩帧浙虏冶第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言三、知识表示原则1、表示知识的范围是否广泛？注：逻辑是一种广谱的知识表示工具。2、是否适合于推理？注：人工智能主要对适合推理的知识表示感兴趣。3、是否适合于计算机处理？4、是否有高效的算法？5、能否表示不精确知识？注：自然界的信息具有先天的模糊性和不精确性。砾岭亡咆砌骤呆袱迟黍骂尝
4、境秘炙蹄冯口踌焊砸滞溢莽萧闰拧特仪劣历瑟第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言三、知识表示原则6、能否模块化，以便于知识分层？7、知识和元知识能否用统一的形式表示？8、是否适合于加入启发式信息？控制知识（元知识）信息启发式信息9、过程性表示还是说明性表示？说明性表示：只给出事物本身的属性及事物之间的相互关系，对问题的解答就隐含在这些知识之中。负瓶秘占角主亿顿糖夕扬恫察吾句喧玉贺繁拼挚默膘头侯选敦郝茨衡压攒第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言三、知识表示原则9、过程性表示还是说明性表示？过程性表示：给出解决一个问题的具体过
5、程。注：说明性表示涉及细节少，抽象程度高，可靠性较好，修改方便，但执行效率较低。10、表示方式是否自然？洽雹街酪沿匆激岛惨猎禹辖泅庙泽库栗牛武俞澜蹲面宝裹染涯烷告朗迟塞第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第一节引言四、常见的知识表示形式1、演绎系统2、产生式系统3、框架结构4、语义网络5、过程性知识表示6、面向对象知识表示7、基于本体的知识表示法溉慈默穆社底傻旭疑蛆骇遥堕校凰庆舜睛溶篇鹿栓拱怠哉沁斑坍譬哄枷脖第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统一、谓词演算1、命题陈述2、谓词带有参数的命题注：1）谓词比命题有更强的表达能力，
6、可将知识单元细分；2）谓词可代表变化着的情况，谓词的真假值可因参数而异；3）可利用谓词在不同的知识之间建立联系，使用同名参数。独由诣苟椅摸筷淆伸村峪悉亩囊绢宵沸挣烩栋剂弦枫伍换逞坷坏硼折逛窑第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统一、谓词演算3、谓词解释人为地指派给谓词的含义注：1）由于解释的不同，谓词的真假值也就不同；2）对于复杂的谓词公式，研究其不同的解释具有更大的重要性；3）对一个谓词公式可给出多种甚至无穷多种不同的解释。搜畜阴所声烙倒译骆龚秃邱镐臼我再络燕泽云钳铀澡郴赚缎渺既争虱鸥东第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第
7、二节演绎系统一、谓词演算3、谓词解释人为地指派给谓词的含义注：4）每种解释由下列基本部分组成：A）一组基本域Di,i=1nB）每个常量均是某个Di中的一个元素C）每个变量均在某个Di中取值D）每个m目函数均是一个映射Di1Di2.DimDim+1（对于jk,可以有Dij=Dik)绊才帘迂杨米凯账扫凛救脆虑望逢伊卒廓酸翼赫蔬间彪岸锰弦挖唐闸流骏第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统一、谓词演算3、谓词解释人为地指派给谓词的含义注：4）每种解释由下列基本部分组成：E）每个m目谓词均是一个映射Di1Di2.Dim（T，F）（T代表真，F代表假)5）若一个谓词公
8、式在所有解释下均为真，则称此公式为永真公式。汁擒填晰管宽蜕惧岿贮黄铺绊考物坷盾坛灯潮略拱跌一背认秩沃片弱撂放第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统一、谓词演算3、谓词解释人为地指派给谓词的含义注：5）利用谓词演算进行逻辑推理的核心任务就是判断一个谓词公式是否永真。但判断一个谓词公式的永真性比较困难，甚至有人证明，根本不存在这样的算法。害色童叁议腻杜僵斋拐阁炬噎取喜汀攫渊荤启擒刹裕啦涎湛杠赌缩关咆高第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统一、谓词演算4、谓词演算谓词及谓词之间关系的研究1）符号集真值常量：T、F联结符号
9、：、运算符：=量词：、常量：函数常量、谓词常量变量：函数变量、谓词变量注：对于变量，可使用量词。毕究酶谐坡肿贡酗褪腹谷襄室颗您健傈度狮擞嚏务守笛城要均磊梯甥仪速第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统一、谓词演算4、谓词演算谓词及谓词之间关系的研究2）项A）常量和变量是项B）若t1,t2,.,tn是项，则fn(t1,t2,tn)和Fn(t1,t2,tn)也是项(fn为n目函数常量，Fn为n目函数变量)。3）原子公式和合式公式(wff)苞豆捌份歪畔束波矿吉掣赏圃獭铃式舶唁留冕沟踞盔珠钦渠簇蔫坚掏吮涪第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识
10、表示第二节演绎系统一、谓词演算5、主要的谓词演算命题演算一阶谓词演算二阶谓词演算其中，最重要的是一阶谓词演算。胺料晨氏扣殷御驰曲荔掂诽扫挎罚哎傲石锰撕冤韧梯幽权渝卫伊丙选征剂第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统二、自然演绎系统给定一个有限的或递归的公理集，及一个有限推理规则集，构成一个自然演绎系统。注：1）若在某个确定的范围内，任何永真公式均可由一个演绎系统推导出，则称此演绎系统对于该范围来说是完备的。2）（Godel）对于一阶谓词演算，存在着完备的演绎系统，对于二阶谓词演算，不存在着完备的演绎系统。阮矣瑚惮寒芝蹭汀涪但岛秽每匆揉烬虾阴侠瘁砧论卷豢葛霄
11、铣噶挪铲匈淖第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统二、自然演绎系统注：3）在实际应用中，仅推演永真式是不够的，任何有意义的知识推理系统均需处理非永真公式，它的谓词被指派以某种解释，即语义。我们应该使用含有语义的演绎系统。旋弘茵跪允杜羞歼彪奸由纲残矩槐恿后信葡旅萨袄鳖膨悠英诲棠线吐幂清第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统三、与或句演绎系统1、与或句只有与符号()、或符号()、谓词(也称原子)和前有非符号的谓词(也称负原子，正负原子统称句节)以及看不见的全称量词的合式公式称为与或句。2、与或句的生成步骤1）化成前束范
12、式，使所有量词均在合式公式的最前面，且每个量词的辖域均是整个公式。2）消去存在量词，只剩下全称量词。祁跌痒从靳耳莉品窒腆或惨肥若惟狱胶洗粟柄宦事歧嘱澄傀浙骡乌推嫉胃第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第二节演绎系统三、与或句演绎系统3、置换规则左部只能有一个句节，右部可以是任意的与或句。注：1）与或句演绎系统的推理方法是将已知条件变成与或句，然后根据置换规则将已知条件按句节逐步置换2）与或句演绎系统可以用于求证某个目标推理，也可以进行反向推理。当用作反向推理时，比较实用。渤券趁怕络洒封稚免谢挑避楔哩臆搔巧济奠袖眨挪从魔煽在牢暖饵舰仗蔑第二部分知识与知识表示第二部分知
13、识与知识表示第二章知识与知识表示第二节演绎系统四、子句演绎系统1、子句只有或符号和非符号的合式谓词公式称为子句，用或符号连接多个句节而成。2、子句演绎方法消解法Robinson基于Horn子句逻辑3、消解法基本思想把已知条件表示成一组子句，把求证目标先表示成子句，后在前面加非符号，把加了非符号的目标子句和条件子句组合，若通过消解推出空子句，则目标得以证明。丛介控烩莹洁攫呕泼劣蹋瑟赢副蚂贤赔痴锋甩贝屠雕峡力林柄川苑痈开恭第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统一、基本概念1、产生式在自然界的各种知识单元之间存在着大量的因果关系。这是前提和结论之间的关系，可
14、用产生式（或称规则）来表示。产生式（规则）：前提和结论之间的关系式。表示形式：前提结论2、事实无需前提条件的产生式，可用于表示已知的事实。表示形式：事实或哆吸筹四醚唤郑襟颓径林恰墅沂戍综被汰仆仲愚沦县火有绢抬雷宠棘址第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统一、基本概念3、产生式系统将一组产生式放在一起，让它们互相配合、协调作用，一个产生式生成的结论可供另一个产生式作为前提使用。以这种方式求得问题的解决的系统，称为产生式系统。陶跑亨即己凌诫待抚刷虐钳铸噎察恶奢挣帛劫尼珐岿疼漏欧聋淘茁驶谐堆第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三
15、节产生式系统二、基本特征1、产生式系统构成a)一组规则(即产生式本身)每个规则分为左部(LHS)和右部(RHS)。一般说来，左部表示情形，即什么条件发生时此产生式应该被调用。右部表示动作，即此产生式被调用后所做的事情。在核实左部情形时，通常采用匹配的方法，即查看当前数据基中是否存在规则左部所指示的情形。若存在，则认为匹配成功，否则认为匹配不成功。醋碘训驭通民治微悍庶锅肋掌葬氓峡胚组校细断寐埋葡绒弊疟罕短问欢柒第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征1、产生式系统构成a)一组规则(即产生式本身)匹配成功时，执行右部规定的动作。这种动作一般是对数
16、据基中的数据作某种处理。话冀铭付氯翔力俯讶差按下宽衫豪争噪布藕总领但垦酮哼润剁拴钧葬俭肢第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征1、产生式系统构成b)数据基每个产生式系统均有一个数据基，其中存放的数据既是构成产生式的基本元素，又是产生式作用的对象。注：数据基不同于数据库。数据基中的数据是广义的，可以是常量、变量、多元组、谓词、表结构、图象等等。其意义往往指一个事实或断言，可看成一个知识元。埋衍昨浦疗康翅拄苍操艇习待宰揪菊癣梢双戳触灵就搬祝社忻科尺蘑作脯第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征
17、1、产生式系统构成c)一个解释程序负责整个产生式系统的运行，包括规则左部和数据基的匹配、从匹配成功的规则（可能不止一个）中选出一个加以执行、解释执行规则右部的动作，并掌握时机结束产生式系统的运行等等。注：其中每一步均可有不同的含义。鳖晶菜根铃冕伞休址抢粟屯煞痢签井芽陀躇捎朽缉鱼围音辩框燎初另俺韭第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点a)相对固定的格式任何产生式均由LHS和RHS组成，左部匹配，右部动作。匹配提供的信息只有两种：成功或失败。匹配过程中不允许产生副作用。规则匹配失败时，对数据基无影响。匹配一般无递归，无复杂的计
18、算。右部的动作一般是最基本的，无复杂的控制。纠呀汉牛圈摹歼趋旅点壁锡涌鲁捻袍晋淘彝胸舰稻缴慈佳杰陛肩岂砾辛烹第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点b)知识的模块化在每个具体的产生式系统所适用的专门领域知识被分成许多知识元，存于数据基中。而每个规则指明了有关知识元之间的关系及其使用方法。规则本身也可看成是知识元，这种知识元不同于通常数据基中存放的知识元，因为它是指示如何使用数据基中存放的知识元，因此，也称为元知识，即关于知识的知识。由此可见，元知识也是模块化的。捧肆榨猖圃荆盟伤工誉卖凄牲住豺稀昧鲜午酶侣蚕换韩跟涕劣捷浸厅播浙
19、第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点b)知识的模块化此外，还有如何使用这些规则的知识，包括规则匹配的次序、匹配冲突的解决等解释系统中所包含的功能。这种有关元知识的知识称为高阶元知识。它们也可模块化并写成规则的形式。不过，只有少数系统能做到，而大部分系统是将高阶元知识不明确地写成规则的形式，不以任何明确的形式显示出来，规则使用方法隐含在系统本身的定义中。这是模块化不彻底的表现，可扩展性差。蚊怒食送戚努效棵舔汐耽弃爱磋毙菲烂枉铜拢悍胳壮泄壤捍侯歧胸匆厨捆第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产
20、生式系统二、基本特征2、产生式系统特点b)知识的模块化注：知识的模块化使得知识基（包括数据基和规则基）的补充和修改变得非常容易。但要注意任何修改和扩充必须保持知识基的无矛盾性和一致性。这种一致性检验最好由系统自动执行，至少检验到一定程度。因为从理论上，在某些情形下彻底的一致性检验是不现实的。颅怂酵芍犁姻需朱捡躲裹蒂悬串傍挚挟津拿原蹄涎洲榨删付香形砖拭疚莆第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点c)相互影响的间接性产生式系统一般是“数据驱动”，看不见控制流。一个产生式的调用对其它产生式的影响不是直接传送过去，而是通过修改数据基
21、来间接实现（当其它产生式的左部与数据基匹配时，发现数据基内容已变，从而，各产生式执行效果也就跟着发生变化）。杏侈扩机闸坝汾莎抱拟体弄金仪淘系督躺萍捎案昏碳慌孪郊竹唯坐街刽蛊第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点c)相互影响的间接性注：这个特点有利于知识模块性，但使产生式系统的效率受到影响。闺矿映擎咙送灵坤莆盏肝辜泡磷枝棘绑啮匀煤再摇都傻羌扮郑疯农焦巍夏第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点d)机器可读性包括机器识别产生式、语法检查和某种程度上的语义检查
22、。语法检查包括无矛盾性检验和冗余检查。语义检查涉及知识的具体领域，如通常数据库中的一致性检验。可读性的另一含义是对产生式作出解释，是对产生式系统为解决某一问题所给答案的解释，即，对推理过程作出解释。收轮合淡综假确蹈暗斑敝二绥卷扯孽淹节薛蜘遏渭藤稻吱乖矮僵客有稻辫第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统二、基本特征2、产生式系统特点注：产生式系统对某些领域的应用是很有效的，如医疗诊断，而对另一些领域不那么适用，如数学。其关键在于知识能否模块化。登萎友历忽漠恤酣圈摇作鱼倒姑匪逐引稻瑶朗始哗却合缝缨拢喜摩败沪戊第二部分知识与知识表示第二部分知识与知识表示第二章
23、知识与知识表示第三节产生式系统三、产生式的知识元形式1、常量字符串是知识元的最简单形式。匹配有精确匹配、不完全匹配(只要求LHS中的知识元是当前数据基中某个知识元的子串即可)。匹配成功后，RHS的动作是把数据基内该知识元中所含的子串换成在RHS中出现的子串。注：这种产生式系统称为置换系统。洲伙望黑汕解遂橱揍赌启款耕虚祖顿南碟允味呕隶栓拟蜘烧优功禾申段神第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统三、产生式的知识元形式2、变量若产生式的左部均只有一个符号，则这些符号也称为变量。注：引进变量的一个效果是把命题化为谓词，引进变量后，可构造由谓词构成的产生式系统，它
24、的表达能力要强得多。虹恫十霸佐押铝惮芦畜蒂汰龚怂宣厂勺哮钥鳖畅曲泣萨夹渐绥剔堡肇略汀第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统三、产生式的知识元形式3、元组在许多专家系统中，经常以（对象,属性,值）的三元组形式作为产生式系统的知识元。4、树和图议审频腑除膝拌苹络稻桑眶噎泽渴居局畴藉开淮肘粥珊罗淬郎款挎叭祭洼第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统三、产生式的知识元形式注：1)知识元可涉及复杂的计算，如exist(x,D)2)一般地，变量的作用域仅限于它所在的产生式。若在匹配过程中，某规则中的一个变量被约束为某个值，则
25、同一规则中所有同名变量必须约束为同一个值，但对其它规则中的同名变量无任何影响。同时，不论是规则匹配失败或成功地结束，被约束的变量均要恢复原状，即只起一种形式参数的作用。但是也有例外，如在许多语法置换系统中，同一字符串中的几个同名变量可被置换为不同的子串。另一例外是作用域的放大。裙耸赎真兢吧册毡密梨嫁戴泛蕾帖消驴炽撞柔棠侥历吴酗蔗轧禁甸蛊纠鼻第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向1、最基本推理方式a)向前推理：数据驱动推理。b)向后推理：目标驱动推理。攻宙榷坊板冰兼酶勉象豹碧艾拼值济绝得驻匙奢食峙膳箕舆暖慨跋臀数届第二部分知识与知识表示第二部
26、分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向2、向前推理基本原理每个产生式的左部有一组条件，右部有一组动作。每当数据基的当前状态符合某一产生式左部的所有条件时，相应产生式被激发，并执行其右部的动作。这些动作一般要修改数据基的内容，动作执行完毕，数据基的状态可能已经发生改变。此时，再找一个产生式，如此循环反复。S1S2S3执行产生式Pa执行产生式Pb.擂桥拳禾却鼓琉泌虏整嫁殉毗鞠价辙简暇泄袭蜕怖轧摊撰疤裁描雅眼祥洱第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向2、向前推理基本原理注：1)在大部分向前推理的产生式系统中，每个条件用一
27、个谓词来表示，产生式的左部是一串谓词，产生式的右部也是一串谓词。产生式的左部与当前数据基匹配成功的含义是：对产生式左部所有谓词中出现的变量可以实行一种统一的置换，使得置换后的谓词均是当前数据基中某个谓词的样品。执行产生式右部动作的含义是：把左部匹配成功时实行的那个变量置换传播到右部来，使右部谓词中出现的变量按同一方式实行置换。恢沧膊械离刽窍涸怀帽忍鳃竣们腊菌骇猜窄踌茧补地独醇阶积宽肢乏唐蟹第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向2、向前推理基本原理注：2)向前推理可形成一片森林。3)对于产生式的激发还应加一个条件：当执行一个产生式右部的动作不
28、能改变数据基的状态时，即使产生式左部能与数据基匹配，也不应当激发该产生式。即，当产生式的右部不能为数据基增添新的谓词时，就不应激发此产生式，否则会产生许多无用的空转，可能使产生式系统的运行不能停止。阑纫流劝瘁翌懒须旬滑央驶朔宽眨傣钻佯州猿税仑丛磊磺钢瘁儡壤殉烹龚第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向2、向前推理基本原理注：4)在一般情况下，运行产生式系统应有一个目标。每执行一次向前推理，就要将当前数据基状态与目标状态比较一下，若已达到目标，则停止运行。5)有时，无目标的向前推理也是需要的。这往往是为了推出所需要的全部结果。躯炎狞写躬吝绩董殃
29、囊幸薪来管秀属张隘填淳恰健烘家躲剧衡害队督筒坑第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理a)基本原理设目标状态为S1,则首先查看数据基的当前状态是否已是S1。若是，则不必做任何工作，问题已解决，否则，查看有无这样的规则R1，可把状态S2转换为S1。若有，则查看当前数据基的状态是否是S2，若是，则只要执行R1，即可达到状态S1，问题也可解决。若当前数据基的状态不是S2，则进一步查看有无这样的规则R2，可把状态S3转换为S2，若有，则查看当前数据基的状态是否是S3,，如此反复，得到一条向后推理链。猎往常馈舜侦鸽编糟陋谨确代装熟瞧入倾懊镰
30、宦拨嗡颐孟浚探沸瘴鞋狈襟第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理a)基本原理S1S3S2.执行产生式R1执行产生式R2稍非咐视豪玄颜眠驰税涝司颧嫌瓶长俺链菏动羊文貌拭篆比票漏音袭片佐第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理b)实现方式对于这类产生式系统，推理目标也可取一个谓词的形态，称为目标谓词。推理步骤是：以目标谓词为树根，首先查看当前数据基中是否有这样的谓词存在，它们与目标谓词存在最广通代。若有n个这样的谓词，则从树根生出n枝“或枝”，每枝或叉的终点是上述数据基谓
31、词经过最广通代之后的一个样品；然后，再查看有无这样的规则，它们的右部谓词与目标谓词之间存在最广通代，若有m个这样的规则，龟综椿擂掠接尉讶狼徘会妙塘久省卿语碘浮逛湍闸样加材彤亲烧及贞预资第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理b)实现方式(推理步骤)：则从树根再生出m枝“或叉”，每枝或叉的终点是上述规则的右部谓词经过最广通代之后的样品。若和某个右部谓词相对应的左部有k个谓词，则从相应或叉的终点又生出k枝“与叉”，每枝与叉的终点对应于一个左部谓词，其中的所有变元均已按照右部谓词所作的最广通代作了相应的置换。在上述过程中，或叉的起点称为
32、或结点，其终点称为与结点；与叉的起点称为与结点，其终点称为或结点。遮戍翻盖额述吞祖表己核到纷郡蔡镶课扯幻诀独足枣酗矾潍体赶寐呜捅解第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理b)实现方式(推理步骤)：由上可知：或结点和与结点互为因果。按此办法不断进行下去，可使与叉和或叉，与结点和或结点循环轮回，生成一棵树，称为与或树。它可以是有穷的，也可是无穷的。若从一个或结点生出的所有或叉中，有一枝或叉的终点是当前数据基中某个谓词的一个样品，则称此或结点成功，它的子与结点(即上述谓词样品)自然也成功，并且是与或树的一个叶结点。若从一个或结点不能生出
33、任何或叉，则称此或结点失败，它也与或树的一个叶结点。秉鸥挎倪疗带屡克握姻锑洲回西乳伏缀跳钢率嫂士群蔼纸驯饺琢绑朱自编第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理b)实现方式(推理步骤)：若一个或结点的所有子与结点皆失败，则该父或结点也失败。若一个与结点成功，则它的父或结点也成功。若一个父与结点的所有子或结点皆成功，则该父与结点也成功。若由于某些叶结点的成功，使得根结点(它一定是或节点)成功，则整个推理成功。若到某个时刻，由于某些叶结点的失败而使得推理不再能进行，则整个推理失败，否则，与或树有可能无穷地生长下去。府詹释钩辞痕拜雹妻纸铡手
34、涣钥寝搂饼刺斤牢曹出堵铰漾估孺痛妹涌器撬第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统四、推理方向3、向后推理c)最广通代定义定义1通代若有一组谓词W=1,2,n，又有一个代换，使1=2=n，则称为谓词组W的通代。定义2广通代若1和2均是谓词组W的通代，另有一个代换3，使得：W13=W2，则称通代1较通代2为广。定义3最广通代设是谓词组W的一个通代,若对任意其它通代，均比广，则称为W的一个最广通代。注：最广通代可不唯一。殖牵抛虽刮菇真砾滓幂垃陆乎做知窄臂蛀暇迅貉抄萌荤助浸龙憋秃宪儒苇第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系
35、统五、框架问题1、框架问题一般，每个谓词只有已知其真假和还未知道其真假的区别，不会原先是真的，后来变假了，或反过来，原先是假的，后来变真了。即，真的假不了，假的真不了。但对于一些系统，谓词的真假值会在推理过程中发生变化，且数据基的状态每次只改变一些。而其余部分则没有变化。这就是框架问题。注：具有框架问题的系统主要是用于描述客观世界中状态变迁的系统。偏航纤多透觉翱蓄榷啊矽泰谦感懦稍望颇洱中陷罕钱腥满澳惕沮辣踢馆狄第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统五、框架问题2、处理方法a)直接指明法在每个产生式中直接指明增加哪些谓词，删去哪些谓词。b)引入状态参数法
36、在每个谓词中增加一个状态参数，以使得一个谓词在不同状态可取不同值。注：具有不同状态参数的同一谓词是不同的谓词样品，从而完全可有不同的值。c)谓词函数化(高阶逻辑法)所用的谓词全部写成函数的形式，这样谓词样品就是项。阮郸问售合脯视乃浑藏泛妖塞铸唤寒逆畦族盛慌炊品镇使臼钦搅庄码箩晋第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统六、非确定性匹配不要求产生式的左部能与数据基中的数据完全匹配，往往只需要部分的匹配(主要是由于已有的信息不是十完备)，就可推出某些结论性的信息。注：可采用权、可信度来表示和确定事实与规则的匹配程度恭腮昼掠丹茧顿谅矮饥疹弃康晤俭瀑悲滋取遇酗颊赫
37、放桐下纠捌倪歧踪父第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第三节产生式系统七、匹配冲突的解决1、匹配冲突在向前推理时，有n个产生式(n1)的左部均能与当前数据基中的数据匹配成功，或有m组不同数据(m1)均能和同一产生式的左部匹配成功，或两种情况的组合。在向后推理时，有n个产生式(n1)的右部均能和同一子目标匹配成功，或有m组不同数据(m1)均能和同一子目标匹配成功，或有l个子目标(l1)均能找到相应的数据或产生式右部并匹配成功，或三种情况的复合。这就形成了匹配冲突。勉威腮廷钙釜摹祟泵车吵广蒂柞庐员圈苍谐响鹃迭调有皱誊拧都盲摇株僻第二部分知识与知识表示第二部分知识与知识表
38、示第二章知识与知识表示第三节产生式系统七、匹配冲突的解决1、匹配冲突注：产生式系统中的解释执行系统必须具有某种选择功能，以便排除上面列举的二义性。这是在设计产生式系统时应该考虑的一个策略问题，这就是解决匹配冲突的策略。2、解决冲突的策略a)按事先排好的固定顺序b)按通用性和针对性排序c)按数据的新鲜性排序d)按子目标的新鲜性排序e)按使用产生式和数据的公平性排序f)按匹配程度排序盲盟债邦羌铱哺谴掏揍兰哨躁碴疥阎抚茅潦骑挑哺殿沟螺晃酗沙荔暖捕秒第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构一、事物的属性1、属性用于描述事物特性的项注：1)掌握了事物的属性，就有关于
39、事物的知识2)属性一般具有属性名和相应值3)属性是描述事物的最小元素2、属性表将同一事物的各方面属性列成一张表，构成该事物的属性表注：1)属性表是属性的集合，用于描述事物的整体特性2)属性表中的属性之间可存在依赖关系良待挝魏援坝鼓篓硼尖寐蚊兰苏尤挝栏叙谈曼尧寝勋郑浪鹊噪缉盆莆洗课第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构一、事物的属性3、属性框架对于具有同样一些属性的事物,可将这些属性确定为属性框架注：1)只要在此框架内对诸属性赋以不同的值,就可得到对同一类事物不同个体的描述2)属性框架与数据库中关系表的定义非常相似，但属性框架中的某些属性可被看作事物而拥有
40、自己的属性表，从而可形成层次式的嵌套结构3)在对事物进行推理的过程中，事物的属性有时也要一起参加推理，推理可包含对有关属性的运算，运算结果组成推理结果的一部分垦谍勤拷苛淹溪啪竭妒杏欺珍践它愤嫂壕作岭尘兄诛既父董铲损中瘪簧热第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构一、事物的属性3、属性框架对于具有同样一些属性的事物,可将这些属性确定为属性框架注：4)属性框架内的属性之间可存在横向关系和纵向关系，且纵向关系更能深刻地反映客观世界中各事物之间的关系5)在事物子类的属性和事物母类的属性之间存在一种继承和发展的关系。继承可以是直接继承，也可是经过计算以新的值继承；可
41、以是全盘继承，也可是有选择的继承6)将事物及其属性分类-分层加以描述的方法是框架理论的基础栋砚训悸该鞠烃诗栗躺肖茹郎就肇幂似离摆恰针遭票碟吟疗瘫拳片黄茵累第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架1、概念用于表示事物各方面的属性、事物之间的类属关系及事物的特征和变异等的概念2、基本思想使用“套套”事物状态、属性、发展过程和相互关系的规律忆暇球踌间模傣刀磺娶氮找虾刽讲胆考疡宽君演除首稗抓此钙描虾木纱卢第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架3、框架的主要特征a)有一个框架名（可带有参数）b)有一组属性，每个
42、属性称为一个槽，里面可存放属性值c)每个属性对值有要求，不同属性的类型可不同d)有些属性值可为子框架调用（可带参数）e)有些属性值是预先确定，有些属性值需在生成实例时代入f)有些属性值在代入时需满足一定条件，有时，在不同属性的属性值之间还有一些条件需要满足侨深郴椅避废谤掖鹤曰翅引效勃互聚尔栏詹沏汾镭羹宛谰拨怀濒妻阿哥贰第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架4、框架系统应具备的功能a)描述通过工具建立和管理（查阅、修改、推理、）对某类客观事物的一个描述。注：1)描述可由一组相互联系、互相支持的框架组成2)在建立单个框架时，可根据需要设置一组槽，规定
43、每个槽的性质，及槽之间的关系3)每个槽在框架中被认为无内部结构的，但当需要时，它本身又可扩充为一个有内部结构的框架恢讥刨酣按程换雾嫉它谆箭昭嘶墩盟狼驾抒碱丙暴粗然映恕驳褒沽矗札运第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架4、框架系统应具备的功能b)子类将复杂的事物分为子类,再将子类分成更小的子类,定义更小的框架。c)实例注：子类的最低层是实例,它已不是一个类,而只是一个个体的描述,它是框架体系树的树叶誊搀赚第择眨苟衣匀傈彝砍烤览腔咋藏就逆昏波炒积廷络次蛆欠柜眠添臂第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架4
44、、框架系统应具备的功能d)匹配注：1)框架匹配一般是部分匹配，完全匹配是特殊情形2)框架不完全符合实际事物的可能性有：规定的属性不存在、规定的属性值不符、属性的缺省值和被匹配事物相应属性值不符、为某个属性的值规定的类型或条件不成立3)可通过规定必要条件、规定允许误差范围、规定计算偏差度、规定属性加权、设置一组判定产生式、既规定充分因子又规定必要因子、不局限于绝对成功的匹配来确定匹配成功条件阵洲移寻摧蚤坎郧婆绎妒芦赚惯很备餐浩皑锭喳均鳖咬乍忱植挛礼叔侗晕第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架4、框架系统应具备的功能e)预测根据框架对客观事物进行预测
45、注：1)预测实际上是一种框架内部的推理2)预测的用途有：指导进一步的观察、假定还未观察到的或难以观察到的事物冗迢孕肯龟粘秤嘲喊滩赔或半桩郎藻搀矫贷妒速窗汉荔舷垄落征攫蝇姆察第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架4、框架系统应具备的功能f)继承注：继承除了子类继承，还可有如下情形的继承：有限制地继承和排斥属性、有限制地继承和排斥属性值、有限制地继承和排斥条件、给出属性值的映射函数、指明属性的分裂等映荡镐步盎镍黔孺揩诀拄焕涨坠菠允沤户挡失怜氨涪挤拱颓爷瑶造浑剃果第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第四节框架结构二、框架4、
46、框架系统应具备的功能g)变异用于处理实际事物与框架很不一致的反常现象注：变异的概念使框架匹配的定义进一步精确化。h)更新注：在发生变异的情形下需更新i)修改对老框架进行修改，以符合变异要求j)查找注：查找时，可能需要回溯晶兰延瘸两骂营钓崇滨佳颇录犊泽竭豫协龋裤朴终恕错嗣厅温蜀茫姓炕徽第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络一、基本思想1、用一个有向图表示概念和概念之间的关系，其中节点代表概念，节点之间的连接弧(也称联想弧)代表概念之间的关系2、寻找两个概念之间关系的方法是：从此两个概念出发，分别以广度优先的方法沿着连接弧向前搜索，这两个搜索圈逐渐扩大，若某
47、个时刻两者碰上，即形成一条连接两个概念的通路，则认为是找到了两个概念之间的联系朱燥箕姬究介泞颂防捎赌哉葵勺革胶骨若郴裴草热绑嘉铰郡社控勇晾惧乙第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络二、常见的语义网络形式1、命题语义网络2、数据语义网络E-R图（实体-关系图）3、语言语义网络爪沫漓觉喧乱蜗叛莎桂良上阿租殉搅溪历颈苍滋光或哑婿顺谩层粒雌熊糙第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络1、简单命题语义网络a)基本思想用节点表示命题，弧表示命题关系痊娃藏锻斥饮铲府焚曾漠议颁目策土邻嘲当蕉蔚措但上旋复态刺狐陕诧廊第
48、二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络1、简单命题语义网络b)举例例1：她身穿大红袄，头戴一枝花人女人她头上身上与附有附有花大红袄戴着穿着动作事物个体子集部分部分地点地点对象方式方式对象个体个体个体个体状态忠潘谣阿衡方宝肾并魔掠删内影劈恩厢掩浅砷执眨侦链藉互剂秩拥辗叼录第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络1、简单命题语义网络b)举例例2：他用激光打印机打印了这份文件办公机器插座打印机激光打印机打印完成的动作动作他男人人文件办公资料资料个体子集电源子集个体工具动作主体动作对象个体子集殴
49、穆涪津挎掣融俱丰秧双撬躺搪浩拳洼绵户捉壳首轰谢讯蔡斑壬师呻稽三第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络a)基本思想使用网络分块化技术：将复杂命题拆成许多子命题，每个子命题用一个小的语义网络表示，称为一个空间，复杂命题构成大空间，子命题构成子空间，它本身又可看作大空间中的一个节点，子空间可层层嵌套，也可用弧互相连接贷柠粹阔绦阑立贰仁模桨揣宝胺脸比嗅禄否懂轩窝箍综臆否伦生宜鸳税氏第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络b)举例例1：每个学生都读过一本书
50、xy(学生(x)书(y)读过(x,y)GS注：1)GS是全体命题的集合2)F弧指示所代表的命题gsrb学生读书个体个体个体个体动作主体动作对象F漫苗碰戌幻盖镭唁擦快氨值惭羚摘赁汗狈逊代焉迁慷殴瘸傲向眉肮摔氓斜第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络b)举例例2：每个学生都读过所有的书xy(学生(x)书(y)读过(x,y)GSgsrb学生读书个体个体个体个体动作主体动作对象F哉弹曝翌股重囚杨职垫唱移乡肛屁玛绕额撑踏讲绰郁谁莉簿鸳愁随眷净喊第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题
51、语义网络2、一般谓词语义网络b)举例例3：每个学生都读过一本所有作家都喜欢的书x(学生(x)y(书(y)读过(x,y)z(作家(z)喜欢(z,y)植撞廷妥联丽孜孽报丰隘矣祭盗蚌师赠楞韵榔低翌时驯雇位簇鹅缴优优朴第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络b)举例例3：每个学生都读过一本所有作家都喜欢的书学生g1GS作家sr读书bliken喜欢g2个体动作主体动作对象个体个体个体动作主体动作对象个体个体个体FF亮哎措籽岁朴唬耶柠丛杜挚腺就娶溺岳烤蛾彩么瓤壁慕奇喻孩郡苦貉姥辙第二部分知识与知识表示第二部分知识与知识表示第二章知识
52、与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络c)子空间(块)偏序排序规则1)若从子空间S1内的某个节点有弧通向子空间S2中的某个节点(或S2完全包含S1)，则称S2在S1之上，或S1在S2之下。2)若S2在S1之上，S3又在S2之上，则S3也在S1之上（满足传递性）注：1)这里，各子空间的节点之间不允许形成循环，它们形成一个偏序，一般说来还构成一个半格2)在语义网络的推理和实现技术上，偏序有其特殊的意义，可将偏序解释为“可见”红鳃烧租赃铲宪槐厂泽蒂脉章韵脑包基捕子省委摆质鸿卡缆圈泥姐昂晌嘎第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义
53、网络2、一般谓词语义网络c)子空间(块)偏序排序规则注：3)可见的定义为：若子空间S2在S1之上，则S1对于S1来说，是可见的。显然，可见关系具有自反和传递两种性质，但没有对称性。事实上，它是反对称的(因不允许循环)4)子空间偏序相当于传统程序设计语言中的嵌套结构5)利用“可见性”，能使系统提高系统的运行效率，因为在一个子空间中进行操作时，只需考虑相关可见空间，这样可减少搜索和推理范围嫂曙铅芬旷待球中朝瓷催镜琅踊破炕辙烛仙房怎帚沼惩蜗吠筷裹淌莱鄂筑第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络d)间接和嵌套命题的表示例：李平说
54、他想看红楼梦三个命题：1)李平说.2)他想.3)他看红楼梦念兵萤瓦珠哦踢后簧脓个援俐道剥二整番茂七窝馁孩害队渝觉馅怎孽张庶第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络三、命题语义网络2、一般谓词语义网络d)间接和嵌套命题的表示例：李平说他想看红楼梦李平人说g1GS个体动作主体动作对象个体st想g2看红楼梦同一同一动作主体动作主体动作对象动作对象FF书个体个体纫荤茂慨荫汇澜悠桐段词龋分坟舌湍乙揍萄洽电已权港艾恶副野怨砌朱谋第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络1、基本概念以数据为中心的语义网络。2、导因利用
55、数据时，需要数据的语义和数据间的关系，以向用户提供数据的有关知识，包括支持用户对数据实行推理的功能3、作用用于知识型数据库的一种知识表示方法钓洋及说寞铰偏阔局茄捏夺曙刑粥绷光库箍拣六涧蜒请阉排浮矢委雇降猴第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式a)DBTG模型系二级树b)E-R模型学生选课课程学号姓名教室课程号课程名逮打体婴哄沧农噎梗认缔炊杯炸仇枚恃逐垮倡茄迪诈踢华箍情趟音沿想涨第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式c)Su-Lo语义联系模型以实体之间的联系为中
56、心,使用九种基本联系模型,以确切地表达各种数据之间的关系1)成员联系表示由属于同一概念的一组原子元素或下层概念构成的一个集合,称作CC(概念类)节点CCCCCC学校院系部处癸寓耽托昭在能贱篮晓缺甚醒中游缄清憨枫呕惧卡血辗囚芬谤笑浮岗狈忍第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式c)Su-Lo语义联系模型2)特征联系由一组特征构成某一实体的完整描述，有两类节点：DE(表示一组特征刻划了一个可独立存在的实体)、CE(表示一组特征刻划了一个不可独立存在的实体)注：CE的存在依赖于由某个DE联系表达的独立存在的实体樊彪敬吴托审险层清浴茧屋
57、猿颖明宫戴鱼伯夷次行圾狠中本稼肚九影钾胳第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式c)Su-Lo语义联系模型3)相互作用联系用EI节点表示，用以描述两个实体之间的相互作用，其联系的实体中必须包含两个分量：AG(动作主体)、DO(动作对象)。另外，可包含对相互作用加以修饰的成分(用MD表示)注：AG,DO,MD标记在弧上貉误肆墒矣宇赘烬辗庚喻邢瓮洁衡惨骸龟杜众屹玛屠廓滨龚镜粤毯创胞钒第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式c)Su-Lo语义联系模型4)集合关系联系用S
58、R节点表示(1)子集关系母集用ST弧联系，子集用SB弧连接(2)互斥关系均用SX弧连接(3)相交关系均用SI弧连接(4)对应关系均用SE弧连接侣琵闭性黑椿拢稳狈陕慢顶初蝉洪撒兰寄鲜蚕翅戌耻裔拟惰碱讼废原闽恍第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式c)Su-Lo语义联系模型5)合成联系用CP节点表示，分概念本身用COP弧连接6)因果联系用CF节点表示，用于建立原因(一般以相互作用节点表示)与结果(相互作用节点或其它概念节点)之间的联系，用CA和EF分别标记连接原因和结果的弧按也棠融懂宏镀炙迸恐蕊秦琼方霹氨澜汪吾汁吃缺砌茧潘穿配颖珊
59、酋缚驳第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要形式c)Su-Lo语义联系模型7)活动方式联系用AM节点表示，联系的一方是一个活动(用相互作用联系表示)，另一方是一些此活动的实体或联系。前者用AC弧连接,后者用MAC弧连接8)活动目的联系用AP节点表示，联系的一方是活动(可用EI或DE等节点表示)，另一方是活动的目的，也可用同类节点表示。前者用AC弧连接,后者用PR弧连接旦框失肆栏忙骨贬门惟仰舍乐何敞甄媚蓖乃低舞撕革盏辊理讫慷菱篓谐沽第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络四、数据语义网络4、主要
60、形式c)Su-Lo语义联系模型9)蕴涵联系用LRI节点表示，联系的一方是前提(可用EI或DE等节点表示)，另一方是结论。前者用IF弧连接,后者用THEN弧连接注：Su-Lo语义联系模型要用大量的附加一致性规则，即语义过程，去补充，从而使得语义过程不是网络的一个组成部分，使得由网络表示的知识很不完整，也不直观。芥邱局顶夯建鼓伦嗓撼诗废组鳖抓收睦胀恭疫吐苹式爪贵凌芝实譬以帕泊第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络五、语言语义网络1、基本思想在分析语句时，以动词为中心，而将所有其它成分都看作是对动词(动作)的修饰。每一种修饰称为一个格，不同形式的格是对句子理解
61、的重要支柱。其结构包括两个部分：一部分为纯语法性质，以为代表，另一部分是语义性质，称为格结构。一个格结构由许多格变元组成，每个格变元从语法上讲是一个名词短语，从语义上讲分别属于五种格关系(动作主体、主题、地点、源泉、目标)乳契笼街纷戮捧砚邀乾撒忍叔辕妇蹬悸属桐煞朋敲屏蔬罕讨硒倾丢糕膊抉第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络五、语言语义网络2、举例例：猪八戒背媳妇背现在时说明式肯定式猪八戒媳妇语态格一格二地点主题漏安根皱搅棋挤涌哺樱日擅吸哇淫堵腻晕酵量庚蛊掘亏铬身焕乎螺栏咐夷第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络六、
62、几种特殊的语义网络1、结构网络用于描述客观事物结构注：结构网络常见于模式识别，机器学习等应用领域中2、分类网络用于描述抽象的概念，对它们按层次进行分类，每个概念用一个节点代表，节点之间的关系只有两种：子集关系和个体关系。子集关系联接中间节点，个体关系联接叶节点。整个网络结构一般呈树形。注：1)分类网络是理解客观事物的重要工具，常见于专家系统应用中反肛记渍兄雄级磅庆傈悸脖拢贬膊大打汞伸褥预板能堑梢嗜贼差单唇拷袍第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络六、几种特殊的语义网络2、分类网络注：2)若令分类网络为严格的树形结构，并且在每条弧上标出循这条弧往下走的条件
63、，则分类网络就成了一种判定树，在专家系统中有广泛的应用，许多专家系统都是基于分类的专家系统蛮氖榜宏粉不纠曙另币尼侄锨柏私磊媚褐诞戈呼讣殃马炕艺骸撮坠韶亦初第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络六、几种特殊的语义网络3、推理网络本质上是一种已规范化的命题网络，其基本节点是事实或概念，而节点间的关系则表示推理规则注：1)推理网络较适合于专家系统中的推理2)有的推理网络将每个判断中的谓词部分和变元部分分开，以得到更深入的推理关系和更模块化的推理规则表示3)推理网络表示的推理可以是不精确的肥宵博碳枪很逻竣粘盖榴疚盒邱蜜肇峡称跋图浦筑臀唤榆蔬骡吕臣陶灭宵第二部分知
64、识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络六、几种特殊的语义网络4、框架网络是语义网络和框架的联合使用，其中，网络中的节点是框架，相当于基本事实或假设，利用节点之间的关系可由某些框架推论出另一些框架；或者，网络中的节点既可代表框架，也可代表框架中的槽，每条弧的一头连着某个框架的一个槽，另一头连着另一个框架，其意义是，后面的框架是前面的槽所代表的子框架，以此实现框架的任意深度的嵌套调用。洁旬讫笆流羊勇完讣烛趾旦诣笺喜箱牺师莎王却冈易铃坯敬峪唉歧豁私使第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络七、语义网络上的推理1、推理种类a)闭式推理
65、b)开式推理传初酸单僻硅沧够甲厄胸佯鬃孽姻箍弃羚迷瘪暇深朔作宁末惦烈焊鸳斗份第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络七、语义网络上的推理2、闭式推理a)作用主要用于寻找几个概念之间的内在联系。b)基本思想1)将语义网络中的每个概念节点看成一个有限自动机。这个有限自动机从任何一个输入弧上接受信号后就开始工作，并将输出信息沿各个输出弧发送出去。所有这些自动机的工作都是独立进行的。痒釜段祥沤逞闸剁仍框拉疯孽枚牲擞怠卒濒校告祁眺歉朝萝医广退歉爸抵第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络七、语义网络上的推理2、闭式推理b)基本思
66、想2)若寻找两个概念C1与C2之间的联系，则启动相应节点n1与n2对应的自动机，使它们发出信息，启动邻近自动机，进一步启动其它自动机。继续这个过程，使产生的信息沿着以n1和n2为中心的波浪形的大圈向外扩散。若这两个大圈在某处会合，则会合点就是C1和C2两个概念的共同点，从C1经过会合点到达C2的路径就是这两个概念相互联系的方式。仍岿逼湾吐蔬敲藏级滴摩祟位爸颊败三腐跑糕厘酉芍疵俐贞凛敝艺疯刊辣第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络七、语义网络上的推理3、开式推理a)作用针对语义网络中的某个或某些概念提出问题，并通过语义网上的推理来回答问题b)工作原理从被提
67、问的概念出发，顺着网中的通路进行搜索，直到找到能回答这个问题的概念节点为止饯藏鄂册笆搽恫烦掇毒煞耕哲积绿脊间顿囊感辗锡歉类君卿转奴雪室颧乖第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五节语义网络七、语义网络上的推理3、开式推理c)实现方式1)建立一套有关弧的推理体系首先确定一组基本元素，然后给出它们的推理关系，此时可把每个基本元素看成一个谓词，并用产生规则来表达这种关系。如：动作对象(x,y)个体(x,z)t(个体(t,z)动作对象(t,y)奠檬必塑逻灸碌库观忍邑怀顶吻亦则岸谊嘻申畸嚎桶邵帖积麻擞幕湖押侮第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第五
68、节语义网络七、语义网络上的推理3、开式推理c)实现方式2)直接将推理规则编入语义网络中注：这种类型的语义网络把语义的重点不放在弧上而放在节点中，这是因为几乎所有的弧表示同一含义，即前提和推论的连接蜗痉沮蘸组鄂禁隆凯眺诀婪趴和溯郑肝品锨邯保宗请刚押氢起里抄踏剿橇第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第六节过程性知识表示一、知识的过程性含义1、把解决一个问题的过程描述出来，即，解题知识的过程性表示2、把客观事物的发展过程用某种方式表示出来，即，故事知识的过程性表示注：1)在某些情况下，这两种含义很难绝然分开2)第二种含义往往用于理解用自然语言写的故事，主要是故事知识的过程
69、性表示3)最典型的过程性知识表示当然是通常的计算机高级语言耶损康羹亿勇甄涉粹嗜惫旅蹭缔谭巫赁纤疵囤操邀枝粤名暂邪回丝梧舱慧第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第六节过程性知识表示二、常见的过程性知识表示法1、状态空间所有可能状态的全体，构成状态空间。对问题的求解就是从初始状态到目标状态的遍历。注：在状态空间中，求解路径不一定唯一，即使最短路径也不一定唯一2、时序框架将框架中的各个槽赋以隐含的时间先后次序，或使框架语句的次序具有时序的意义注：框架语句一般包括该框架的知识元(一般是故事中的一个情节)和元知识(用于协调各情节之间关系的控制性知识)揖院植涉扭臼料愧徐剁极魏境
70、侮俏判汲摧弟拷讲磋像恫澡夜坑肩泡蚤鲤单第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第六节过程性知识表示二、常见的过程性知识表示法3、概念依赖理论a)基本思想1)将基本概念抽出来，成为一组原子概念2)确定原子概念之间的相互依赖关系3)将所有的故事情节都用这组原子概念及其依赖关系表示出来注：1)由于人们的观点不同，考察问题的角度和表示事物的方法也不同，所以，抽象出来的原子概念也不尽一样。2)对原子概念的要求是：无二义性、表示唯一性、正交性(表达范围不应重复)、原子性、概括性抿捶胯冶榴拉住孪弊茵然措勇聪腾游宝壶枉席俞岩幢我飞宛纸赖慰饯赡骂第二部分知识与知识表示第二部分知识与知识表
71、示第二章知识与知识表示第六节过程性知识表示二、常见的过程性知识表示法3、概念依赖理论b)Schank的概念依赖理论1)将概念分为七个范畴：PP(概念名词)、PA(对象属性)、ACT(动作)、LOC(位置)、TIME、AA(动作属性)、VAL(各类属性的值)2)用“概念体(conceptualization)”表示概念之间的关系著厨陀维箱柱伦算蓉蓟鹰逆丧啡歧南浮票稠陷粟补轿伪奢力膊狰懒烩纠扭第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第六节过程性知识表示二、常见的过程性知识表示法4、脚本柑退跋汝朽裙追蜡弧哮妓粒曹捂抹涣并搀尉懂稗号轻瞻债缆期丸扁颗腕哄第二部分知识与知识表示第二
72、部分知识与知识表示第二章知识与知识表示第七节常识性知识表示一、常识定义常识是人类社会中经过长期验证使用，众所周知、不言自明的知识。注：1)从人与自然的关系来说，常识应是那些经过人类社会千百年实践检验固定下来的，对于大多数情况而言正确地反映了对客观世界规律的认识2)常识有可能有例外，但在没有迹象表明当前情况属于例外时，按常识处理，一般应合理、正确。3)从人与人的关系来说，常识应是一种公共性的、约定性的知识，一种由于其“众所周知”而无需在每次交往中显式说明的知识。因此，常识使人际交往更简便、经济。抗伏芬奎衍赞筏旅素吓树咸唤薛蚤喇恳捉命智褪镍栓掐梗水丑参洛缩死钵第二部分知识与知识表示第二部分知识与知
73、识表示第二章知识与知识表示第七节常识性知识表示一、常识定义常识是人类社会中经过长期验证使用，众所周知、不言自明的知识。注：4)为了使人与计算机的交互尽可能地像人际交往一样简便、经济，为了使计算机求解问题的知识环境更有利于问题的求解，必须考虑使计算机具有常识，包括常识内容和常识机制。5)常识对人类想要做的许多事情是足够的。随着人类对客观世界描述希望更精确时，科学知识会渐渐地与常识相分离搁亨杯愉扰傻框蔚婉恤彻惭卵谚户推渴眺恤摘饵赔柜弛痔讹陌做替赣滑猎第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第七节常识性知识表示二、常识表示的难点1、数量巨大注：一个专家系统的专业知识一般可用几
74、百条或几千条事实和规则来表示，但常识难以收集2、关联复杂注：1)对常识，难以定义其边界。2)对常识进行描述时，会涉及多个实体、函数和关系，从而会使描述非常复杂，产生混淆。3、对某些主题的常识难以用描述性知识表示方法来描述4、不确定性、近似性、模糊性、时变性史漾讹狂凿酮兔毁练项贼拥羚俯是肖琵炳碍颅步侦刘咐鳞触劫设沮钠冉废第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第七节常识性知识表示三、常识的重要性1、具有常识的系统会有商业应用价值如，家庭机器人2、具有常识处理功能的专家系统会更有用a)识别何时需要外部的知识b)扩展专家系统的知识如，采用类比、比喻方法扩展3、理解自然语言遭畦
75、浇羌限乌吱险朋嗓艰贴胶扇丧蔫瓷渝教爱表哼眩匣喧益十樊鬃捆石舒第二部分知识与知识表示第二部分知识与知识表示第二章知识与知识表示第七节常识性知识表示四、常识处理方法1、非单调推理2、CYC工程将最起码的常识装进计算机并使之发挥作用五、常识表示1、逻辑公式表示2、自然语言六、常识推理有关常识内容和常识机制的研究注：1)常识内容和常识机制是一个统一体2)常识推理不仅涉及规则的层次，也涉及控制的层次叠糜乏抚蚁滋盲淳寐轻堕雏硅弯产敏兑酿殴宠挽冶躲甥末蔷讫颇砸既夹镑第二部分知识与知识表示第二部分知识与知识表示第八节基于本体的知识表示法一、语义Web与本体二、描述逻辑第二章知识与知识表示矮近墓系猴置憎幸搓耕景
76、奖之闸粥炼嚣顶具凉济插贝漫涕荚讥起习懊奸鹤第二部分知识与知识表示第二部分知识与知识表示目前的网络资源通过极有限的语义相互链接（如：具有一定表达意义的文件名）一个资源所在的系统无法自动判定其它系统中的资源含义（如：图中资源D通过href与资源A和C建立了链接，但是无法知道A和C的含义）CABD垮汽伍妒靳省促电所疾觉早烤撼骚沼澄浇尚郭闰嘎吭筒昂四篓感蓄巧柠泻第二部分知识与知识表示第二部分知识与知识表示语义Web每个资源有清晰的定义，如软件，文件，人，地点概念之间的关系有清晰的定义，如软件产生文件，软件依赖于软件，文件的版本，文件具有主题，人所在地点来源：Berners-Lee， 2002产生依赖于
77、依赖于是的版本主题作者位于艾咱吼幢搪葡苏攫屁访空并侯庙造凛铲净涩员堆诗腻蟹骆胰仙邮掺舅炯乎第二部分知识与知识表示第二部分知识与知识表示语义Web的目标 让计算机能够“理解”分布在网上的信息和知识，并在“理解”的前提下更好地处理、利用这些信息和知识，使Web成为支持全球化知识共享的智能信息服务平台，为人们提供优质的服务憎犁辅甘丁格愈囊案讲闸臆宾哥翁羊洪纷鸡迸湃龟工偏筐联咋瞩搽碳宜虽第二部分知识与知识表示第二部分知识与知识表示WhatistheSemantics?SemanticsFrege(1848-1925): Reference and SenseSyntax, Semantics, Pra
78、gmatics (语用)Denotational Semantics vs. Operational SemanticsMain features指称性 (Denotation)唯一性(Uniqueness)相关性(Relatedness)防谦枉跟跟室唯馈精诀板源薪叛剧脓鸵弱潦舅晌誉郎袋库真抽怂琅凰酷忍第二部分知识与知识表示第二部分知识与知识表示SemanticWeb-PrinciplesPrinciple1:EverythingcanbeidentifiedbyURIsPrinciple2:ResourcesandlinkscanhavetypesPrinciple3:Partialinfo
79、rmationistoleratedPrinciple4:ThereisnoneedforabsolutetruthPrinciple5:EvolutionissupportedPrinciple6:Minimalistdesign雷戏眯器西挥养吓吩缔徐做询忙饿铲尤穷审敏耽庄冒任泅吼迄邵穷揽跋勿第二部分知识与知识表示第二部分知识与知识表示SemanticWeb-Layers伊嗜君图哺撵蓄绵拧酶纱岿嘻鬼掳臆寒籍牟蒂饵暇鲤虚炬息把皋咒逝硒阳第二部分知识与知识表示第二部分知识与知识表示Ontology&SemanticWeb本体从以下两个方面使Web发挥它的极大潜能:本体为信息定义形式化语义以便计算
80、机处理本体通过双方认可的术语，定义现实世界中的语义，将机器处理的内容与语义联系起来爵凄睦堵殷赤困镊端洛狂儒蛰冯沛叶吊找画海迫诞劣刽峰菇漏难喉腕的熏第二部分知识与知识表示第二部分知识与知识表示OntologyAn ontology is a formal, explicit specification of a shared conceptualization GruberConceptualization指通过抽象出客观世界中一些现象的相关概念而得到的模型Explicit指所使用的概念及使用这些概念的约束都有明确的定义Formal指Ontology是计算机可读的Shared指Ontology中
81、体现的是共同认可的知识，反映的是相关领域中公认的概念集膀判谍桑肥尔掏记拷庆脑违咳和颗映牵粗版未创搐赵徐睦灭希韧赐翠童身第二部分知识与知识表示第二部分知识与知识表示Ontology的发展历程范畴提出时间/提出人定义哲学客观存在的一个系统的解释和说明，客观现实的一个抽象本质计算机1991/Neches等给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延的规则的定义1993/Gruber概念模型的明确的规范说明1997/Borst共享概念模型的形式化规范说明1998/Studer共享概念模型的明确的形式化规范说明汽踞炬哭排探龄答人枝裕乐垒掠嗓铭萍蔓番玛枕黄季逼焦春纷杂
82、齐恒或毖第二部分知识与知识表示第二部分知识与知识表示为什么需要为什么需要Ontology?由于对跨系统的知识重用和分享的兴趣的增大，导致对Ontology的兴趣大增。知识分享的问题：不同的系统描述领域的时候使用不同的概念和术语。所以很难从一个系统中提取知识运用到另一个系统中。开发可重用的Ontology以推进共享和重用是Ontology研究的一个重要目标。开发支持构建、合并和翻译Ontology的工具是研究的另一个目标。早童拱饰氨穿停躬圈访沾牺岿琅溢魔详弥求恫芹孩马弦疟车诉氢租谓位筛第二部分知识与知识表示第二部分知识与知识表示Ontology的建模元语Fivekindsofcomponents
83、:类（classes）或概念（concepts）指任何事务，如工作描述、功能、行为、策略和推理过程。从语义上讲，它表示的是对象的集合，其定义一般采用框架（frame）结构，包括概念的名称，与其他概念之间的关系的集合，以及用自然语言对概念的描述e.g.Inuniversity-ontology:studentandprofessoraretwoclasses关系（relations）在领域中概念之间的交互作用，形式上定义为n维笛卡儿积的子集：R:C1C2CnSuchas:subclass-of,is-a衰贱培腻轧谓真抛掉燕驶揩冯起答辆祝角酿最事监曰喂覆厄龙瞧食五崔颧第二部分知识与知识表示第二部分
84、知识与知识表示Ontology的建模元语(Cont.)函数（functions）一类特殊的关系。该关系的前n-1个元素可以唯一决定第n个元素。形式化的定义为F:C1C2Cn-1Cn如Mother-of就是一个函数，mother-of(x,y)表示y是x的母亲公理（axioms）代表永真断言如概念乙属于概念甲的范围实例（instances）代表元素。从语义上讲实例表示的就是对象Suchas:StudentcalledPeteristheinstanceofStudentclass扑荐阔步欲敖咒个本声酥谣六尉彻巍透此逐药打姿占六嘴穗班傀枪猛捐港第二部分知识与知识表示第二部分知识与知识表示4种基本关
85、系关系名关系描述part-of表达概念之间部分与整体的关系。kind-of表达概念之间的继承关系，类似于面向对象中的父类与子类之间的关系。instance-of表达概念的实例与概念之间的关系，类似于面向对象中的对象和类之间的关系。attribute-of表达某个概念是另一个概念的属性。如“价格”是桌子的一个属性。浮其氰詹略许桥串念椒汽拽椰忆九吐事壶弯降孕教阎啦盗忠傈卜巴彝拥效第二部分知识与知识表示第二部分知识与知识表示构造Ontology的规则最有影响的是Gruber在1995年提出的5条规则：明确性和客观性：Ontology应该用自然语言对所定义的术语给出明确、客观的语义定义完全性：所给出的
86、定义是完整的，完全能表达所描述的术语的含义一致性：由术语得出的推论与术语本身的含义是相容的，不会产生矛盾最大单调可扩展性：向Ontology中添加通用或专用的术语时，不需要修改已有的内容最小承诺：对待建模对象给出尽可能少的约束目前大家公认在构造特定领域的Ontology的过程中需要领域专家的参与刑抖幢侩矛溅扔菇锑疲来蔗激院殷坚撕赡辣颤毡苯绳韧拐蔚赎寿盼冤涵遮第二部分知识与知识表示第二部分知识与知识表示本体构建工具(1)Protg-2000http:/protege.stanford.edu/美国斯坦福大学医学院开发使用Java和OpenSource作为操作平台可用于编制实用分类系统和知识库（K
87、nowledgeBase），可自行设置的数据输入格式，能够输入数据，也可插入插件来扩展一些特殊的功能如提问、XML转换等输出格式有文本、HTML、JDBC、RDFSchema、及XMLSchema限韭玉佑荣掣盾苯浪敖椽宾趣痒糊添故凝晒桥蚀圈饲刘鳞熟篡免人宛包慧第二部分知识与知识表示第二部分知识与知识表示本体构建工具(2)OntoEdit/OntoBroker/OntoStudiohttp:/www.ontoprise.de/德国的Ontoprise公司开发提供实用分类系统工程环境，支持构造概念、关系、定理，不依赖于某一表述语言利用模块和插件结构，灵活性强，并能够方便地引进专门功能和词库支持RD
88、F和DAML，并能输入和输出数据库结构与数据（如Oracle,MSSQL,DB2）踊颁掸石臆肾命复曲密荐疼朱静逆苦轧度冷蚊昭胀自皋挂攻棉键婆卫涛森第二部分知识与知识表示第二部分知识与知识表示目前广泛使用的本体名称描述WordNet基于心理语言规则的英文词典，以synsets（在特定的上下文环境中可互换的同义词的集合）为单位组织信息。FrameNet英文词典，采用称为FrameSemantics的描述框架，提供很强的语义分析能力，目前发展为FramenetII。GUM面向自然语言处理，支持多语种处理，包括基本概念及独立于各种具体语言的概念组织方式。SENSUS面向自然语言处理，为机器翻译提供概念
89、结构，包括7万多概念。Mikrokmos面向自然语言处理，支持多语种处理，采用一种语言中间的中间语言TMR表示知识。裹姿想畜番遂椎赡倾政昧泛顺癣稚侍异埂擎沂堂衣中桌推巍泡甚箱县株臻第二部分知识与知识表示第二部分知识与知识表示OntologyMapping为了能互相理解，对共享的概念必须使用一致的正式的表达方式很难使每个人对某一领域的同一本体达成共识当对同一领域使用了不同的本体时，无法相互理解Here comes the ontology mapping into the playOntology Mapping, Ontology Integration碌瞻踪橡研滑妙汲赶辉宿斩独阁趾螟哩隅祁精
90、撒叮狙历镭克哪稠烩稗栗幼第二部分知识与知识表示第二部分知识与知识表示OntologyMapping(Cont.)本体映射是下述的一个过程：两个本体在概念层语义相关，根据它们的语义联系将源本体的实例转化为目标本体的实例傲饲赵饶蛋臻悯逸蘸侣婴捆拽麦秀体柏阿妖榜症剂量脚崖汰酪她咱硫虫迫第二部分知识与知识表示第二部分知识与知识表示Ontology与知识库的区别Ontology为知识库的建立提供一个基本的结构；Ontology提供一套概念和术语来描述某一领域，并且获取该领域的本质的概念结构；这些都是通过Ontology分析完成的；然后，知识库就可以运用这些术语去表达现实或者虚拟世界中的正确知识。麓亡羽喧
91、黑框台冗艇蔡子枷樱车飘畏卖臃侨谬盆禹碉吼族耽栓留愿膀拓揩第二部分知识与知识表示第二部分知识与知识表示TheOntologyLanguageStack询款纺晨千远讼茎胃胳版拍漫娇寇国胯铸潦售遂鳞冻溉欲承矩椽娶境辩扎第二部分知识与知识表示第二部分知识与知识表示Ontology语言栈名称描述XML结构化文档的表层语法，对文档没有任何语义约束。XMLSchema定义XML文档的结构约束的语言。RDF对象（或者资源）以及它们之间关系的数据模型，为数据模型提供了简单的语义，这些数据模型能够用XML语法进行表达。RDFSchema描述RDF资源的的属性和类型的词汇表，提供了对这些属性和类型的普遍层次的语义。
92、OWL添加了更多的用于描述属性和类型的词汇，例如类型之间的不相交性（disjointness），基数（cardinality），等价性，属性的更丰富的类型，属性特征（例如对称性，symmetry），以及枚举类型（enumeratedclasses）等。腰银琶瓤琴创鉴负削辽佩请蜀咳乘气酉喜胶右捐蚤卖朽烯拉枷廓喀亨撞巩第二部分知识与知识表示第二部分知识与知识表示资源描述框架（RDF）RDF：资源描述框架（ResourceDescriptionFramework：RDF）是W3C领导下开发的用于元数据互操作性的标准提供自动的、语义级别（Semantic）的互操作性北巾担昭滨抽秧奸层绳鄙扰赤匣壮虐蔫图
93、掐蔫遏慈垒蛔托群聘促迄屯馆念第二部分知识与知识表示第二部分知识与知识表示RDF数据模型RDF数据模型包括：数据模型包括：资源（Resource）属性（Property）声明或陈述（Statement）资源、属性、值RDF的文档是一个由主谓宾结构的断言的文档是一个由主谓宾结构的断言组成的集合组成的集合主体（Subject）资源谓词（Predicate）属性客体（Object）值谨骇玻甫否询匠兹赖畔腔枪虱哇亥判净蚕看你恢炽历耗只并常恭件砾回檄第二部分知识与知识表示第二部分知识与知识表示RDFSchemaRDFS为本体提供了一种简单基本的建模为本体提供了一种简单基本的建模语言语言ConceptsPr
94、opertiesIs-ahierarchySimpledomainandrangerestrictions嚼膝次渤甜涪孵砚衣数紫览薄杜现棱嚣卡兜何阁脊械疑典铲侦鹅允艾歼喇第二部分知识与知识表示第二部分知识与知识表示OWLW3C2002年7月31日发行OWLWeb本体语言（OWLWebOntologyLanguage）工作草案的细节，其目的是为了更好地开发语义WebOWL的三个子语言OWLLiteOWLDLOWLFullFullDLLite列垢拈呸幢为腐念电龚锰吸现跺腑对掳锌棕阅啡验饱情毡滓揽牲凸蛮褥聋第二部分知识与知识表示第二部分知识与知识表示OWL的三个子语言子语言描述例子OWLLite用于
95、提供给那些只需要一个分类层次和简单的属性约束的用户。支持基数（cardinality），只允许基数为0或1。OWLDL支持那些需要在推理系统上进行最大程度表达的用户，这里的推理系统能够保证计算完全性（computationalcompleteness，即所有的结论都能够保证 被 计 算 出 来 ） 和 可 决 定 性（decidability，即所有的计算都在有限的时间内完成）。它包括了OWL语言的所有约束，但是可以被仅仅置于特定的约束下。当一个类可以是多个类的一个子类时，它被约束不能是另外一个类的实例。OWLFull支持那些需要在没有计算保证的语法自由的RDF上进行最大程度表达的用户。它允许
96、在一个Ontology在预定义的（RDF、OWL）词汇表上增加词汇，从而任何推理软件均不能支持OWLFULL的所有feature。一个类可以被同时表达为许多个体的一个集合以及这个集合中的一个个体。状搔匠已洋莹叁真啄肖第弹鸟卿尔文最晤酪铃纪淘琳界煎执捌信澄盼犬倔第二部分知识与知识表示第二部分知识与知识表示OWLhttp:/www.w3.org/TR/owl-ref/囱寸脯继支锑迂帖娘咳罢恐材往柞床答流沦懦老壶水梦巫祖网矣涤损棵隆第二部分知识与知识表示第二部分知识与知识表示二、描述逻辑1、用于表示概念及概念层次知识的知识表示语言2、使用描述性语义，可看作为谓词逻辑的子语言一种基于对象的知识表示的形
97、式化，也叫概念表示语一种基于对象的知识表示的形式化，也叫概念表示语言或术语逻辑。言或术语逻辑。建立在概念和关系(Role)之上概念解释为对象的集合关系解释为对象之间的二元关系源于语义网络和KL-ONE是一阶逻辑FOL的一个可判定的子集具有合适定义的语义(基于逻辑)忠匹奠啮汲靶际遇痈菲拙帘瞩霄葬啸备庄撬禁钵迷彰贯赎脂阀臂衬掣柏佰第二部分知识与知识表示第二部分知识与知识表示3、DescriptionLogicArchitectureKnowledge BaseTbox (schema)Abox (data)Man Human MaleHappy-Father Man has-child.Femal
98、e John : Happy-Father : has-childInference SystemInterface葵莽落缴缘仅阳嘿湿含提寅嘎泊京治柴尔影给掠耕同未低泅襟葬匆血尸诧第二部分知识与知识表示第二部分知识与知识表示4、BasicDescriptionLogic:ALConceptExpressions:A(atomicconcept)(universalconcept)(bottomconcept)A(atomicnegation)CD(intersection)R.C (valuerestriction)R.T(limitedexistentialquantification)wh
99、ereAisaconceptname,CandDareconceptexpressions,andRisaroleexpressionAttributiveLanguage吼妖碳绦涌什悯俯球初磨挡治颐棘豢媚缩魂蔑唯薄镐复肩年帛嫉溯倍亮疯第二部分知识与知识表示第二部分知识与知识表示l基本成分u概念、角色和个体 概念：用于描述个体集合的共同特征，可解释为对象集合的单元谓词。 角色：解释为对象之间的二元关系。 个体：概念的实例l构造规则u构造词：交、并、角色量词 如：Bachor = And(Unmarried, Adult, Male)绷酞房徐糠瞪爱锥晦仓认嚎餐奋喂廊院烛蔼剥浙理滨刚孰臻悔对材蹭幢
100、爆第二部分知识与知识表示第二部分知识与知识表示l概念和角色描述u使用T-Box，描述术语(Term)。uT-Box包含概念(Concept)和角色(role)说明。T-Box公式举例： parent =defperson| has-child|= 1注：概念和角色描述以包容(is-a)关系层次结构组织。雁逆帆共搔婶程化很贮架导慈陷奔诣驶捉就空崎刀追沦初孪辅谐贫辱钾德第二部分知识与知识表示第二部分知识与知识表示l个体描述u使用A-Box，描述断言(Assertion)。A-Box含有T-Box的实例信息。如，从A-Box参量Henry:person，和Henry:has-childMary，可以
101、推断Henry是概念Parent的一个实例。夫鬼命想呵涝啮简植漂涯曝麻萎臆裹申鲍陛传崔轨屎诉早檄饼念驾戒杠折第二部分知识与知识表示第二部分知识与知识表示l概念推理uT-Box层推理 1)判断一是新引入的概念是否与已有的概念一致； 2)包容(蕴含)关系确定：决定某一种类是否为另一种类的子集合 。uA-Box层推理1)分类：决定某一个体属于哪一个种类2)断言(实例)之间的关系飞藻哟芽菜北电源畅躬血辙捍吓计游疼确钧香蕴沧绽酥铜森鲤熄霉逻浪班第二部分知识与知识表示第二部分知识与知识表示思考题如何认识知识表示的基本原则？为什么说逻辑是一种广谱的知识表示法？对于各种知识表示法，试比较它们各自的基本思想和基本特点本体知识表示法的基本机理是什么？为什么可作为网络环境下的知识表示法？描述逻辑与语义网络有何区别与联系？普卵掂熏谎访甭跳哦拾舞豺言桐默惶僚迸野力谎氧是杯朴挡橡造秘俗甄缺第二部分知识与知识表示第二部分知识与知识表示
