人工智能第二次上机.pptVIP

第5章 产生式系统 5.1 产生式规则 5.2 产生式系统 5.3 产生式系统与图搜索 5.4 产生式系统的应用 5.5 产生式系统的程序实现 产生式系统的体系结构是实现图搜索的理想的程序结构。产生式系统是人工智能系统的一种最典型最普遍的结构形式。从体系结构看，智能系统（如专家系统）都是产生式系统。 5.1 产生式规则 5.1.1 产生式规则 产生式(Production)一词，首先是由美国数学家波斯特（E.Post）提出来的。波斯特根据替换规则提出了一种称为波斯特机的计算模型，模型中的每一条规则当时被称为一个产生式。后来，这一术语几经修改扩充，被用到许多领域。例如，形式语言中的文法规则就称为产生式。产生式也称为产生式规则，或简称规则。 产生式的一般形式为 前件→后件 其中，前件就是前提，后件是结论或动作，前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。 产生式规则的语义是：如果前提满足，则可得结论或者执行相应的动作，即后件由前件来触发。所以，前件是规则的执行条件，后件是规则体。 例如，下面就是几个产生式规则： (1)如果银行存款利率下调，那么股票价格上涨。 (2)如果炉温超过上限，则立即关闭风门。 (3)如果键盘突然失灵，且屏幕上出现怪字符，则是病毒发作。 (4)如果胶卷感光度为200，光线条件为晴天，目标距离不超过5米，则快门速度取250，光圈大小取f16。 逻辑蕴含式就是产生式，产生式还包括各种操作、规则、变换、算子、函数等等。产生式描述了事物之间的一种对应关系（包括因果关系和蕴含关系）。 一条产生 式规则就是一条知识。用产生式可以实现推理和操作，产生式规则是知识表示形式。 5.1.2 基于产生式的推理模式 由产生式的涵义可知，利用产生式规则可以实现有前提条件的指令性操作，也可以实现逻辑推理。实现操作的方法是当测试到一条规则的前提条件满足时，就执行其后部的动作。这称为规则被触发或点燃。利用产生式规则实现逻辑推理的方法是当有事实能与某规则的前提匹配（即规则的前提成立）时，就得到该规则后部的结论（即结论也成立）。 实际上，这种基于产生式规则的逻辑推理模式，就是逻辑上所说的假言推理（对常量规则而言）和三段论推理（对变量规则而言），即： A→B A→B A B→C B A→C 这里的大前提就是一个产生式规则，小前提就是证据事实。 有前提条件的操作和逻辑推理统称为推理，上式是基于产生式规则的一般推理模式，产生式系统中的推理是更广义的推理。 5.2 产生式系统 5.2.1 产生式系统的组成 产生式系统由三部分组成：产生式规则库、推理机和动态数据库，其结构如图5--1所示。 5.2.2 产生式系统的运行过程 产生式系统运行时，除了需要规则库以外，还需要有初始事实(或数据)和目标条件。 ?目标条件是系统正常结束的条件，也是系统的求解目标。产生式系统启动后，推理机就开始推理，按所给的目标进行问题求解。 推理机的一次推理过程，可如图5—2所示。 一个实际的产生式系统，其目标条件一般不会只经一步推理就可满足，往往要经过多步推理才能满足或者证明问题无解。 产生式系统的运行过程就是从初始事实出发，寻求到达目标条件的通路的过程。所以，产生式系统的运行过程也是一个搜索的过程但一般把产生式系统的整个运行过程也称为推理。 5.2.3 控制策略与常用算法 产生式系统的推理可分为正向推理和反向推理两种基本方式。 正向推理就是从初始事实数据出发，正向使用规则进行推理（即用规则前提与动态数据库中的事实匹配，或用动态数据库