可以看出 , 产生式与逻辑蕴含式非常相似。是的 , 逻辑蕴含式就是产生式 , 但
它只是一种产生式。除逻辑蕴含式外 , 产生式还包括各种操作、规则、变换、算
子、函数等等。 比如上例中的 (2) 是一个产生式 , 但并不是一个逻辑蕴含式。 概
括来讲 , 产生式描述了事物之间的一种对应关系 ( 包括因果关系和蕴含关系 ), 其外
延十分广泛。例如 , 图搜索中的状态转换规则和问题变换规则就都是产生式规则。
另外还有程序设计语言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分
和积分公式、化学中分子结构式的分解变换规则等等 , 也都是产生式规则;甚至体
育比赛中的规则、国家的法律条文、 单位的规章制度等等 , 也都可以表示成产生式
规则。
第 4 页 / 共 56 页