2.3--产生式表示法2.3--产生式表示法.pdfVIP

人工智能 第2章 知识表示 2.1 概 述 2.2 谓词逻辑表示法 2.3 产生式表示法 2014-3-3 中国矿业大学计算机学院 1 人工智能 2.3 产生式表示法 ? 产生式系统(Production System): 1943年,由珀斯特(Post)提出，他用这种规则对符 号串作替换运算。 1965年美国的纽威尔和西蒙利用这种原理建立了认 知模型。同年，斯坦福大学设计第一个专家系统 DENDRAL时，就采用产生式系统的结构。 产生式系统是目前已建立的专家系统中知识表示的 主要手段之一,如MYCIN、CLIPS/JESS系统等。 在产生式系统中，把推理和行为的过程用产生式规 则表示，所以又称基于规则的系统。 2014-3-3 中国矿业大学计算机学院 2 人工智能 2.3.1 规则的表示 一般地，??个规则由前项和后项两部分组成。前 项表示前提条件，各个条件由逻辑连接词（合取、析 取等）组成各种不同的组合。后项表示当前提条件为 真时，应采取的行为或所得的结论。产生式系统中每 条规则是一个“条件→结论”或“前提→结论”的产 生式，起简单形式为： IF〈前提〉THEN〈结论〉 IF〈条件〉THEN〈动作〉 2014-3-3 中国矿业大学计算机学院 3 人工智能 为了严格地描述产生式，下面用巴科斯范式给 出它的形式描述和语义： 规则∷=前提→结论 前提∷=简单条件|复合条件 结论∷=事实|动作 复合条件∷=简单条件 And 简单条件[(And 简单条件)…] |简单条件 Or 简单条件[(Or 简单条件)…] 动作∷=动作名[(变元,…)] 2014-3-3 中国矿业大学计算机学院 4 人工智能 2.3.2 事实的表示 1．确定性和不确定性规则知识的产生式表示 确定性规则知识可用前面介绍的产生式的简单形式表示即 可。 不确定性规则知识对基本形式作一定的扩充，用如下形式 表示 P→Q （可信度） 或者 IF P THEN Q （可信度） 其中，P是产生式的前提或条件，用于指出该产生式是否是 可用的条件；Q是一组结论或动作，用于指出该产生式的前提条 件P被满足时，应该得出的结论或因该执行的操作。这一表示形 式主要在不确定推理中当已知事实与前提中的条件不能精确定 匹配时，只要按照“可信度”的要求达到一定的相似度，就认 为已知事实与前提条件匹配，再按照一定的算法将这种可能性 （或不确定性）传递到结论。 2014-3-3 中国矿业大学计算机学院 5 人工智能 2．确定性和不确定性事实性知识的产生式表示 确定性事实性知识一般使用三元组 （对象，属性，值）或 （关系，对象1，对象2） 来表示，其中对象就是语言变量，这种表示的机器 内部实现就是一个表。如事实“老李年龄是35岁”， 便可以表示成 （Lee， Age， 35） 其中，Lee是事实性知识涉及的对象，Age是该对象 的属性，而35岁是该对象属性的值。而老李、老张 是朋友，可表示成 （Friend， Lee， Zhang ） 2014-3-3 中国矿业大学计算机学院 6 人工智能 而有些事实性知识带有不确定性和模糊性，若考虑不 确定性，这种知识就可以用四元组的形式表示如下 （对象，属性，值，不确定度量值）或 （关系，对象1，对象2，不确定度量值） 如不确定性事实性知识 “老李年龄可能是35岁”，这 里老李是35岁的可能性取90%，便可以表示成 （Lee， Age， 35，0.9） 而老李