第6章基于产生式规则的机器推理 第6章基于产生式规则的机器推理 6.1产生式规则 6.2产生式系统 习题六 BACK
第 6 章 基于产生式规则的机器推理 第 6 章 基于产生式规则的机器推理 6.1 产生式规则 6.2 产生式系统 习题六
第6章基于产生式规则的机器推理 6.1产生式规则 6.1.1产生式规则 产生式(Production)一词，首先是由美国数学家波斯特 (E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯 特机的计算模型，模型中的每一条规则当时被称为一个产生式。 后来，这一术语几经修改扩充，被用到许多领域。例如，形式 语言中的文法规则就称为产生式。产生式也称为产生式规则 或简称规则
第 6 章 基于产生式规则的机器推理 6.1 产 生 式 规 则 6.1.1 产生式(Production)一词, 首先是由美国数学家波斯特 (E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯 特机的计算模型, 模型中的每一条规则当时被称为一个产生式。 后来, 这一术语几经修改扩充, 被用到许多领域。例如, 形式 语言中的文法规则就称为产生式。产生式也称为产生式规则, 或简称规则
第6章基于产生式规则的机器推理 产生式的一般形式为 (前件〉→〈后件〉 其中，前件就是前提，后件是结论或动作，前件和后件可以是 由逻辑运算符AND、OR、NOT组成的表达式。 产生式规则的语义是：如果前提满足，则可得结论或者执 行相应的动作，即后件由前件来触发。所以，前件是规则的执 行条件，后件是规则体
第 6 章 基于产生式规则的机器推理 产生式的一般形式为 〈前件〉→〈后件〉 其中, 前件就是前提, 后件是结论或动作,前件和后件可以是 由逻辑运算符AND、OR、NOT组成的表达式。 产生式规则的语义是: 如果前提满足,则可得结论或者执 行相应的动作, 即后件由前件来触发。 所以, 前件是规则的执 行条件, 后件是规则体
第6章基于产生式规则的机器推理 例如，下面就是几个产生式规则： (1)如果银行存款利率下调， 那么股票价格上涨。 (2) 如果炉温超过上限，则立即关闭风门。 (3) 如果键盘突然失灵，且屏幕上出现怪字符，则是病 毒发作。 (4) 如果胶卷感光度为200，光线条件为晴天，目标距离 不超过5米，则快门速度取250，光圈大小取f16
第 6 章 基于产生式规则的机器推理 例如, 下面就是几个产生式规则： (1) 如果银行存款利率下调, 那么股票价格上涨。 (2) 如果炉温超过上限, 则立即关闭风门。 (3) 如果键盘突然失灵, 且屏幕上出现怪字符, 则是病 毒发作。 (4) 如果胶卷感光度为200, 光线条件为晴天, 目标距离 不超过5米, 则快门速度取250, 光圈大小取f16
第6章基于产生式规则的机器推理 可以看出，产生式与逻辑蕴含式非常相似。是的，逻辑蕴 含式就是产生式，但它只是一种产生式。除逻辑蕴含式外，产 生式还包括各种操作、规则、变换、算子、函数等等。比如 上例中的(2)是一个产生式，但并不是一个逻辑蕴含式。概括 来讲，产生式描述了事物之间的一种对应关系（包括因果关系 和蕴含关系)，其外延十分广泛。例如，图搜索中的状态转换 规则和问题变换规则就都是产生式规则。另外还有程序设计语 言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分 和积分公式、化学中分子结构式的分解变换规则等等，也都是 产生式规则；甚至体育比赛中的规测、国家的法律条文、单位 的规章制度等等，也都可以表示成产生式规则
第 6 章 基于产生式规则的机器推理 可以看出,产生式与逻辑蕴含式非常相似。是的, 逻辑蕴 含式就是产生式, 但它只是一种产生式。除逻辑蕴含式外, 产 生式还包括各种操作、规则、变换、算子、函数等等。 比如 上例中的(2)是一个产生式, 但并不是一个逻辑蕴含式。 概括 来讲, 产生式描述了事物之间的一种对应关系(包括因果关系 和蕴含关系), 其外延十分广泛。例如, 图搜索中的状态转换 规则和问题变换规则就都是产生式规则。另外还有程序设计语 言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分 和积分公式、化学中分子结构式的分解变换规则等等, 也都是 产生式规则；甚至体育比赛中的规则、国家的法律条文、 单位 的规章制度等等, 也都可以表示成产生式规则
第6章基于产生式规则的机器推理 6.1.2基于产生式规则的推理模式 由产生式的涵义可知，利用产生式规则可以实现有前提条 件的指令性操作，也可以实现逻辑推理。实现操作的方法是 当测试到一条规则的前提条件满足时，就执行其后部的动作 这称为规则被触发或点燃。利用产生式规则实现逻辑推理的 方法是当有事实能与某规则的前提匹配（即规则的前提成立）时， 就得到该规则后部的结论（即结论也成立）
第 6 章 基于产生式规则的机器推理 6.1.2 由产生式的涵义可知,利用产生式规则可以实现有前提条 件的指令性操作, 也可以实现逻辑推理。实现操作的方法是 当测试到一条规则的前提条件满足时, 就执行其后部的动作。 这称为规则被触发或点燃。利用产生式规则实现逻辑推理的 方法是当有事实能与某规则的前提匹配(即规则的前提成立)时, 就得到该规则后部的结论(即结论也成立)
第6章基于产生式规则的机器推理 实际上，这种基于产生式规则的逻辑推理模式，就是逻辑 上所说的假言推理（对常量规则而言）和三段论推理（对变量规 则而言)，即： A →B A B 这里的大前提就是一个产生式规则，小前提就是证据事实。 其实，我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么，上面的式子也就是基于产生式规则的一般 推理模式。这就是说，产生式系统中的推理是更广义的推理
第 6 章 基于产生式规则的机器推理 实际上,这种基于产生式规则的逻辑推理模式, 就是逻辑 上所说的假言推理(对常量规则而言)和三段论推理(对变量规 则而言), 即： A →B A B 这里的大前提就是一个产生式规则, 小前提就是证据事实。 其实, 我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么,上面的式子也就是基于产生式规则的一般 推理模式。这就是说, 产生式系统中的推理是更广义的推理
第6章基于产生式规则的机器推理 6.2产生式系统 6.2.1系统结构 产生式系统由三部分组成：产生式规则库、 推理机和动 态数据库，其结构如图6一1所示。 产生式规则库亦称产生式规则集，由领域规则组成，在机 器中以某种动态数据结构进行组织。一个产生式规则集中的规 则，按其逻辑关系，一般可形成一个称为推理网络的结构图。 推理机亦称控制执行机构，它是一个程序模块，负责产生式 规则测的前提条件测试或匹配，规则的调度与选取，规则体的解释 和执行。即推理机实施推理，并对推理进行控制，它也就是规 则的解释程序
第 6 章 基于产生式规则的机器推理 6.2 产 生 式 系 统 6.2.1 产生式系统由三部分组成： 产生式规则库、 推理机和动 态数据库, 其结构如图6－1所示。 产生式规则库亦称产生式规则集, 由领域规则组成, 在机 器中以某种动态数据结构进行组织。一个产生式规则集中的规 则, 按其逻辑关系, 一般可形成一个称为推理网络的结构图。 推理机亦称控制执行机构,它是一个程序模块,负责产生式 规则的前提条件测试或匹配,规则的调度与选取,规则体的解释 和执行。即推理机实施推理, 并对推理进行控制, 它也就是规 则的解释程序
第6章基于产生式规则的机器推理 产生式规则库 推理机 帝安地手得发大学此阪社 品姿心子到发大孝放版自 品实电子科发大曾出版妇 动态数据库 西安心手种发大学成成烈 品美 图6-1产生式系统的结构
第 6 章 基于产生式规则的机器推理 图 6-1 产生式系统的结构
第6章基于产生式规则的机器推理 6.2.2运行过程 产生式系统运行时，除了需要规则库以外，还需要有初 始事实（或数据）和目标条件。目标条件是系统正常结束的条 件，也是系统的求解目标。产生式系统启动后，推理机就开 始推理，按所给的目标进行问题求解。 推理机的一次推理过程可如图6-2所示
第 6 章 基于产生式规则的机器推理 6.2.2 产生式系统运行时, 除了需要规则库以外, 还需要有初 始事实(或数据)和目标条件。目标条件是系统正常结束的条 件, 也是系统的求解目标。产生式系统启动后, 推理机就开 始推理, 按所给的目标进行问题求解。 推理机的一次推理过程可如图 6-2所示