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