第五章 专家系统开发工具.pptVIP

本章主要内容 * * 第五章 专家系统开发工具 5.1 专家系统开发工具的作用 5.2 专家系统开发工具的分类 5.3 骨架系统EMYCIN和KAS 5.4 通用知识表示语言OPS5 5.5 组合开发工具AGE 5.6 机械设计专家系统的骨架系统的建造 5.7 示例—GMDES通用的机械设计专家系统 的骨架结构 5.1.1专家系统工具的概念 专家系统工具是辅助专家系统构造的软件设施。如果将构造专家系统的过程抽象为总结知识，输入知识，设计专家系统几大步骤，则专家系统工具也就可以相应地抽象为辅助这几步骤进行的设施。 5.1专家系统开发工具的作用 可使建立专家系统的时间和造价降低。 5.1.2专家系统开发工具的作用 5.1.2国外软件开发环境的情况 5.2专家系统开发工具的分类 5. 2. 1专家系统开发工具的基本结构 一个专家系统开发工具是一个能够生成专家系统的系统，包括五个方面。 1.有一种（或几种）固定的知识表示方法，并有相应的内部编码形式。 2.有一个知识编辑器，最好能获取领域专家或其它非知识工程师用户以交互方式输入的知识并自动建立知识库。 3.具有一个知识库维护或管理机制，帮助专家或知识工程师发现知识库中的矛盾，冗余及其它不一致和知识的存贮，调度。 4.提供一套或几套推理机制，与编辑器或智能编辑器建立的知识库一起实现实际问题求解。 5.设置一个跟踪解释机制，通过例子或实际问题求解的运行，一方面帮助用户理解的求解结论以实现系统的透明性，另一方面便于专家或知识工程师定位知识库中的错误和不完善。 专家系统开发工具结构示意图 5. 2. 2专家系统开发工具的分类 （一）骨架结构 基本设计思想是：从一个已经研 制成功的专家系统出发，抽去该系统中知识库的专门知识，留下一个固化了的知识表示框架及相应的推理机制和可能的知识获取及解释机制。当在骨架系统中填入另一领域的专门知识并调试，完善形成一个新的知识库时，就形成了一个新的专家系统。 （二）通用知识表示语言 是一类把控制知识也作为一种显 式知识同知识库级知识一样进行表示和 推理的专家系统开发工具。 （三）组合开发工具 是比骨架系统和通用表示语言的通用性更强的一类专家系统开发工具。 5.3骨架系统EMYCIN和KAS 5. 3. 1 EMYCIN EMYCIN是用INTERLISP等语言实现并在PDP-10机和VAX机上运行的基于规则的骨架型专家系统工具。 在EMYCIN系统中，领域知识用事实和规则表示。事实由属性—对象—值三元组组成，且附带一个值域为 [-1,1]的确定性因子。规则用似然（PLAUSIBLE）逻辑联结词将整个事实关联起来，由前提部分和行为部分组成。 KAS是用INTERLISP语言实现并在PDP-10机和VAX机上运行的基于规则的骨架型专家系统工具。 同EMYCIN类似，KAS也用事实和规则表达领域知识。但KAS把EMYCIN中表达事实的属性—对象—值三元组扩充为语义网络，故可描述任意多个对象之间的N元关系，其中相关对象再用一个网络按集与子集关系表达，从而方便了推理机作演绎推理。 5. 3. 2 KAS 在规则表达方面，EMYCIN的规则行为部分之后，有一个确定性因子，而KAS的规则行为部分之前，有两个值域为[0，+00）的规则强度，前一强度LS表示前提为真实结论的可信度，后一强度LN表示前提为假设结论的可信度。 KAS工具系统主要组成： （一）.常驻内存网络编辑程序 1.结构编辑程序 2.自动簿记系统（BS） 3.会话管理系统（DMS） （二）MATCHER在知识获取中的应用 1.维护概率一致性 2.装配知识库 3.辅助设计陈述的语义网络表示 5.4通用知识表示语言OPS5 5.4.1概述 OPS是一种基于产生式的程序设计语言，OPS5是OPS语言系列中最有影响和应用最广的一种版本。 OPS5语言可分为语言本身和推理或执行机构两大部分。语言结构十分简单，只有一种形式的语句，即产生式： 如果条件 则动作 表示成 条件 ? 动作 或 LHS ? RHS