人工智能原理课件完整版页.ppt

上下文特性： Assocwith：父辈节点的上下文类型； Subject：可用于此类上下文的规则表； MainProps：上下文的参数，当此类上下文被例示时， 就立即跟踪此表中参数； Prompt1：提问，是否已有此类型上下文。 Prompt2 * 参数：上下文、对象属性 Person ：Sex , Name, Age , Regimen等属性。 每一个参数有相关的一组属性，例如： LABDATA：表明数据是由用户直接给出还是需要进行推 理得到； LOOKAHEAD：在前提中引用该参数的所有规则； UPDATED BY：能更新此参数的所有规则； CONTAINED IN：在操作部分引用此参数，但并不改变其 值的所有规则。 * 3 规则 除了PREMISE、ACTION外，还有以下两参数影响其使用： CATEGORY：规则按上下文进行分类，每条规则只能 用于某几个上下文类； SELFREF：规则是否自引用。 * 规则047，用对象、属性、值的三元组的形式存于知识库中 * 推理控制 1 主要思想： 此类病诊断正常过程： （1）确定是否有重要病菌感染； （2）确定病菌类型； （3）确定抗菌类型； （4）优选治疗方案。 MYCIN采用逆向推理，深度优先搜索策略。 * 2 主要过程 （1)赋于这个上下文一个名称；　　(2) 把这个上下文加到上下文树上去；　　(3) 马上跟踪这类上下文的MAINPROPS表中的参数。 对于新的病人建立PERSON名称的上下文，跟踪其参数； PERSON四个参数中，只有REGIMEN为非LABDATA； * 在操作部分涉及它的只有一条规则： 规则092IF存在一种病菌需要处理某些病菌虽然没有出现在目前的培养物中， 但已经注意到它们需要处理THEN根据病菌对药物的敏感情况，编制一个可 能抑制该病菌的处方表从处方表中选择最佳的处方ELSE病人不必治疗  * 在规则前提的第一和第二个子句中，涉及到第二个参数TREATFOR和COVERFOR。这二个参数都是PROP-PT，并且是“是非”型的。对这二个参数求值，就引起了长长的咨询过程。 TREATFOR表示需要处理的细菌，它不是LABDATA参数，所以系统试图引用所有的在这个参数的UPDATED-BY特性中所列出的规则来推论它的值： IF已知细菌的类别 存在和这种细菌的出现有关的显著的病症THEN肯定存在一种需要处理的细菌(可信度1.0) * 这是一条CURORGRULE规则。通过检查它的CATEGORY特性知道，它只能用于CURORGS细菌类型的上下文。当前所研究的PATIENT-1的上下文类型是PERSON，不是细菌，所以MYCIN试图用动 态数据库中的上下文树来鉴别PATIENT-1的所有的属于细菌类型的后代。因为到目前为止，还没有细菌类型的上下文的例示。MYCIN需要建立这样的例示。 * 系统检验细菌类型上下文是否可能是PERSON类型上下文的直接后代，结果发现不行。细菌类型上下文的ASSOCWITH特性是CURCULS培养物。这表明细菌的父辈上下文类型必须是培养物。相应地，MYCIN检查是否可能例示培养物类型的上下文，因为培养物的ASSOCWITH特性是PERSON。而PERSON类型上下文已存在，所以可例示培养物上下文作为PATIENT-1的直接后代。系统就进行这个过程。 新节点加入需考虑父子关系，父不存在，需先建父。 当每个上下文被例示时，它的MAINPROPS参数就被跟踪。参数是LABDATA参数，马上要向用户询问。  * 上下文树的构成 * MYCIN的控制策略是由目标引导的逆向推理。系统首先引用目标规则以推论PATIENT-1的REGIMEN参数。 系统需要跟踪在规则的前提部分中涉及的参数TREATFOR和COVERPOR。跟踪的方法是依次地调用所有可以决定这二个参数的规则。 每当这些规则被调用时，MYCIN通过调用更进一步的规则来跟踪它的前提部分中的参数，产生式系统的IF-THEN规则组 成了与或树。继续跟踪过程就导致了在由规则所组成的与或树中的深度优先的搜索过程。 * 对规则处理，条件匹配； 两个过程：MONITOR和FINDOUT； MONITOR用于分析规则； FINDOUT为MONITOR找所需要的数据。 解释 提供解释机制。 * 4.3 专家系统的设计和建立 设计内容 知识库设计：在知识表达的基础上，根据形式化的知识模型和相应的符号结构体系，设计具有知识存储、检索、编排等的知识数据库： （1）库中存储知识的类别：叙述/过程/控制等； （2）表达方法的选择