第10章 知识表达和处理方法 62 朱福喜.pptVIP

;;10.1.1 知识和知识表示的含义 ; 在AI领域，研究知识表示方法的目的是用知识来改善程序的性能，具体表现为： 利用知识来帮助选择或限制程序搜索的范围； 利用知识来帮助程序识别、判断、规划与学习。 AI的研究集中在如何使程序拥有知识而具有智能行为。;3．智能系统中的知识;10.1.2 AI中知识表示方法分类 ;２.陈述式知识表示（declarative）;10.1.3 AI对知识表示方法的要求 ;10.1.4 知识表示要注意的问题 ;10.2 逻辑表示法;例10.1 已知命题公式集合s可以转化为如下2条子句。 起大风(5日) ⑴ ～起大风(x日)∨天气变冷((x+1)日) ⑵ 根据⑴是否可以推断6日天气要变冷呢？可以用如下的反证法予以证明。 首先假设6日天气不会变冷，用公式表示为 ～天气变冷(6日) ;; 逻辑表示法的主要优点： ⑴ 自然。逻辑表示法是人们对问题直观理解的一种描述，易于被人们接受。 ⑵ 明确。逻辑表示法对如何表示事实以及如何表示事实之间的复杂关系有明确的规定。 ⑶ 灵活。逻辑表示法把知识和知识处理的方法有效地区分开来了，使得在使用知识时，无需考虑程序处理知识的细节问题。 ⑷ 模块化。各条知识都是相对独立的，容易模块化，添加、删除、修改知识的工作比较容易。;; 1943年美国数学家波斯特（Post）首先提出的产生式系统（production system），产生式是指类似于A→Aa的符号变换规则。产生式系统的广泛使用主要有两点理由： 用产生式系统结构求解问题过程和人类求解问题的思维过程很相像，因而可以用来模拟人们求解问题时的思维过程。 人们可以把产生式当作人工智能系统中的一个基本的知识结构单元。;10.3.1 产生式系统的组成;全局数据库 是产生式系统所使用的主要数据结构，它存放输入的事实和问题状态以及所求解问题的所有信息，包括推理的中间结果和最后结果。全局数据库中的数据根据应用的问题不同，可以是常量、变量、谓词、表结构、图像等等。全局数据库中的数据是产生式规则的处理对象。;规则集 是某领域知识的用规则形式的表示的集合，规则用产生式来表示。规则集包含将问题从初始状态转换到目标状态的那些变换规则。规则的一般形式为： 　　　　　　　　条件　　　　　　　　行为 　　　 　　或 　前提　　　　　　　　结论 　　用一般计算机程序语言表示为： 　　　 if ．．．then ．．． ;控制策略或控制系统 是规则的解释程序，它规定了如何选择一条可应用的规则对全局数据库进行操作，即决定了问题求解过程或推理路线。控制策略负责产生式规则前提或条件语全局数据库中数据的匹配，按一定的策略从匹配超过的规则(可能不止一条)中选出一条加以执行(执行规则行为部分规定的操作，或得到规则结论部分描述的结论)，并在合适的时候结束产生式系统的运行。;10.3.2 产生式系统的知识表示;;(2) 有关联事实的表示 a. 树型结构 在MYCIN霉菌素系统中表示事实用的是四元组，为了查找的方便，它把不同的对象（即上下文）按层次组成一种上下文树。;;b. 网状结构 在PROSPECTOR(探勘者；采矿者)探矿系统中，整个静态知识以语义网络的结构把相关的知识连在一起，这样就使查找更加方便了。 PROSPECTOR将不同对象的矿石按子集和成员关系组成一个网络。网络最左分支表示“方铅矿是硫化铅的成员，硫化铅是硫化矿的子集，而硫化矿又是矿石的子集”。 其中s表示子集关系，subset x y表示y是x的子集；e表示成员关系，element x y表示y是x的成员。;绑凰钨骏矣居屠贮诗窗语卯桃椅碧蛙瓦绩末宛搞酥灯言奥阜蔗氨刊投熙芭第10章 知识表达与处理方法 62 朱福喜第10章 知识表达与处理方法 62 朱福喜; 2. 规则的表示 (1) 单个规则的表示 对于单个规则一般由前项和后项两部分组成。前项由逻辑连接词组成各种不同的前提条件；后项表示前提条件为真时，应采取的行为或所得的结论。如果考虑不精确推理，则可考虑附加可置信度量值。 MYCIN规则中，无论前项或后项，其基本部分是关联三元组（〈特性－对象－取值〉）或一个谓词加上三元组。;MYCIN系统中的规则定义为： rule=( IF antecedent THEN action ELSE action) 其中各部分的定义分别为： antecedent=(AND{condition}) condition=(OR{condit