第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)是一个产生式, 但并不是一个逻辑蕴含式。 概括 来讲, 产生式描述了事物之间的一种对应关系(包括因果关系 和蕴含关系), 其外延十分广泛。例如, 图搜索中的状态转换 规则和问题变换规则就都是产生式规则。另外还有程序设计语 言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分 和积分公式、化学中分子结构式的分解变换规则等等, 也都是 产生式规则；甚至体育比赛中的规则、国家的法律条文、 单位 的规章制度等等, 也都可以表示成产生式规则