产生式规则

形式：IF P THEN Q

 

与蕴涵式的区别：1. 可表示不精确知识

                        2. 前堤条件可不精确匹配

 

 

产生式系统构成三要素：

                                 1. 规则库——知识

                                 2. 综合数据库——存放信息

                                 3. 控制系统（控制策略、推理引擎）——规则的解释与执行程序

 

分层设计规则库的好处：

1. 已知事实不完整时，至少可得到阶段性结论
2. 若需要增加对其他知识的识别，只需要加入个性化规则

综合数据库：

     1.   存放——初始状态、原始证据、中间结论、最终结论

     2.   数据结构形式——字符串、向量、集合、矩阵……

 

控制系统：

     1.   将综合数据库的事实与规则库的前堤进行匹配

     2.   多条规则匹配时进行冲突消解

     3.   执行规则右端的操作或是将结论送入数据库

     4.   计算不确定性在推理中的传递结果

     5.   控制停机

 

系统执行过程：

1. DATA  <--  初始数据库

2. while( DATA 不满足结束条件 )

    {

           从规则库中选出一条应用于DATA的规则R;

           DATA <-- R应用到DATA后得到的结果;

    }

 

 

产生式系统的分类：

1.  可交换的产生式系统

• 规则的使用次序可交换
• 建立规则库时不必考虑次序问题
• 问题求解的控制策略是无信息控制，简单
• 适用于简单的任务求解问题

2. 可分解的产生式系统

• 综合数据库及终止条件都可分解为若干个独立的子部分
• 一棵与-或树
• 解决复杂问题

3. 可恢复的产生式系统

• 可对综合数据库增加新内容，也可对修改或删除旧内容

    

小结：

1.  优点：自然性、有效性、模块性、清晰（Lisp）

2.  缺点：不能表示结构性知识、组合爆炸、效率低