概述
逻辑表示法
规则表示法
语义网络表示法
框架表示法
面向对象表示法

 

 

 

 

 

 

 

 

知识就是力量!

逻辑 规则 语义 框架 对象
 

 

产生式规则系统的控制策略

一、按执行规则的方式可分:

       1、正向推理:也称为正向链接,方法是首先检查规则前提是否成立,若前提成立,则执行该规则的动作部分。

      2、逆向推理:也称为逆向链接,适用于规则的动作部分是某一结论的规则。方法是对要证实的假设,选择一条结论与该假设相符合的规则,然后检查该规则的前提是否成立。

 

反向推理 正向推理
目标驱动 数据驱动
从可能的解答出发,向后推理验证解答 从一组数据出发向前推导结论
由询问关于目标状态的一个问题而启动 从一个事件启动
可解释其推理过程 不能解释其推理过程
由顶向下推理 由底向上推理
典型系统:PROLOG 典型系统:cLIPS,OPS

正反向推理策略的简要比较

二、按驱动方式可分为:

       1、数据驱动:也称为模式制导,方法是从已知数据信息出发,不断应用规则,最后得到解答。

      2、目标驱动控制:也称为目标制导,方法是对可能的解答作出假设,再应用规则收集有关数据加以证实。值得注意的是:如果规则前提为数据,结论为假设的话,则数据驱动就相当于正向推理,目标驱动就相当于逆向推理,否则就不是这样。混合驱动控制则是综合了数据驱动和目标驱动。


返回