《人工智能之基于知识的系统(共71张PPT).pptx》由会员分享，可在线阅读，更多相关《人工智能之基于知识的系统(共71张PPT).pptx（71页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、第四章第四章 基于知识的系统基于知识的系统n4.1KB系统的开发系统的开发n4.2设计基于产生式表示的设计基于产生式表示的KB系统开发系统开发工具工具n4.3专家系统实例专家系统实例MYCINn4.4问题求解的结构化组织问题求解的结构化组织n本章小结本章小结培训专用4.1KB系统的开发系统的开发nKBKB系统是系统是基于知识的基于知识的问题求解系统，当其表问题求解系统，当其表现出专家级问题求解能力时称为现出专家级问题求解能力时称为专家系统专家系统。nKBKB系统的研究起始于系统的研究起始于2020世纪世纪6060年代中期。年代中期。n通用问题求解方法的一味追求导致了人工智通用问题求解方法的一味
2、追求导致了人工智能的研究陷入黑暗摸索期！能的研究陷入黑暗摸索期！培训专用1.KB系统的一般概念系统的一般概念nKBKB系统的特点系统的特点n具有求解问题所需的专门知识具有求解问题所需的专门知识n基本原理和常识基本原理和常识n领域专家经验知识领域专家经验知识n具有使用专门知识的符号推理能力具有使用专门知识的符号推理能力n KBKB系统的组成系统的组成nKB系统的基本结构可视为由三个部分组成：系统的基本结构可视为由三个部分组成：知识库、推理机和用户界面知识库、推理机和用户界面培训专用培训专用nKB系统执行的一些常见问题求解任务：系统执行的一些常见问题求解任务：n1)解释解释n2)诊断诊断n3)监控
3、监控n4)预测预测n5)规划规划n6)设计设计培训专用n推理解释推理解释n解释问题求解过程及结果的合理性是解释问题求解过程及结果的合理性是KB系系统应具备的能力。统应具备的能力。n简单的解释方式：简单的解释方式：规则追踪规则追踪就是把问题求解就是把问题求解过程中激活使用的规则按激活的次序显示给过程中激活使用的规则按激活的次序显示给用户。用户。n高级的解释方式：按领域基本原理和常识高级的解释方式：按领域基本原理和常识重重构解答构解答。培训专用nKBKB系统的评价系统的评价nKBKB系统有多个方面的评价，其中有三个最重要：系统有多个方面的评价，其中有三个最重要：计算、感观和性能计算、感观和性能n对
4、对MYCINMYCIN性能的评价性能的评价 n评价方式：评价方式：n首先由首先由KBKB系统的设计者用各种可能的实验测试，确保系统的设计者用各种可能的实验测试，确保无误后再交给用户；无误后再交给用户；n用户以大量实际案例运行用户以大量实际案例运行KBKB系统，并与原有方式执行系统，并与原有方式执行的结果相比较；的结果相比较；n一旦发现错误就立即作修改，直到用户信服一旦发现错误就立即作修改，直到用户信服KBKB系统的系统的有效性，然后才正式投入应用。有效性，然后才正式投入应用。n对于任何类型的错误，其容许出现的程度必须通对于任何类型的错误，其容许出现的程度必须通过权衡错误导致的损失和正确解答带来
5、的利益来过权衡错误导致的损失和正确解答带来的利益来决定。决定。培训专用2.KB系统的体系结构原则系统的体系结构原则n本节内容面向研究生，可以不看了本节内容面向研究生，可以不看了培训专用3.KB系统的开发过程系统的开发过程n知识获取：知识获取：就是把用于问题求解的专门知识从某就是把用于问题求解的专门知识从某些知识源提炼出来，转化为推理机使用形式的过些知识源提炼出来，转化为推理机使用形式的过程。程。n潜在的潜在的知识源知识源包括领域专家、书本、数据库以及普通包括领域专家、书本、数据库以及普通人的经验。人的经验。n目前，知识获取的主要方式：以知识工程师作为中间目前，知识获取的主要方式：以知识工程师作
6、为中间人从领域专家处获取专门知识。人从领域专家处获取专门知识。n为实现知识获取的自动化，就要努力为实现知识获取的自动化，就要努力取消知识工程取消知识工程师的中介作用师的中介作用，让一个智能的知识获取界面直接与，让一个智能的知识获取界面直接与领域专家对话。领域专家对话。培训专用领域专家领域专家知识工程师知识工程师知识获取界面知识获取界面推理机推理机知识库知识库手工知识获取过程手工知识获取过程KB系统系统培训专用领域专家领域专家智能的智能的知识获取界面知识获取界面推理机推理机知识库知识库KB系统系统知识获取的自动化知识获取的自动化培训专用n通过知识工程师来开发通过知识工程师来开发KB系统可归纳为五
7、个阶段。系统可归纳为五个阶段。n识别阶段识别阶段，知识工程师和领域专家一起判别问题的类型和特，知识工程师和领域专家一起判别问题的类型和特征。征。n概念化阶段概念化阶段，阐明重要的概念、关系和信息流特征，并用以，阐明重要的概念、关系和信息流特征，并用以描述问题求解的概念模型，包括问题求解方法、推理控制要描述问题求解的概念模型，包括问题求解方法、推理控制要求和约束条件。求和约束条件。n形式化阶段形式化阶段，决定知识表示形式和推理机制。，决定知识表示形式和推理机制。n实现阶段实现阶段，以概念模型作为语义框架获取问题求解所需的详，以概念模型作为语义框架获取问题求解所需的详细知识，以形式化阶段决定的知识
8、表示语言编写并存放进知细知识，以形式化阶段决定的知识表示语言编写并存放进知识库。新建立的知识库和推理机一起构成识库。新建立的知识库和推理机一起构成KB系统的第一个原系统的第一个原型。型。n测试阶段测试阶段，通过各种测试手段评价原型系统的性能。，通过各种测试手段评价原型系统的性能。培训专用认识问题认识问题的特征的特征找出表达找出表达知识的概念知识的概念设计组织设计组织知识的原则知识的原则形成概括形成概括知识的规则知识的规则验证组织验证组织知识的原则知识的原则必要条件必要条件概念概念结构结构规则规则重新描述重新描述重新设计重新设计重新完善重新完善KB系统的开发步骤系统的开发步骤识别识别概念化概念化
9、形式化形式化实现实现测试测试培训专用4.KB系统的开发工具和环境系统的开发工具和环境n开发工具和环境可以分为三类：外壳开发工具和环境可以分为三类：外壳(骨架系统骨架系统)、表示语言、开发工具箱表示语言、开发工具箱(开发环境开发环境)。n外壳：外壳：给知识工程师提供现成的实现给知识工程师提供现成的实现KB系统的骨架，只要系统的骨架，只要按骨架规定的表示方式编写专门知识，就可形成应用领域按骨架规定的表示方式编写专门知识，就可形成应用领域的的KB系统。系统。n表示语言类工具：表示语言类工具：为知识工程师提供面向知识处理的高级为知识工程师提供面向知识处理的高级编程语言。典型：编程语言。典型：OPS5n
10、开发工具箱开发工具箱(或称或称开发环境开发环境)：为：为KB系统的生命周期中各系统的生命周期中各个阶段提供工具，甚至可以提供多种外壳和表示语言，个阶段提供工具，甚至可以提供多种外壳和表示语言，以及综合它们建立复杂以及综合它们建立复杂KB系统的手段。典型：系统的手段。典型：KEE(KnowledgeEngineeringEnvironment)任务特征与任务特征与外壳不匹配外壳不匹配时不行！时不行！编程语言不能编程语言不能直接描述控制直接描述控制结构！结构！培训专用4.2设计基于产生式表示的设计基于产生式表示的KB系统开发工具系统开发工具n最著名的基于产生式表示的最著名的基于产生式表示的KBKB
11、系统开发系统开发工具就是产生式系统语言工具就是产生式系统语言OPS5OPS5。nOPS5OPS5采用条件采用条件-动作型产生式规则，只动作型产生式规则，只允许正向推理，规则的右部可以是任何允许正向推理，规则的右部可以是任何操作函数的序列。操作函数的序列。n下面介绍一个命名为下面介绍一个命名为XpsXps的实验型产生的实验型产生式系统，它模拟了式系统，它模拟了OPS5OPS5的实现。的实现。培训专用4.2.1总体设计总体设计 产生式系统由三个部分组成：产生式系统由三个部分组成：规则库规则库、综合数综合数据库据库和和控制系统控制系统。1.规则的表示规则的表示n:=*+n可以用规则定义函数可以用规则
12、定义函数Define-Rule定义一条新规则，并定义一条新规则，并将其置于规则库。例如：将其置于规则库。例如：(Define-RuleEat(Hungry?Person)(Edible?Food)(Write(?Personeatsthe?Food)培训专用2.综合数据库的表示综合数据库的表示n综合数据库的内容表示为以列表形式描述的谓词公式。综合数据库的内容表示为以列表形式描述的谓词公式。n可以用存储函数可以用存储函数DB-Store将它们插进综合数据库。将它们插进综合数据库。n例如，在初始化有关饮食问题的综合数据库时，若执行：例如，在初始化有关饮食问题的综合数据库时，若执行：(DB-Stor
13、e(HungryPeter)(DB-Store(HungryPaul)(DB-Store(EdibleHot-Dog)(DB-Store(EdibleTurkey-Leg)(DB-Store(EdibleMuffin)则综合数据库的初始内容就由这则综合数据库的初始内容就由这5个事实元素构成，且每个元素个事实元素构成，且每个元素附加一个时间标签以指示它们进入综合数据库的先后顺序附加一个时间标签以指示它们进入综合数据库的先后顺序.n时间标签按事实元素进入综合数据库的顺序，从时间标签按事实元素进入综合数据库的顺序，从1开始，依开始，依次加次加1。培训专用3.控制系统控制系统n控制机制采用前述的控制机
14、制采用前述的识别识别-行动行动循环控制流。循环控制流。n在每个识别在每个识别-行动循环的识别阶段均有可能激活多条规则，且每条激活行动循环的识别阶段均有可能激活多条规则，且每条激活的规则可有多个激活例，这些规则激活例构成了所谓的规则可有多个激活例，这些规则激活例构成了所谓冲突集冲突集。n例如上述有关饮食问题的规则就存在多个满足综合数据库的激活例如上述有关饮食问题的规则就存在多个满足综合数据库的激活例，并由此建立了以下冲突集：例，并由此建立了以下冲突集：规则名规则名激活例序号激活例序号变量置换变量置换时间标签表时间标签表Eat1Peter/Person,Hot-Dog/Food(13)Eat2Pe
15、ter/Person,Turkey-Leg/Food(14)Eat3Peter/Person,Muffin/Food(15)Eat4Paul/Person,Hot-Dog/Food(23)Eat5Paul/Person,Turkey-Leg/Food(24)Eat6Paul/Person,Muffin/Food(25)其中，时间标签表记载了与规则条件部分匹配模式匹配的事其中，时间标签表记载了与规则条件部分匹配模式匹配的事实元素的时间标签。实元素的时间标签。培训专用nXpsXps采用的冲突解法是：新近和特殊的规则激采用的冲突解法是：新近和特殊的规则激活例优先选用。活例优先选用。n冲突集可以有三种
16、情况：冲突集可以有三种情况：n空集：则系统无法继续推理过程，失败结束；空集：则系统无法继续推理过程，失败结束；n单一规则激活例：直接执行该激活例；单一规则激活例：直接执行该激活例；n多个规则激活例：执行冲突解法。多个规则激活例：执行冲突解法。培训专用冲突解法分三个步骤，分别由三个筛选器执行：冲突解法分三个步骤，分别由三个筛选器执行：（1 1）折射（）折射（RefractionRefraction）筛选）筛选n将已使用过，又再一次激活的规则例删除，不让其进入冲突集。将已使用过，又再一次激活的规则例删除，不让其进入冲突集。n规则激活例中记载的时间标签表，使得检查规则例是否重复激活规则激活例中记载的
17、时间标签表，使得检查规则例是否重复激活成为可能。成为可能。（2 2）新近性（）新近性（RecencyRecency）筛选）筛选n优先选用能与优先选用能与最新近最新近进入综合数据库的事实元素相匹配的规则激活例。进入综合数据库的事实元素相匹配的规则激活例。n由于规则条件部分往往有多个匹配模式，所以必须综合评价它们的新近由于规则条件部分往往有多个匹配模式，所以必须综合评价它们的新近性。性。n可基于时间标签表加以评价，该方法如下：首先将各规则激活例的时可基于时间标签表加以评价，该方法如下：首先将各规则激活例的时间标签表按数字从大到小排列其包含标签的顺序（并删除重复的标签）间标签表按数字从大到小排列其包
18、含标签的顺序（并删除重复的标签），然后再依次比较经排序后的时间标签表的相应元素，就可鉴别出新，然后再依次比较经排序后的时间标签表的相应元素，就可鉴别出新近性的不同。近性的不同。培训专用例如，有以下各时间标签表：例如，有以下各时间标签表：（1103）（）（3101）（913）（）（8697）（）（103）（）（3129）（31101）n则先对各时间标签表进行排序得：则先对各时间标签表进行排序得：（1031）（）（1031）（）（931）（）（9876）（103）（）（9321）（）（1031）n按新近性原则，相应于时间标签表按新近性原则，相应于时间标签表（1103）（）（3101）（）（3110
19、1）的规则激活例新近性最好。的规则激活例新近性最好。培训专用（3）特殊性（）特殊性（Specificity）筛选）筛选n特殊性意指规则的条件部分具有更多的匹配模式。特殊性意指规则的条件部分具有更多的匹配模式。n显然，特殊性高的规则难以激活，所以一旦激活，显然，特殊性高的规则难以激活，所以一旦激活，并通过了新近性筛选，就应优先选用这种规则的并通过了新近性筛选，就应优先选用这种规则的激活例。激活例。n对于上例新近性筛选留下的三个规则激活例，按对于上例新近性筛选留下的三个规则激活例，按特殊性原则，就应选用对应于时间标签表（特殊性原则，就应选用对应于时间标签表（31101）的那个。）的那个。n若经由上
20、述三个步骤的筛选后仍留下多于一若经由上述三个步骤的筛选后仍留下多于一个的规则激活例，则从中个的规则激活例，则从中随机选用随机选用一个。一个。培训专用练习练习nP190、二、二、4设在设在Xps运行的某个识别运行的某个识别-行动循环激活了行动循环激活了6条规则例，它们的时间标签表依次分别为：条规则例，它们的时间标签表依次分别为：（1 3 5）（7 6 0）（7 6 6 0）（5 6 8）（5 6 2）（）（0 3 7）已知第已知第1、4规则激活例已执行过，问此循规则激活例已执行过，问此循环应选用哪条规则激活例加以执行？环应选用哪条规则激活例加以执行？培训专用4.2.2Xps的实现的实现 实现实现
21、Xps的程序设计分三个部分进行：规则库的程序设计分三个部分进行：规则库管理、综合数据库管理和推理引擎。管理、综合数据库管理和推理引擎。1、规则库管理、规则库管理n规则库设计为一个散列表，用前述函数规则库设计为一个散列表，用前述函数Define-Rule定义产生定义产生式规则。式规则。n为提高使用效率，规则转变为内部形式的数据结构存放，为提高使用效率，规则转变为内部形式的数据结构存放，包括包括5个数据场：个数据场：规则名规则名、匹配模式列表匹配模式列表、模式变量表模式变量表、操作函数列表操作函数列表和和时间标签表集合时间标签表集合。n时间标签表集合存放已被执行过的该规则激活例的时间时间标签表集合
22、存放已被执行过的该规则激活例的时间标签表，以备检查。标签表，以备检查。培训专用2 2、综合数据库管理、综合数据库管理n综合数据库设计为树状层次索引网。综合数据库设计为树状层次索引网。n可按事实元素列表中的元素次序逐层建立事实元可按事实元素列表中的元素次序逐层建立事实元素的索引，并素的索引，并将事实元素置于索引路径的末端。将事实元素置于索引路径的末端。n面向综合数据库的管理操作包括面向综合数据库的管理操作包括PS-Store、PS-Erase和和PS-Fetch，分别实现事实元素的插入、，分别实现事实元素的插入、删除和取用删除和取用。培训专用3、推理引擎、推理引擎推理引擎也称为解释器，其主要工作
23、就是对规则库中的规则进行解释性推理引擎也称为解释器，其主要工作就是对规则库中的规则进行解释性执行。基本的控制流是执行。基本的控制流是识别识别-行动行动循环。循环。1）建立冲突集）建立冲突集n每当一个规则条件部分的所有匹配模式都找到匹配的事实元素时，就每当一个规则条件部分的所有匹配模式都找到匹配的事实元素时，就建立该规则的一个激活例，记载模式变量束缚值和时间标签表。建立该规则的一个激活例，记载模式变量束缚值和时间标签表。n随即检查该标签表是否出现于该规则的标签表集合中，若出现，则该随即检查该标签表是否出现于该规则的标签表集合中，若出现，则该激活例已使用过，不再进入冲突集，否则加进冲突集。激活例已
24、使用过，不再进入冲突集，否则加进冲突集。2）解决冲突）解决冲突n由于由于折射折射筛选步已在建立冲突集的过程中完成，解决冲突实际上就是进筛选步已在建立冲突集的过程中完成，解决冲突实际上就是进行后二步：新近性筛选和特殊性筛选，若筛选后冲突集中还剩余多个规则行后二步：新近性筛选和特殊性筛选，若筛选后冲突集中还剩余多个规则激活例，就随机取一个。激活例，就随机取一个。培训专用3）执行选用的规则例）执行选用的规则例首先把该规则激活例的时间标签表加进相应规则内部结首先把该规则激活例的时间标签表加进相应规则内部结构的时间标签表集合；然后将模式变量的束缚值取出，作为构的时间标签表集合；然后将模式变量的束缚值取出
25、，作为参数调用规则右部的操作函数加以执行。参数调用规则右部的操作函数加以执行。为增加产生式规则的表示功能，为增加产生式规则的表示功能，Xps允许在规则允许在规则的条件部分应用特殊谓词的条件部分应用特殊谓词Assign，连词，连词AND和和NOT，关系表达式（以前缀方式表示）和任何真值函数（以关系表达式（以前缀方式表示）和任何真值函数（以$符号作为函数名前缀）。符号作为函数名前缀）。培训专用n应用应用Assign谓词的表达式形如：谓词的表达式形如：（Assign）用于提高规则表示的便易性。其用法通过下面例子用于提高规则表示的便易性。其用法通过下面例子加以说明：加以说明：（Define-RuleF
26、ill-Big-Box(Assign?A（On?XTable）)(Color?XGreen)(PS-Store(In?XBig-Box)(Write(?Xisnowinthebigbox)(PS-Erase?A)这里谓词这里谓词Assign,仅指示将与匹配模式匹配的事仅指示将与匹配模式匹配的事实元素作为模式变量实元素作为模式变量?A的束缚值。的束缚值。需做匹配检查需做匹配检查已经是束已经是束缚值了！缚值了！培训专用n连词连词AND的应用使多个匹配模式联合作为的应用使多个匹配模式联合作为单一的匹配模式。单一的匹配模式。n例如某规则条件部分形如：例如某规则条件部分形如：(P?X?Y)(AND(Q?
27、X?Y)(W?Y?Z)n相当于该规则只有相当于该规则只有2个匹配模式，规则激活例个匹配模式，规则激活例的时间标签表也只包含的时间标签表也只包含2个时间标签。个时间标签。n连词连词AND辖域内的匹配模式仍分别作匹配检辖域内的匹配模式仍分别作匹配检查，只是仅将匹配的事实元素中最大的时间查，只是仅将匹配的事实元素中最大的时间标签作为整个标签作为整个AND匹配模式的时间标签。匹配模式的时间标签。培训专用n连词连词NOT的应用引入了否定的匹配模式。的应用引入了否定的匹配模式。n例如：例如：(NOT(P?X?Y)n只有（只有（P?X?Y）不能满足的情况下，）不能满足的情况下，NOT匹配模式才满足。匹配模式
28、才满足。n显然显然,相应于满足的相应于满足的NOT匹配模式，不可能取得时间标签；但为了匹配模式，不可能取得时间标签；但为了表示因表示因NOT匹配模式的引入增加了规则的特殊性，可产生一个以数匹配模式的引入增加了规则的特殊性，可产生一个以数字字“0”指示的空时间标签。指示的空时间标签。n例如时间标签（例如时间标签（903）就意指条件部分第）就意指条件部分第2个匹配模式是个匹配模式是NOT匹配模式。匹配模式。n关系表达式和真值函数不需要在综合数据库中进行关系表达式和真值函数不需要在综合数据库中进行匹配检查，而是依据关系符的语义或真值函数的执行来匹配检查，而是依据关系符的语义或真值函数的执行来确定真值
29、（确定真值（T或或F）。因此，同样不可能取得时间标签，）。因此，同样不可能取得时间标签，可相应地引入空时间标签。可相应地引入空时间标签。培训专用上周回顾上周回顾n知识表示的实用化问题知识表示的实用化问题n程序性知识程序性知识n陈述性知识陈述性知识n本体表示语言的研究本体表示语言的研究nXMLnDTDnRDFnKB系统特点、组成、评价、开发系统特点、组成、评价、开发n实验型产生式系统实验型产生式系统XPs的设计和实现的设计和实现培训专用4.2.3应用实例应用实例家族树家族树n下面通过一个关于家族树应用简例下面通过一个关于家族树应用简例，观察基于，观察基于产生式表示的产生式表示的KB系统设计和问题
30、求解流程。系统设计和问题求解流程。n问题求解任务是查询某人的祖先，可以设计问题求解任务是查询某人的祖先，可以设计5条产生式条产生式规则加以表示。规则加以表示。n该该KB系统启动后首先初始化综合数据库：用系统启动后首先初始化综合数据库：用PS-Store插入标记（插入标记（Load-Signal）作为第）作为第1个事实元素。个事实元素。培训专用1）(Define-RuleLoad-Data(Assign?A(Load-Signal)(PS-Erase?A)(PS-Store(ParentsPenelopeJessicaJeremy)(PS-Store(ParentsJessicaMary-Eli
31、zabethHomer)(PS-Store(ParentsJeremyJennySteven)(PS-Store(ParentsStevenLoreeNil)(PS-Store(ParentsLoreeNilJason)(PS-Store(ParentsHomerStephanieNil)(PS-Store(Start-Singal)2）(Define-RuleStart-Example(Assign?A(Start-Signal)(PS-Erase?A)(Write(NameofPerson:)(Read?Input)(PS-Store(RequestAncestors?Input)插入事实
32、插入事实元素元素请求输请求输入姓名入姓名培训专用3）(Define-RuleFind-Ancestors(RequestAncestors?Name)(NOT(Equal?NameNil)(Parents?Name?Mother?Father)(PS-Store(RequestAncestors?Mother)(PS-Store(RequestAncestors?Father)4）(Define-RulePrint-Ancestor(Assign?Request1(RequestAncestors?Name)(NOT(=?NameNil)(Write(?Nameisanancestor)(PS
33、-EraseRequest1)5）(Define-RuleStop-Finding-Ancestors(RequestAncestors?Name)(NOT(=?NameNil)(NOT(AND(RequestAncestors?X)(NOT(=?XNil)(NOT(=?X?Name)(Write(Nomoreancestors)(Halt)查询父亲查询父亲母亲母亲打印祖先打印祖先名名无其他祖无其他祖先！先！培训专用1.(Load-Signal)2.(ParentsPenelopeJessicaJeremy)3.(ParentsJessicaMary-ElizabethHomer)4.(Par
34、entsJeremyJennySteven)5.(ParentsStevenLoreeNil)6.(ParentsLoreeNilJason)7.(ParentsHomerStephanieNil)8.(Start-Singal)9.(RequestAncestorsPenelope)10.(RequestAncestorsJessica)11.(RequestAncestorsJeremy)12.(RequestAncestorsJenny)13.(RequestAncestorsSteven)14.(RequestAncestorsLoree)15.(RequestAncestorsJas
35、on)16.(RequestAncestorsMary-Elizabeth)17.(RequestAncestorsHomer)18.(RequestAncestorsStephanie)培训专用4.2.4性能改进性能改进n缺点：缺点：从上例可看出，从上例可看出，Xps求解过程中重复地产生冲突集。求解过程中重复地产生冲突集。n每个识别每个识别-行动循环都重新生成一个冲突集，但系统只从中选行动循环都重新生成一个冲突集，但系统只从中选一个规则激活例执行，其余规则激活例全部抛弃。一个规则激活例执行，其余规则激活例全部抛弃。n实用上，相邻二个循环之间综合数据库的内容往往变化很实用上，相邻二个循环之间综
36、合数据库的内容往往变化很小，造成许多同样的匹配检查工作重复地进行，浪费时间，小，造成许多同样的匹配检查工作重复地进行，浪费时间，降低问题求解效率。降低问题求解效率。n改进：改进：Xps应设计成不是每个循环重新生成一个冲突集，而是应设计成不是每个循环重新生成一个冲突集，而是始终保持一个始终保持一个全局冲突集全局冲突集。n一旦初始冲突集生成，在以后的识别一旦初始冲突集生成，在以后的识别-行动循环中只需依行动循环中只需依据综合数据库的增删变化，加新的规则激活例到冲突集，据综合数据库的增删变化，加新的规则激活例到冲突集，删去条件部分变得不满足的规则激活例。删去条件部分变得不满足的规则激活例。培训专用n
37、对对Xps作以下改进：作以下改进：n（1）将规则条件部分的匹配模式置于另一树状）将规则条件部分的匹配模式置于另一树状层次索引网，并记载匹配模式在规则条件部分层次索引网，并记载匹配模式在规则条件部分中的排列次序和模式变量束缚值。用增删的事中的排列次序和模式变量束缚值。用增删的事实去匹配规则。实去匹配规则。n（2）记载规则的部分满足状态。）记载规则的部分满足状态。n（3）处理否定的匹配模式。）处理否定的匹配模式。nXps的主要功能与的主要功能与OPS5相当，推理控制机制相当，推理控制机制也相同；主要区别在于知识表示形式和内部也相同；主要区别在于知识表示形式和内部存储方式。存储方式。培训专用4.2.
38、5开发工具开发工具OPS5nOPS5开发于开发于70年代后期，属表示语言型专家系统年代后期，属表示语言型专家系统开发工具。开发工具。n能提供比骨架型工具更为通用的推理控制机制和知识能提供比骨架型工具更为通用的推理控制机制和知识表示语言去适应于较宽范围的应用领域，尤其是专家表示语言去适应于较宽范围的应用领域，尤其是专家系统开发者可以通过系统开发者可以通过OPS5的表示语言去设计特别的控的表示语言去设计特别的控制要求。制要求。nXps较好地模仿了较好地模仿了OPS5的实现，主要差别在下面三个的实现，主要差别在下面三个方面。方面。培训专用1）对象表示）对象表示nXps用一组相互独立的事实元素来描述一
39、个对象，而用一组相互独立的事实元素来描述一个对象，而OPS5则则用对象子句集描述一个对象，形如：用对象子句集描述一个对象，形如：（+）n例如例如Xps用一组事实元素来描述某个人用一组事实元素来描述某个人Penelope：(ParentsPenelopeJessicaJeremy）(AgePenelope20)(SexPenelopeFemale)而在而在OPS5中则紧凑地表示为：中则紧凑地表示为：(PersonNamePenelopeAge20SexFemaleParentsJessicaJeremy)指示属性名指示属性名培训专用2)对象的存储形式对象的存储形式nXpsXps以树状层次索引网存
40、储事实元素，以树状层次索引网存储事实元素，OPS5OPS5则为每则为每类对象定义一个类（类对象定义一个类（ClassClass）结构，使类的每个实）结构，使类的每个实例（即对象）具有固定数量的属性和固定的属性名。例（即对象）具有固定数量的属性和固定的属性名。OPS5OPS5以以LITERALIZELITERALIZE格式定义类。格式定义类。n例如类例如类PersonPerson定义为：定义为：（LITERALIZE Person Name Age Sex ParentsLITERALIZE Person Name Age Sex Parents）n类定义允许最后一个属性取多值，这种属性称为向量
41、类定义允许最后一个属性取多值，这种属性称为向量属性。属性。培训专用3）规则条件）规则条件n规则条件部分匹配模式中的模式变量常会受到一些值束缚限规则条件部分匹配模式中的模式变量常会受到一些值束缚限制，例如要求模式变量制，例如要求模式变量?X非空。非空。Xps以插入规则条件部分的以插入规则条件部分的（NOT(EQUAL?XNIL)）来表示；）来表示；nOPS5中规则前提部分的模式则以带变量的类实例（对象）来中规则前提部分的模式则以带变量的类实例（对象）来实现更为方便和紧凑的表示。就以前述家族树最后一条规则实现更为方便和紧凑的表示。就以前述家族树最后一条规则的条件部分为例，的条件部分为例，OPS5将
42、其表示为：将其表示为：（RequestTypeAncestorsTargetNIL）-(RequestTypeAncestorsTargetNIL)培训专用nOPS5OPS5（和（和XpsXps）的一个不同于骨架型工具的重要特点）的一个不同于骨架型工具的重要特点是允许专家系统开发者定制特别的控制要求。定制是允许专家系统开发者定制特别的控制要求。定制建立在二个重要概念的基础上：建立在二个重要概念的基础上：目标模式目标模式和和控制元控制元素素。nOPS5OPS5提供的这种推理控制的定制能力既是优点也是提供的这种推理控制的定制能力既是优点也是缺点。缺点。n优点体现在能够定制控制要求以适应于问题特征和
43、更有优点体现在能够定制控制要求以适应于问题特征和更有效地求解问题，也有利于知识库维护；效地求解问题，也有利于知识库维护；n缺点体现在要求专家系统开发者具有一定的技术水平，无缺点体现在要求专家系统开发者具有一定的技术水平，无经验的开发者会感觉到难以使用。经验的开发者会感觉到难以使用。培训专用4.3专家系统实例专家系统实例MYCINnMYCIN是一个通过提供咨询服务来帮助是一个通过提供咨询服务来帮助普通内科医生诊治细菌感染性疾病的专普通内科医生诊治细菌感染性疾病的专家系统，其于家系统，其于1972年开始研制，年开始研制，74年基年基本完成，并投入实际应用。本完成，并投入实际应用。n围绕着围绕着MY
44、CIN的各种研究工作一直延续的各种研究工作一直延续了了10年，对于推动知识工程以及专家系年，对于推动知识工程以及专家系统学科的建立和发展具有重要影响。统学科的建立和发展具有重要影响。培训专用知识表示方式：知识表示方式：nMYCIN也设计为典型的产生式系统，由规则库、也设计为典型的产生式系统，由规则库、综合数据库和控制系统三个部分组成；只是基于综合数据库和控制系统三个部分组成；只是基于规则的推理采用规则的推理采用逆向逆向方式。方式。n从从KB系统的组成来看，规则库就是系统的组成来看，规则库就是MYCIN的的知识知识库库，综合数据库和控制系统联合形成，综合数据库和控制系统联合形成推理机推理机。由于
45、当。由于当时尚未出现视窗技术，时尚未出现视窗技术，用户界面用户界面只提供基于文本只提供基于文本(text)的问答过程和结果显示。的问答过程和结果显示。培训专用4.3.1知识库的构造知识库的构造nMYCIN的知识库以前提的知识库以前提-动作型产生式规则来表示。动作型产生式规则来表示。n:=RULEPREMISE($AND+)ACTION+:=|（$OR+）。）。n常用函数：常用函数：n(SAME)n(CONCLUDETALLY)可信度，可信度，-1,+1关联三元组关联三元组培训专用nMYCIN系统建立的初期就以上述格式表示和收集了系统建立的初期就以上述格式表示和收集了200多条多条规则于知识库，
46、其中规则于知识库，其中047号规则表示如下：号规则表示如下：nRULE047PREMISE($AND(SAMECNTXTSITEBLOOD)(NOTDEFINITECNTXTIDENT)(SAMECNTXTSTAINGRAMNEG)(SAMECNTXTMORPHROD)(SAMECNTXTBURNT)ACTION(CONCLUDECNTXTIDENTPSEUDOMONASTALLY0.4)n规则规则047如果：如果：1）培养物取自血液，且）培养物取自血液，且2）病原体的身份未鉴别，且）病原体的身份未鉴别，且3）病原体的染色是革兰氏阴性，且）病原体的染色是革兰氏阴性，且4）病原体的形态为杆状，且
47、）病原体的形态为杆状，且5）病人被烧伤；）病人被烧伤；那么：该病原体的身份应鉴别为假单胞细菌，且可信度为那么：该病原体的身份应鉴别为假单胞细菌，且可信度为0.4。需考察的对象（上需考察的对象（上下文）下文）培训专用4.3.2推理机的设计推理机的设计n整个推理过程通过称为目标规则的整个推理过程通过称为目标规则的092号规则来启动。号规则来启动。规则规则092如果：如果：1）存在一种病原体需要治疗，且）存在一种病原体需要治疗，且2）可能存在其它需要治疗的病原体，尽管它）可能存在其它需要治疗的病原体，尽管它们尚未从目前的培养物中分离出来；们尚未从目前的培养物中分离出来；那么：那么：1）依据病原体对药
48、物的敏感情况，制定能）依据病原体对药物的敏感情况，制定能有效抑制这些病原体的治疗方案（可以有多个），有效抑制这些病原体的治疗方案（可以有多个），且且2）从中制定最佳的综合治疗方案；）从中制定最佳的综合治疗方案；否则：否则：病人不必治疗。病人不必治疗。培训专用1、诊断的推理控制、诊断的推理控制n采用逆向推理和深度优先的搜索策略。采用逆向推理和深度优先的搜索策略。n步骤：步骤：n在综合数据库（在综合数据库（MYCIN称为动态数据库）称为动态数据库）中建立上下文对象：病人中建立上下文对象：病人-1（patient-1），），作为一棵上下文树的根节点作为一棵上下文树的根节点 。n以建立病人的治疗方案以
49、建立病人的治疗方案(REGIMEN)为目标，为目标，激活上述规则激活上述规则092。n规则链的形成导致推理树（或称目标树）规则链的形成导致推理树（或称目标树）的建立的建立。培训专用n由于导出相同结论的规则（如由于导出相同结论的规则（如090090和和149149）相互独立地支持结论的）相互独立地支持结论的成立（有成立（有 或或 关系），而规则前提包含的条件又有关系），而规则前提包含的条件又有 与与 关系，所关系，所以推理树成为以推理树成为与或树与或树。培训专用nMYCIN系统通过两个相互调用的程序系统通过两个相互调用的程序MONITOR和和FINDOUT去推进整个推理去推进整个推理（咨询）过程
50、。（咨询）过程。nMONITOR分析相关的规则能否激活；分析相关的规则能否激活；nFINDOUT则搜索规则激活所需的数据（属性值则搜索规则激活所需的数据（属性值及其及其CF）。）。nMYCIN将规则按上下文对象分类，使得每次将规则按上下文对象分类，使得每次对于一个目标作推理时，只需考虑该目标涉对于一个目标作推理时，只需考虑该目标涉及的那个上下文对象相关的规则，从而大幅及的那个上下文对象相关的规则，从而大幅度提高了推理的效率。度提高了推理的效率。培训专用培训专用FINDOUT的程序流程的程序流程培训专用2、不确定推理、不确定推理n鉴于推理过程生成了与或推理树，鉴于推理过程生成了与或推理树，MYC