第6章基于产生式规则的机器推理

《第6章基于产生式规则的机器推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第6章基于产生式规则的机器推理6.1产生式规则6.2产生式系统习题六6.1产生式规则6.1.1产生式规则产生式(Production)一词,首先是由美国数学家波斯特(E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯特机的计算模型,模型中的每一条规则当时被称为一个产生式。后来,这一术语几经修改扩充,被用到许多领域。例如,形式语言中的文法规则就称为产生式。产生式也称为产生式规则,或简称规则。产生式的一般形式为〈前件〉→〈后件〉其中,前件就是前提,后件是结论或动作,前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。产生式规

2、则的语义是:如果前提满足,则可得结论或者执行相应的动作,即后件由前件来触发。所以,前件是规则的执行条件,后件是规则体。例如,下面就是几个产生式规则：(1)如果银行存款利率下调,那么股票价格上涨。(2)如果炉温超过上限,则立即关闭风门。(3)如果键盘突然失灵,且屏幕上出现怪字符,则是病毒发作。(4)如果胶卷感光度为200,光线条件为晴天,目标距离不超过5米,则快门速度取250,光圈大小取f16。可以看出,产生式与逻辑蕴含式非常相似。是的,逻辑蕴含式就是产生式,但它只是一种产生式。除逻辑蕴含式外,产生式还包括各种操作、规则、变换、算子、函数

3、等等。比如上例中的(2)是一个产生式,但并不是一个逻辑蕴含式。概括来讲,产生式描述了事物之间的一种对应关系(包括因果关系和蕴含关系),其外延十分广泛。例如,图搜索中的状态转换规则和问题变换规则就都是产生式规则。另外还有程序设计语言的文法规则、逻辑中的逻辑蕴含式和等价式、数学中的微分和积分公式、化学中分子结构式的分解变换规则等等,也都是产生式规则；甚至体育比赛中的规则、国家的法律条文、单位的规章制度等等,也都可以表示成产生式规则。6.1.2基于产生式规则的推理模式由产生式的涵义可知,利用产生式规则可以实现有前提条件的指令性操作,也可以实现逻辑推

4、理。实现操作的方法是当测试到一条规则的前提条件满足时,就执行其后部的动作。这称为规则被触发或点燃。利用产生式规则实现逻辑推理的方法是当有事实能与某规则的前提匹配(即规则的前提成立)时,就得到该规则后部的结论(即结论也成立)。实际上,这种基于产生式规则的逻辑推理模式,就是逻辑上所说的假言推理(对常量规则而言)和三段论推理(对变量规则而言),即：A→BAB这里的大前提就是一个产生式规则,小前提就是证据事实。其实,我们也可以把上面的有前提条件的操作和逻辑推理统称为推理。那么,上面的式子也就是基于产生式规则的一般推理模式。这就是说,产生式系统中的推理是

5、更广义的推理。6.2产生式系统6.2.1　系统结构产生式系统由三部分组成：产生式规则库、推理机和动态数据库,其结构如图6－1所示。产生式规则库亦称产生式规则集,由领域规则组成,在机器中以某种动态数据结构进行组织。一个产生式规则集中的规则,按其逻辑关系,一般可形成一个称为推理网络的结构图。推理机亦称控制执行机构,它是一个程序模块,负责产生式规则的前提条件测试或匹配,规则的调度与选取,规则体的解释和执行。即推理机实施推理,并对推理进行控制,它也就是规则的解释程序。图6-1产生式系统的结构6.2.2　运行过程产生式系统运行时,除了需要规则库以外,

6、还需要有初始事实(或数据)和目标条件。目标条件是系统正常结束的条件,也是系统的求解目标。产生式系统启动后,推理机就开始推理,按所给的目标进行问题求解。推理机的一次推理过程可如图6-2所示。图6-2推理机的一次推理过程一个实际的产生式系统,其目标条件一般不会只经一步推理就可满足,往往要经过多步推理才能满足或者证明问题无解。所以,产生式系统的运行过程,就是推理机不断运用规则库中的规则,作用于动态数据库,不断进行推理并不断检测目标条件是否满足的过程。当推理到某一步,目标条件被满足,则推理成功,于是系统运行结束；或者再无规则可用,但目标条件仍未满足,

7、则推理失败,当然系统也运行结束。由上所述,产生式系统的运行过程也就是从初始事实出发,寻求到达目标条件的通路的过程。所以,产生式系统的运行过程也是一个搜索的过程。但一般把产生式系统的整个运行过程也称为推理。那么,一个产生式系统启动后,从哪儿开始推理？下面我们就回答这个问题。6.2.3　控制策略与常用算法产生式系统的推理可分为正向推理和反向推理两种基本方式。简单来讲,正向推理就是从初始事实数据出发,正向使用规则进行推理(即用规则前提与动态数据库中的事实匹配,或用动态数据库中的数据测试规则的前提条件,然后产生结论或执行动作),朝目标方向前进；反向推

8、理就是从目标出发,反向使用规则进行推理(即用规则结论与目标匹配,又产生新的目标,然后对新目标再作同样的处理),朝初始事实或数据方向前进。下面我们给出产