- 1、本文档共46页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
专家系统2
动物分类框架 动物 有皮肤 吃食物 呼吸 鸟 鱼 有翼 会飞 有羽毛 有鳍 会游 有鳃 金丝鸟 鸵鸟 鲛鱼 鲑鱼 会叫 黄色 脚长 个高 会跑 咬人 危险 产卵回河中 可食用 粉红色 * 第二章 专家系统的知识表示 本章学习目的 了解各种知识的表示方法,特点及应用场合等; 本章主要讲述内容 知识和知识分类及表示问题; 知识的产生和规则表示法; 知识的框架表示法; 知识的语义网络表示法; 知识的逻辑表示法; 其它知识表示法简介; 2.1 知识、知识分类与知识表示问题 2.1知识、知识分类与知识表示问题 知识的定义:知识是人类在实践中所积累的认识和经验的总和,其中ES的知识指与领域问题求解相关的知识即“数据”和“符号”。 知识的分类: (1)按知识的作用,将计算机处理的知识分为三类 a.描述性知识:表示对象及概念的特征及其相互关系的知识;问题求解状况的知识; b.判断性知识:表示与领域有关的问题求解知识,如推理规则等; (2)按知识的作用层次分 对象级知识:直接描述有关领域对象的知识。 元级知识:描述对象级知识的知识,如关于领域知识的内容、特征、应用范围的知识,如何运用这些知识的知识。 (3)其他分类形式 共性知识与个性知识; 静态知识与动态知识; c.过程性知识:表示问题的求解策略,即如何应用判断性知识等进行推理的知识; 知识表示问题 (1)知识表示的定义:将知识进行符号化,并用特定的数据结构(逻辑与物理两方面)进行描述与存储的方法。 (2)知识表示的要求: 表示能力:能够将问题求解所需的知识正确有效的表达出来; 可理解性:所表达知识简单、明了、易于理解; 可访问性:能够有效地利用所表达的知识; 可扩充性:能够方便、灵活地对所表达的知识进行扩充; (3)知识表示方法的分类: 按其表示的特征分 a.叙述性表示:将知识与控制分开,把知识的使用方法,即控制部分留给计算机程序。它的特点:严密性强;易于模块化;具有推理的完备性;推理的效率较底。 b.过程性表示:将知识与控制结合起来,但推理效率高,两种表示方法各有利弊,对不同性质的问题应采用不同形式的表达方法。 (4)常用的知识表示方法简介 知识的表示和推理在大部分情况下位于独立的两个模块; 但推理机制强烈关联于相应的知识表示方法; a.产生式规则表示法 将知识表示成”if……than”的形式; 表示方法自然、简洁; 对应其的推理机制→编译; b.框架表示法 将知识表示成层状结构; 其将一个对象或概念的所有信息均属于该层次的结构中; 该层次结构还可表示对象间关系; 该层次结构由一系列的“槽”和相关于槽的一系列“侧面”组成; c.语义网络表示法 采用结点和结点间的弧表示对象、概念及其相互关系; d.一阶谓词逻辑表示法 Prolog语言的Horn子句:采用一阶谓词逻辑表示知识 属叙述性知识表示 推理机制→归结推理 有严格的数学基础 e.其它表示法 状态空法 与或图 PETRI网 概念图 2.2.知识的产生式规则表示法 概述: 产生式最早由P.Post于1943年提出,用于构造Post机计算模型; 1972年A.Newell和H.A.Simon在研究人类的认识模型中提出了Rule-Based产生式方法及规则表示模式; Rule.Based的表示法是目前的ES最为普遍的一种; 产生式规则的逻辑结构 (1)格式 if(前提1)(前提2)…… then(结论1)(结论2)…… 正规化格式 if (前提1)(前提2)…… then (结论1) (2)产生式规则的基本单元 前提→符号化的事实型知识,不同前提形式构成不同产生式规则类型。 常量型前提:(Tiger has Leg) 变量型前提:(Li eats $VAR) 结束型前提:($VAR=28) 表达式计算型:($VAR=2x+5y-16) 结论→符
文档评论(0)