第6章基于产生式规则的机器推理探索.pptVIP

第6章 基于产生式规则的机器推理 6.1.1 产生式规则 一般形式： 〈前件〉→〈后件〉 其中, 前件就是前提, 后件是结论或动作,前件和后件可以是由逻辑运算符AND、OR、NOT组成的表达式。 语义: 如果前提满足,则可得结论或者执行相应的动作, 即后件由前件来触发。 所以, 前件是规则的执行条件, 后件是规则体。 例： (1) 如果银行存款利率下调, 那么股票价格上涨。 (2) 如果炉温超过上限, 则立即关闭风门。 (3) 如果键盘突然失灵, 且屏幕上出现怪字符, 则是病毒发作。 (4) 如果胶卷感光度为200, 光线条件为晴天, 目标距离不超过5米, 则快门速度取250, 光圈大小取f16。 产生式与逻辑蕴含式 逻辑蕴含式是一种产生式。 产生式包含蕴含式、各种规则、变换、算子、函数等等。 产生式用来描述事物之间的一种对应关系，包括因果关系和蕴含关系。 如：图搜索与问题求解中的规则就是产生式规则。 一个产生式规则就是一条知识，可以进行推理及实现操作，因此，现在人工智能界一般都把产生式规则作为一种知识表示形式或方法。 6.1.2 基于产生式规则的推理模式 利用产生式规则可以实现： （1）有前提条件的指令性操作。