文档介绍：第5章产生式系统
产生式规则
产生式系统
产生式系统与图搜索
产生式系统的应用
产生式系统的程序实现
产生式规则
产生式规则
产生式(Production)一词,首先是由美国数学家波斯特()提出来的。波斯特根据替换规则提出了一种称为波斯特机的计算模型,模型中的每一条规则当时被称为一个产生式。后来,这一术语几经修改扩充,被用到许多领域。例如,形式语言中的文法规则就称为产生式。产生式也称为产生式规则,或简称规则。
产生式的一般形式为
前件→后件
其中,前件就是前提,后件是结论或动作,前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。
产生式规则的语义是:如果前提满足,则可得结论或者执行相应的动作,即后件由前件来触发。所以,前件是规则的执行条件,后件是规则体。
例如,下面就是几个产生式规则:
(1)如果银行存款利率下调,那么股票价格上涨。
(2)如果炉温超过上限,则立即关闭风门。
(3)如果键盘突然失灵,且屏幕上出现怪字符,则是病毒发作。
(4)如果胶卷感光度为200,光线条件为晴天,目标距离不超过5米,则快门速度取250,光圈大小取f16。
基于产生式的推理模式
由产生式的涵义可知,利用产生式规则可以实现有前提条件的指令性操作,也可以实现逻辑推理。实现操作的方法是当测试到一条规则的前提条件满足时,就执行其后部的动作。这称为规则被触发或点燃。利用产生式规则实现逻辑推理的方法是当有事实能与某规则的前提匹配(即规则的前提成立)时,就得到该规则后部的结论(即结论也成立)。
实际上,这种基于产生式规则的逻辑推理模式,就是逻辑上所说的假言推理(对常量规则而言)和三段论推理(对变量规则而言),即:
A→B
A
B
这里的大前提就是一个产生式规则,小前提就是证据事实。
产生式系统
产生式系统的组成
产生式系统由三部分组成:产生式规则库、推理机和动态数据库,其结构如图5--1所示。
图5—1 产生式系统结构
产品式规则库
推理机
动态数据库
产生式规则库亦称产生式规则集,由领域规则组成,在机器中以某种动态数据结构进行组织。
推理机亦称控制执行机构,它是一个程序模块,负责产生式规则的前提条件测试或匹配,规则的调度与选取,规则体的解释和执行。即推理机实施推理,并对推理进行控制,它也就是规则的解释程序。
产生式系统的运行过程
产生式系统运行时,除了需要规则库以外,还需要有初始事实(或数据)和目标条件。
 目标条件是系统正常结束的条件,也是系统的求解目标。产生式系统启动后,推理机就开始推理,按所给的目标进行问题求解。
推理机的一次推理过程,可如图5—2所示。
一个实际的产生式系统,其目标条件一般不会只经一步推理就可满足,往往要经过多步推理才能满足或者证明问题无解。