1、第四章第四章 知识表示知识表示l4.1 概述l4.2 产生式表示l4.3 语义网络表示l4.4 框架表示l4.5 其他表示方法1.14.1 概述概述l人工智能研究中最基本的问题之一 如何表示知识？如何表示知识？2.2知识的定义知识的定义lFeigenbaum：知识是经过消减、塑造、解释和转换的信息。lBernstein：知识是由特定领域的描述、关系和过程组成的。lHayes-roth(斯坦福大学教授)：知识是事实、信念和启发式规则。l知识库的观点：知识是某领域中所涉及的各有关方面的一种符号表示。NEXT3.3爱德华爱德华费根鲍姆费根鲍姆（Edward A.Feigenbaum）知识工程的提出者
2、大型人工智能系统的开拓者返回4.4费根鲍姆费根鲍姆-知识工程的创始人知识工程的创始人年，费根鲍姆教授提出了知识工程的概念，成为知识可操作化的一个里程碑。多年来，知识工程的研究有了很大发展。知识工程的处理对象已从规范化的、相对好处理的知识进一步深入到非规范化的、相对难处理的知识。它的处理规模和方式从封闭式扩大为开放式，从小手工作坊式的知识工程扩大为能进行海量知识处理的大规模工程。返回5.5知识的种类知识的种类l事实性知识：采用直接表示的形式。如：凡是猴子都有尾巴l过程性知识：描述做某件事的过程。如：红烧肉做法l行为性知识：不直接给出事实本身，只给出它在某方面的行为。如：微分方程、（事物的内涵）.
3、NEXT6.6猴子猴子返回7.7红烧肉做法红烧肉做法返回8.8红烧肉做法红烧肉做法1、主料：五花腩，五层三花的肚腩肉。2、配料：八角茴、大蒜子。大蒜去皮，至少要2头3、开始做红烧肉先就植物油烧热后。放入一小勺白糖，（上色用）这时火要开小一点，待糖熔化变成酱油色，倒入五花肉、八角茴翻炒炒到肉开始转色。4、开始焖：放入足够的热水，要盖过肉多一点，烧开后改小火，加盖小火焖1个小时左右。5、等水份烧干开始出油时，加入大蒜、盐、味精。6、再焖几分钟，将肉和大蒜拌匀，再放一点开水焖几分钟就行了。返回9.9.l实例性知识：只给出一些实例，知识藏在实例中。l类比性知识:即不给出外延，也不给出内涵，只给出它与其
4、它事物的某些相似之处。如：比喻、谜语 l元知识：有关知识的知识。最重要的元知识是如何使用知识的知识，如何从知识库中找到想要的知识。知识的种类知识的种类10.10知识的要素知识的要素l事实：事物的分类、属性、事物间关系、科学事实、客观事实等。（最低层的知识）l规则：事物的行动、动作和联系的因果关系知识。（启发式规则）。l控制：当有多个动作同时被激活时，选择哪一个动作来执行的知识。（技巧性）l元知识：高层知识。怎样使用规则、解释规则、校验规则、解释程序结构等知识。11.11l知识表示研究用机器表示知识的可行性、有效性的一般方法。l知识表示是理智推理的部分理论。l知识表示是有效计算的载体。l知识表示
5、是交流的媒介。知识表示的定义12.12选取知识表示的因素选取知识表示的因素l表示范围是否广泛l是否适于推理l是否适于计算机处理l是否有高效的算法l能否表示不精确知识l能否模块化总之 知识和元知识能否用统一 的形式表示是否加入启发信息过程性表示还是说明性表示表示方法是否自然13.13选取知识表示的因素选取知识表示的因素.总之，人工智能问题的求解是以知识表示为基础的。如何将已获得的有关知识以计算机内部代码形式加以合理地描述、存储、有效地利用便是知识表示应解决的问题。14.14知识表示的研究内容知识表示的研究内容l表示观的研究l表示方法的研究15.15知识表示观知识表示观l知识表示与推理机分离注重常
6、识知识的表示，忽略启发式方法的研究l知识表示与推理为一体认为推理是表示中不可缺少的部分16.16表示方法分类表示方法分类表示方法直接表示局部表示分布表示陈述性表示过程性表示语义网络表示产生式表示逻辑表示框架表示脚本表示替代表示17.17知识表示研究的特点知识表示研究的特点l智能行为特有的灵活性。“常识问题”不能概括为一类简洁的理论，是大量小理论的集合。lAI的任务受到计算装置的约束。这导致了所采用的“表示”必须同时满足“刻画智能现象”与“计算装置可以接受”，这两个有时是矛盾的条件。18.18表示方法表示方法产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示
7、方法19.194.2 产生式表示方法产生式表示方法l美国数学家Post，1943年提出了一种计算形式体系里所使用的术语。l到了60年代，产生式系统成为认知心理学研究人类心理活动中信息加工过程的基础，用它来建立人类认知模型。l到目前为止，产生式系统已发展成为人工智能系统中最典型最普遍的一种结构。产生式表示方法是专家系统的第一选择的知识表达方式。20.201.事实的表示：可看成是断言一个语言变量的值或是多个语言变量之间关系的陈述句，语言变量的值或语言变量间的关系可以是一个词，不一定是数字。例1：香蕉是黄色的。语言变量香蕉，值黄色的 例2：小李喜欢小莉。语言变量小李、小莉，关系值喜欢 4.2.1 事
8、实与规则的表示事实与规则的表示21.21一般用三元组（对象，属性，值）或 （关系，对象1，对象2）l例：（Li,Age,25）,(Friend,Li,Chang)4.2.1 事实与规则的表示事实与规则的表示22.222.规则的表示：规则用于表示事物间的因果关系，来表达求解问题所需要的知识。产生式规则的一般形式:条件-行动 或 前提-结论 即表示成：if then 例1：如果天下雪，我就不骑车上班。if 天下雪 then 不骑车上班 4.2.1 事实与规则的表示事实与规则的表示23.23推理机数据库规则库知识库产生式系统结构图 4.2.2 产生式系统结构产生式系统结构24.244.2.2 产生式
9、系统结构产生式系统结构1数据库l是一个数据的集合，用于存放在推理过程中的已知条件、推导出的中间结果和最终结论等。往往是事实或断言。l这里的数据是广义的常量、变量、多元组、谓词、表、图像等。l存放的数据是构成产生式的基本元素，又是产生式作用的对象。25.252规则集 l相当于系统的知识库，它采用“IF THEN”的形式，来表达求解问题所需要的知识。4.2.2 产生式系统结构产生式系统结构客观规律知识求解策略知识l规则l 每条规则分为左右两个部分。左部表示激活该规 则的条件，右部表示调用该规则后所作的动作。26.26l可触发规则：当一个规则的前件被综合数据库中的数据满足时，该规则称为可触发规则。l
10、被触发规则：从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。4.2.2 产生式系统结构产生式系统结构27.273推理机(规则解释程序)l匹配器：判断规则条件是否成立。l冲突消解器：选择可调用的规则。l解释器：执行规则的动作，并在满足结束条件时终止产生式系统运行。4.2.2 产生式系统结构产生式系统结构28.28 产生式系统举例产生式系统举例-字符转换问题字符转换问题l字符转换问题规则如下：ABCACDBCGBEFDEl已知：A，Bl求：F29.29 产生式系统举例产生式系统举例-字符转换问题字符转换问题 1.综合数据库综合数据库用集合x表示，其中x为字符。2.规则集用“IF TH
11、EN”的形式表示如下：(1)IF AB THEN C(2)IF AC THEN D(3)IF BC THEN G(4)IF BE THEN F(5)IF D THEN E30.30 产生式系统举例产生式系统举例-字符转换问题字符转换问题3.控制策略就是选择规则的方法，可采用按照规则的自然顺序选择规则的方法，这种策略称为顺序排队。4.初始状态A，B，A、B是已知条件。5.结束条件Fx，当目标F在综合数据库中出现时，则F被求得。31.31 正向l推理方法 反向 双向4.2.3 产生式系统的推理产生式系统的推理l基于与或树的推理 32.32与或树.核果梨果苹果苹果桃桃果肉乳黄色肉质脆无石细胞外有纵沟
12、果实扁圆果皮有毛李亚科苹果亚科蔷薇科花两性花托杯形双子叶纲网状叶脉双子叶胚花瓣5枚33.331、正向推理方法：l从已知数据出发，一步步应用规则，一直到推出结论。l又称自低向上推理方式或数据驱动方式4.2.3 产生式系统的推理产生式系统的推理34.34l正向推理过程：(1)用工作存储器中的数据与产生式规则的前提条件进行匹配。(2)按冲突消解策略从匹配的规则中选择一条规则。(3)执行选中规则的动作（依次）。修改工作存储器。(4)用更新后的工作存储器，重复上述工作，直到得出结论或工作存储器不再发生变化为止。举例：字符转换问题4.2.3 产生式系统的推理产生式系统的推理35.352.反向推理方法：l从
13、结论出发，一步步反向使用规则，最后看是否所有的前提条件都成立。l又称自顶向下推理方式或目标驱动方式4.2.3 产生式系统的推理产生式系统的推理36.36l反向推理过程：(1)首先假定结论正确，然后反向使用规则，看在哪些条件下该结论才能够成立。(2)检查这些条件是否是已知条件。如果全部是已知条件，则结论得证。如果部分或者全部条件都是非已知的，则将这些条件看成是新的要求解的结论，用同样的逆向方法推断它们是否正确。(3)依次类推，直到所有的条件都是已知的，就推导出了最初的结论。4.2.3 产生式系统的推理产生式系统的推理37.373双向推理方法l即自顶向下、又自底向上作双向推理，直至某个中间界面上两
14、方向结果相符便成功结束。l 该方法较正向或反向推理所形成的推理网络小，从而推理效果更高。4.2.3 产生式系统的推理产生式系统的推理38.38l推理方法的选择推理方法的选择取决于推理的目标和搜索空间的形状。l如果目标是从一组给定事实出发，找出所有可能的结论，通常使用正向推理。l如果目标是证实或否定某一特定结论，通常使用反向推理。4.2.3 产生式系统的推理产生式系统的推理39.39l与人类求解问题时的思维很相像，可用于模拟人类求解问题的思维过程。l可以把产生式系统作为人工智能系统的基本 结构单元或基本模型看待，就像积木世界中的积木块一样。4.2.4 产生式表示的特点产生式表示的特点40.40l
15、优点l模块性。规则与规则之间相互独立l灵活性。知识库易于增加、修改、删除l自然性。方便地表示专家的启发性知识与经验l透明性。易于保留动作所产生的变化、轨迹4.2.4 产生式表示的特点产生式表示的特点41.41l缺点：l 效率低。l不能表示结构性的知识。由于规则彼此之间不能调用。4.2.4 产生式表示的特点产生式表示的特点42.42l应用实例：l用于化工工业测定分子结构的DENDRALl用于诊断脑膜炎和血液病毒感染的MYCINl估计矿藏的PROSPECTOR4.2.4 产生式表示的特点产生式表示的特点43.434.3 语义网络表示语义网络表示l产生式表示方法常用于表示有关领域中各个不同状态间的关
16、系，但不适合表示事物间的分类关系。l槽和填槽表示方法便于表示这种分类知识。这种表示方法包括语义网络、框架、概念从属和脚本。l1968年Quillian的博士论文建议用一种语义网络来描述人对事物的认知，实际上是对人脑功能的模拟。l语义网络多用于自然语言处理。44.44l通过实体及其语义关系来表达知识l语义网络由一些基本的语义单元组成l语义单元（语义基元）：每一个要表达的事实用一个“结点”表示，而事实之间的关系用“弧线”表示。即，有向图表示的三元组，（结点1，弧，结点2）连接而成。4.3.1 语义网络的结构语义网络的结构某学校小学生属于45.45某学校小学生属于坐车春游动作目的动作方式多个语义基元
17、通过相应的语义联系关联起来语义网络4.3.1 语义网络的结构语义网络的结构例如：小学生坐车去春游。46.46一、类属关系类属关系l指具体有共同属性的不同事物间的分类关系、成员指具体有共同属性的不同事物间的分类关系、成员关系或实例关系。关系或实例关系。l体现体现“具体与抽象具体与抽象”、“个体与集体个体与集体”的概念。的概念。l类属关系的一个最主要特征是属性的继承性，处在类属关系的一个最主要特征是属性的继承性，处在具体层的结点可以继承抽象层结点的所有属性。具体层的结点可以继承抽象层结点的所有属性。4.3.2 基本语义关系基本语义关系47.47l类属关系常用属性：类属关系常用属性：A-Kind-o
18、f:A-Kind-of:表示一个事物是另一个事物的一种类型表示一个事物是另一个事物的一种类型 A-Member-of:A-Member-of:表示一个事物是另一个事物的成员表示一个事物是另一个事物的成员 Is-a:Is-a:表示一个事物是另一个事物的实例表示一个事物是另一个事物的实例4.3.2 基本语义关系基本语义关系l注：注：在类属关系中，具体层的结点除了具有抽象层在类属关系中，具体层的结点除了具有抽象层 结点的所有属性外，还可以增加一些自己的个性。结点的所有属性外，还可以增加一些自己的个性。灵长类动物A-Kind-of刘军中共党员A-Member-of草鱼 鱼类Is-a类属关系实例类属关系
19、实例48.48二、包含关系二、包含关系l也称聚类关系，指具有组织或结构特征的也称聚类关系，指具有组织或结构特征的“部分部分与整体与整体”之间的关系。之间的关系。注：注：与类属关系的最主要区别是包含关系一般不与类属关系的最主要区别是包含关系一般不具备属性的继承性。具备属性的继承性。l常用的包含关系有：常用的包含关系有：Part-of:Part-of:表示一个事物是另一个事物的一部分表示一个事物是另一个事物的一部分4.3.2 基本语义关系基本语义关系轮胎汽车PartOf显示器PC电脑PartOf49.49三、属性关系三、属性关系l指事物和其属性之间的关系。指事物和其属性之间的关系。l常用的属性关系
20、：常用的属性关系：HaveHave：表示一个结点具有另一个结点所描述：表示一个结点具有另一个结点所描述的属性的属性CanCan：表示一个结点能做另一个结点的事情：表示一个结点能做另一个结点的事情例：鸟有翅膀。例：鸟有翅膀。4.3.2 基本语义关系基本语义关系属性关系实例属性关系实例 鸟翅膀have50.50四、位置关系四、位置关系l指不同事物在位置方面的关系。指不同事物在位置方面的关系。l常用的位置关系：常用的位置关系：Located-on:Located-on:一物在另一物之上一物在另一物之上Located-at:Located-at:一物在何位置一物在何位置Located-under:Lo
21、cated-under:一物在另一物之下一物在另一物之下Located-inside:Located-inside:一物在另一物之中一物在另一物之中Located-outside:Located-outside:一物在另一物之外一物在另一物之外4.3.2 基本语义关系基本语义关系51.51五、相近关系五、相近关系l指不同事物在形状、内容等方面相似和接近。指不同事物在形状、内容等方面相似和接近。l常用的相近关系：常用的相近关系：Similar-to:Similar-to:相似相似Near-to:Near-to:接近接近 4.3.2 基本语义关系基本语义关系52.52六、时间关系六、时间关系l指不
22、同事件在其发生时间方面的先后关系。指不同事件在其发生时间方面的先后关系。l常用的时间关系：常用的时间关系：BeforeBefore：表示一个事件在一个事件之前发生。：表示一个事件在一个事件之前发生。After After：表示一个事件在一个事件之后发生。：表示一个事件在一个事件之后发生。例如：例如：香港回归之后，澳门也会回归了。香港回归之后，澳门也会回归了。4.3.2 基本语义关系基本语义关系53.53七、多元逻辑关系七、多元逻辑关系 例如：例如：ACAC米兰队和国际米兰队在一场足球比赛中的成米兰队和国际米兰队在一场足球比赛中的成 绩为绩为0 0：1 1，可以通过，可以通过加入附加结点加入附加
23、结点的办法将多的办法将多 元关系表示成二元关系的组合或合取。元关系表示成二元关系的组合或合取。本例通过加入附加结点本例通过加入附加结点G22G22。4.3.2 基本语义关系基本语义关系54.54七、多元逻辑关系七、多元逻辑关系4.3.2 基本语义关系基本语义关系HostGuestscoreIs-a多元逻辑关系语义网络实例多元逻辑关系语义网络实例l从图中看出，原来的多元关系都变成了从图中看出，原来的多元关系都变成了G22结点属性。结点属性。Soccer Soccer GameG22G22 0:1 0:1Inter-MLInter-ML AC-ML AC-ML55.554.3.2 基本语义关系基本
24、语义关系l除表示事物间关系的语义网络外，还有表示除表示事物间关系的语义网络外，还有表示事件的语义网络。事件的语义网络。l事件的语义网络结构：事件的语义网络结构：Event：事件：事件 Agent：施动者：施动者 Object：受动者：受动者event受动者AgentObject事件施动者56.56例Micheal is an employee and Jack is his boss.Micheal is an employee and Jack is his boss.Someday Micheal kicked his boss.Someday Micheal kicked his bos
25、s.eventJackMichealKickedAgentisObjectboss-ofemployeebossperson57.57l网络匹配：结构上的匹配，包括结点和弧的匹配。l继承推理：利用成员联系、集合联系、特征联系、相互作用联系等具有继承性质的语义联系建立一些并不一定显示存在于网络知识库中的网络结构。4.3.3 语义网络的推理方法语义网络的推理方法58.58l继承的一般规则：lIF X(AKO)Y and Y(AKO)Z then X(AKO)ZlIF X(ISA)Y and Y(AKO)Z then X(ISA)ZlIF X(AKO)Y and Y(属性)Z then X(属性)Z
26、lIF X(ISA)Y and Y(属性)Z then X(属性)ZlIF X(属性)Y and Y(AKO)Z then X(属性)ZlIF X(属性)Y and Y(ISA)Z then X(属性)Z4.3.3 语义网络的推理方法语义网络的推理方法59.59lIF X(AKO)Y and Y(AKO)Z then X(AKO)Zl例：如果喜鹊是一种鸟，同时，鸟是一种动物，则，喜鹊是一种动物。4.3.3 语义网络的推理方法语义网络的推理方法60.60l推理特点l推理机制不十分明了，有继承规则。l可以用关系如：成员联系、特征联系、相互作用联系、集合联系、合成联系、因果联系、活动方式联式、活动目
27、标联系、蕴含联系等。l还可以将语义网络引入逻辑含义。表示，关系。4.3.3 语义网络的推理方法语义网络的推理方法61.61 1、优点：结构性好，表达直观、清晰。2、缺点：l 推理规则不十分明了。l 表达范围有限，若结点数量过多将导 致网络结构复杂，难以推理。4.3.4 语义网络表示法的特点语义网络表示法的特点62.62l1975年 Minsky在论文中提出了框架理论。他从心理学的证据出发，认为人的知识以框架结构记存在人脑中。当人们面临新的情况，或对问题的看法有重要变化时，总是从自己的记忆中找出一个合适的框架，然后根据细节加以修改补充，从而形成对新观察到的事物的认识。4.4 框架表示框架表示63
28、.63l人类对于一件事的了解，表现在对于这件实物的诸方面，即属性的了解。掌握了事物的属性，也就有了关于事物的知识，知识表示是从属性描述开始的。4.4 框架表示框架表示64.64l定义 框架采用结点、槽和值表示结构，是一种结构化的表示方法。l表示形式：由框架名、槽名、侧面、值组成4.4.1 框架结构框架结构65.65【框架名】槽名A 侧面名A1值A11，值A12，值A13侧面名A2值A21，值A22，值A23槽名B 侧面名B1值B11，值B12，值B13侧面名B2值B21，值B22，值B23槽名C 侧面名C1值C11，值C12，值C13侧面名C2值C21，值C22，值C23约束条件：约束条件1约
29、束条件2约束条件34.4.1 框架结构框架结构66.66简单框架的例子：MichealGender：manProfession:singerHeight:185cmWeight:79kgAge:274.4.1 框架结构框架结构67.67l框架之间的关系l 框架也分为类框架和实例框架。l 通过引入类-超类（AKO）及实例-类（ISA）关系来表示框架之间的包含关系和属于关系。l 框架理论将知识看成相互关系的成块组织。4.4.1 框架结构框架结构68.68框架名：类 属：类 型：范围：（综合性大学，专科性 大学）专 业：默认值：综合学 院 数：教 学 楼：教工人数：职工人数：学生人数：位 置：（省（
30、直辖市）,市）面 积：单位（平方米）框架名：类 属：类 型：范围：（大学，中学，小学）位 置：（省（直辖市），市）面 积：单位（平方米）教工人数：学生人数：69.69框架名：框架名：类类 属：属：姓姓 名：中华医学大学名：中华医学大学 专专 业：医学业：医学学学 院院 数：数：13教教 学学 楼：楼：20办办 公公 楼：楼：40学生宿舍：学生宿舍：20教工宿舍：教工宿舍：60教工人数：教工人数：4000职工人数：职工人数：5000学生人数：学生人数：20000位位 置：北京市置：北京市面面 积：积：10000（平方米）（平方米）创建时间：创建时间：2002年年4月月70.70教育机构高等教育综
31、合特殊教育医学初等教育幼儿园残疾专科大学小学幼儿教育中国医学大学蓝天幼儿园北京盲人学校框架系统结构 71.71l匹配：同语义网络一样遵循匹配原理。l 槽计算：继承（属性值、属性、限制）查询：使用推理的中间结果或者用户输入的数据 附加过程：即附加在数据结构上，启动时计算槽值。4.4.2 框架表示下的推理框架表示下的推理72.72例如，要确定一个人的性别，已匹配的知识库中的 框架为：【槽名Gender NILIf needed ASKIf added CHECK】启动过程如下：1）如果没有默认值，if needed条件满足2）启动ASK，向用户查询并等待输入 3）若有输入（if added），执行
32、CHECK，检查输入的合法性。若有默认值而无输入，则不执行CHECK4.4.2 框架表示下的推理框架表示下的推理73.731、优点：l结构性好l适应性强l推理方式灵活2、缺点l 推理机制不明确l框架系统各子框架数据结构不一致将导致系统不清晰，推理困难。4.4.3 框架表示法的特点框架表示法的特点74.74混合型知识表示法混合型知识表示法l上述的知识表示虽各有特点，而且适用的领域也不同。l产生式规则方法推理方法太单一，如果前提条件太多，或规则条数太多，则推理的速度将慢得惊人。l语义网络方法表达的知识面比较窄。l框架方法表示的知识横向关系不太明确。（纵向从属继承关系很明确）l对于复杂的、深层次的知
33、识，就很难用一种知识表示来解决问题。75.75表示方法表示方法产生式规则表示法语义网络表示法框架表示法逻辑表示脚本方法过程表示混合型知识表示方法面向对象的表示方法76.76表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法77.77表示方法表示方法脚本表示法脚本表示法l脚本方式是采用一个专用的框架，用来表示特定领域的知识。l脚本通过一些元语作为槽名来表代要表示的对象的基本行为。l有些象电影剧本。78.78开场条件1 病人有病。病人有病。2 病人的病需要找医生诊治。病人的病需要找医生诊治。3 病人有钱。病人有钱。4 病
34、人能够去医院。病人能够去医院。角色 病人、医生、护士。病人、医生、护士。道具 医院、挂号室、椅子、医院、挂号室、椅子、桌子、药方、药房、桌子、药方、药房、钱、药。钱、药。场景场景 场景1 进入医院 （1）人走进医院 （2）病人挂号 （3）病人在椅子上坐下等待看病 场景2 看病 （1）病人进入医生的办公室 （2）病人向医生所说病状 （3）医生向病人解释病情 （4）医生给病人开药方 场景3 交费 （1）病人到交费处 （2）病人递交药方 （3）病人交钱 （4）病人取回药方及收据 场景4 取药 （1）病人到药房 （2）病人递交药方 （3）病人取药 场景5 离开 （1）病人离开医院结果结果 1病人看病了
35、，明白了 自己的病是怎么回事。2病人花了钱，买了药。3医生付出了劳动。4医院的药品少了.79.79表示方法表示方法脚本表示法（推理）脚本表示法（推理）l脚本表使得知识有强烈的因果结构，系统对事件的处理必须是一个动作完成后才能完成另一个。整个过程的启动取决于开场条件，满足脚本的开场条件，脚本中的事件才有可能发生。而脚本的结果就是动作完成后的系统结果。l由于脚本是以非常固定的形式描述的，在预言一些没有直接提到的事件方面特别有用。如已知某一脚本适用于所给定的情形，一旦脚本被起用，则可以应用它按照事件发生的顺序推理。如果其中的某一个情景的描述发生了跳跃，可以根据脚本的故事情节推断出整个事件正常进行时所
36、得出的结论。但是如果事件被强行中断，也就是给定的情节中的某个时间与脚本中的事件不能对应时，则脚本便不能预测被中断以后的事件。如，上例中，如果医生说病人没病，病人就回家了。那么，对于病人所发生的变化；医院的药所发生的变化都不能作出推断。80.80表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法81.81表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法82.82表示方法表示方法过程表示法过程表示法l前面的几种知识表示方法均是知识和事实的一种
37、静止的表示方法。我们称这类知识表示方式为陈述式表达。它所强调的是事物所涉及的对象是什么，是对事物有关知识的静态描述，是知识的一种显式、说明性知识表达形式。l说明性表示知识给出事物本身的属性及事物之间的相互关系。对问题的解答就隐含在这些知识之中。而过程性知识则给出解决一个问题的具体过程。83.83表示方法表示方法过程表示法过程表示法l说明性知识和过程性知识相比：l说明性知识比较简要、清晰、可靠、便于修改。但往往效率低。l过程性知识比较直截了当，效率高。但由于详细地给出了解决过程，使这种知识表示显得复杂、不直观、容易出错、不便于修改。l实际上，说明性表示和过程性表示实际上没有绝对的分界线。因此，任
38、何说明性知识如果要被实际使用，必须有一个相应的过程去解释执行它。对于一个以使用说明性表示为主的系统来说，这种过程往往是隐含在系统之中，而不是面向用户。84.84表示方法表示方法过程表示法过程表示法l知识过程性的两个含义：l含义1：把解决一个问题的过程描述出来。可以称它为解题知识的过程表示。l含义2：把客观事物的发展过程用某种方式表示出来。l在某些情况下，这两种含义是很难决然分开的。如，任何一个解题系统的基本构成都是一个数据集，一组运算符和一个解释程序。过程性知识使用状态来表示，在状态空间运作。85.85表示方法表示方法过程表示法过程表示法l过程式表示定义：l过程式表示就是将有关某一问题领域的知
39、识连同如何使用这些知识的方法均隐式地表达为一个求解过程。l它所给出的是事物的一些客观规律，表达的是如何求解问题，知识的描述形式就是程序。所有信息均隐含在程序中效率高、没有固定形式。l如何描述知识完全取决定于具体的问题。实际上的系统都是陈述与过程观点的结合。陈述之中多少包含了过程方法86.86表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法87.87表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法88.88表示方法表示方法混合型知识表示法
40、混合型知识表示法l上述的知识表示虽各有特点，而且适用的领域也不同。如：l谓词逻辑方法只适用于确定性、陈述性、静态性知识，而对动态的、变化性、模糊性知识则很难表示。l产生式规则方法推理方法太单一，如果前提条件太多，或规则条数太多，则推理的速度将慢得惊人。l语义网络方法表达的知识面比较窄。l框架方法表示的知识横向关系不太明确。（纵向从属继承关系很明确）l对于复杂的、深层次的知识，就很难用一种知识表示来解决问题。89.89表示方法表示方法混合型知识表示法混合型知识表示法l根据需要表示的知识的特征来决定用二、三种方式联合表示。l逻辑与框架：框架里的槽值可以对应与谓词项。l语义网络与框架：结点对应与框架
41、，结点的参数就是框架的槽值。l产生式与框架：框架的槽值对应于一条产生式规则。l逻辑、产生式和过程式：产生式两端以谓词形式出现“活动”是个过程。l与神经网络结合 90.90表示方法表示方法混合型知识表示法混合型知识表示法l框架与产生式l在产生式系统中，随着产生是规则数量的增加，系统设计着难以理解规则之间的相互作用。原因是每条规则的自含性使得知识表示的粒度过于细致。因此，需要对规则的适当划分，将其组织易于管理的功能模块。框架系统具有组织成块知识的良好特性。两者的有机结合，有利于系统的开发、调试和管理。l框架的表示机制可以用作产生式语言和推理机制设计的一个重要构件。l框架可以直接用于表示规则（每个规
42、则作为一个框架，一组规则组成一类）例：P186人工智能与专家系统吴泉源，国防科大91.91表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法92.92表示方法表示方法概述直接表示逻辑表示产生式规则表示法语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法93.93表示方法表示方法面向对象的知识表示法面向对象的知识表示法l面向对象表示法中的对象指物体，消息指物体间的联系，通过发送消息使对象间相互作用来求得所需的结果。l任何事物都是对象，对象按照“类”、“子类“进行分类。l特点：l有属性继承、特征
43、描述结构化等优点。94.94表示方法表示方法newsCorpus-Based Knowledge Representation lKey Advantage:lAvoid the laborious process of building a(often brittle)knowledge base.l“We emphasize the corpus-based representation is not a replacement for traditional knowledge representation.There are many tasks in which very finel
44、y tuned reasoning is required,and such reasoning can only be done with a very well designed knowledge base(e.g.,medical diagnosis,monitoring spacecraft,and making sense of tax law).”95.95第四章第四章 知识表示方法知识表示方法l结论：本章介绍了若干种知识表达方式，绝大多数在应用中得到了很好的验证。但实际工作中，如果要建立一个人工智能系统、专家系统时，可能还是要根据具体情况提出一个混合性的知识表达方式。96.96
45、表示方法表示方法概述直接表示逻辑表示l产生式规则表示法l语义网络表示法框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法97.97表示方法表示方法 逻辑表示法逻辑表示法l一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。它以谓词形式来表示动作的主题、客体。客体可以多个。如：张三与李四打网球（Zhang and Li play tennis），可写为：play(Zhang,Li,tennis)这里谓词是play，动词主体是Zhang和 Li，而客体是tennis。l谓词逻辑规范表达式：P(x1,x2,x3,)，这里P是谓词,xi是主体与客体。98.98表示方法表示方法 逻辑表示法逻辑表示法l
46、谓词比命题更加细致地刻画知识：l表达能力强l如：北京是个城市，City(x)把城市这个概念分割出来。把“城市”与“北京”两个概念连接在一起，而且说明“北京”是“城市”的子概念。（有层）l谓词可以代表变化的情况l如：City(北京),真。City(煤球)，假l在不同的知识之间建立联系.99.99表示方法表示方法 逻辑表示法逻辑表示法l在不同的知识之间建立联系l如：Human(x)Lawed(x)，人人都受法律管制，x是同一个人。Commit(x)Punished(x)，x不一定是人也可以是动物。而，Human(x)Lawed(x)commit(x)Punished(x)，意为如果由于某个x是人而
47、受法律管制，则这个人犯了罪就一定要受到惩罚。100.100表示方法表示方法 逻辑表示法逻辑表示法l谓词逻辑法是应用最广的方法之一，其原因是：l谓词逻辑与数据库，特别是关系数据库就有密切的关系。在关系数据库中，逻辑代数表达式是谓词表达式之一。因此，如果采用谓词逻辑作为系统的理论背景，则可将数据库系统扩展改造成知识库。l 一阶谓词逻辑具有完备的逻辑推理算法。如果对逻辑的某些外延扩展后，则可把大部分的知识表达成一阶谓词逻辑的形式。（知识易表达）l.101.101表示方法表示方法 逻辑表示法逻辑表示法l谓词逻辑法是应用最广的方法之一，其原因是：.l谓词逻辑本身具有比较扎实的数学基础，知识的表达方式决定
48、了系统的主要结构。因此，对知识表达方式的严密科学性要求就比较容易得到满足。这样对形式理论的扩展导致了整个系统框架的发展。l 逻辑推理是公理集合中演绎而得出结论的过程。由于逻辑及形式系统具有的重要性质，可以保证知识库中新旧知识在逻辑上的一致性（或通过相应的一套处理过程检验）、和所演绎出来的结论的正确性。而其它的表示方法在这点上还不能与其相比。102.102表示方法表示方法 逻辑表示法逻辑表示法 用逻辑（谓词）表示知识实质上是把人类关于世界的认识变成一个包含个体、函数和谓词的概念化形式。基本步骤：l给出有关世界的个体、函数和谓词l构造一阶谓词公式（集）l对公式（集）给出解释，使该解释是相应公式（集
49、）的一个模型。103.103表示方法表示方法 逻辑表示法逻辑表示法 为此逻辑表示法在实际人工智能系统上得到应用。104.104逻辑表示例逻辑表示例例例：一个房间里，有一机器人一个房间里，有一机器人Robot，一个积木块，一个积木块Box，两个桌子，两个桌子A和和B，怎样用逻辑法描述从初始状态到目标状态的机器人操作过程？怎样用逻辑法描述从初始状态到目标状态的机器人操作过程？l先引入谓词：先引入谓词：Table(A)表示表示A是桌子是桌子EmptyHanded(Robot)机器人机器人Robot双手空空双手空空At(Robot,A)表示机器人表示机器人Robot在在A旁旁Holds(Robot,B
50、ox)机器人机器人Robot拿着拿着BoxOn(Box,A)积木块积木块Box在在A上上l设定初始状态：设定初始状态：EmptyHanded(Robot)On(Box,A)Table(A)Table(B)l目标状态是：目标状态是：EmptyHanded(Robot)On(Box,B)Table(A)Table(B)105.105例（续）例（续）l 机器人的每个操作的结果所引起的状态变化，可用对原状态的增添表和机器人的每个操作的结果所引起的状态变化，可用对原状态的增添表和删除表来表示。如机器人有初始状态是把删除表来表示。如机器人有初始状态是把Box从从A桌移到桌移到B桌上，然后仍桌上，然后仍回到
