产生式
产生式介绍
- “ 产生式 ” 这一术语是 1943 年由美国数学家 Post 首先提出的,他根据串替换规则提出了一种称为 Post 机的计算模型,模型中的每一条规则称为一个产生式。所以,产生式表示法又称为产生式规则表示法。
- 1965 年美国的纽威尔和西蒙利用这种原理建立了认知模型。同年,斯坦福大学设计第一个专家系统 DENDRAL 时,就采用产生式系统的结构。
产生式表示
确定性规则知识
- 基本形式: IF P THEN Q 或者:P → Q
- 例如:IF 动物会飞 AND 会下蛋 THEN 该动物是鸟
不确定性规则知识
- 基本形式: IF P THEN Q (置信度) 或者: P → Q (置信度)
- 例如: IF 发烧 THEN 感冒 (0.6)
确定性事实性知识
- 三元组表示:(对象,属性,值) 或者:(关系,对象 1,对象 2)
- 例:老李年龄是 40 岁: (Li,age,40)
- 老李和老王是朋友:(friend,Li,Wang)
不确定性事实性知识
- 四元组表示:(对象,属性,值,置信度) 或者: (关系,对象 1,对象 2,置信度)
- 例:老李年龄很可能是 40 岁:(Li,age,40,0.8 )
- 老李和老王不大可能是朋友:(friend,Li,Wang,0.1 )
思考题
产生式与谓词逻辑中蕴含式的区别
- 蕴含式只能表示精确性知识,逻辑值为真或假,而产生式还可以表示不确定性知识;推理时,可以不精确匹配。
- 蕴含式本身是一个谓词公式,有真值,而产生式没有真值。
产生式系统
产生式系统的组成
规则库RB(Rule Base)
- 规则库用于描述某领域内知识的产生式集合,包含着将问题从初始状态转换成目标状态(或解状态)的变换规则。是专家系统的核心。
综合数据库DB(Data Base)
- 综合数据库又称为事实库,用于存放输入的初始事实、外部数据库输入的事实以及中间结果(事实)和最后结果的工作区。 是动态的。
推理机(Inference Engine)
- 推理机是一个或一组程序,用来控制和协调规则库与综合数据库的运行,包含了推理方式、控制策略。 确定选用什么规则或如何应用规则。
三步完成
通常从选择规则到执行操作分 3 步完成:匹配、冲突解决和操作。
- 匹配:匹配就是将当前综合数据库中的事实与规则中的条件进行比较,如果相匹配,则这一规则称为匹配规则。
- 冲突解决:当有多条匹配规则时,通过冲突解决策略选中的在操作部分执行的规则称为启用规则。冲突解决的策略有很多种 , 其中专一性排序、规则排序、规模排序和就近排序是比较常见的冲突解决策略。
- 操作:操作就是执行规则的操作部分。经过操作以后,当前的综合数据库将被修改,其他的规则有可能将成为启用规则。
产生式系统的推理方式
- 正向推理:从已知事实出发,通过规则库求得结论。
- 反向推理:从目标(作为假设)出发,反向使用规则,求得已知事实。
- 双向推理:双向推理是一种正向推理和反向推理相结合的推理方式。推理从两个方向同时进行,直至某个中间界面上两方向结果相符便成功结束。
产生式系统的例子 — 动物识别系统
规则库
示例演示
产生式表示法
产生式表示法的特点
扫描二维码关注公众号,回复:
15565701 查看本文章
产生式表示法的示例
思考题:农夫、狐狸、鹅和麦粒