消解方法的缺点
基于规则的推理
规则系统正向演绎系统（事实驱动系统）
求子句步骤
一个事实表达式的与或树表示
张长水清华自动化系规则推理
一个有趣的性质
一个有趣的性质（续）
规则库
张长水清华自动化系规则推理规则的与或图表示复杂规则的简化
∧∨
清华自动化系规则推理12
3. 推理过程
→E G
∧
张长水清华自动化系规则推理133. 推理过程
C D ∨逆向演绎系统
逆向演绎系统
张长水清华自动化系规则推理16
目标表达式
任意形式的目标表达式一个目标公式的与或图推理过程
张长水清华自动化系规则推理
逆向系统的另一个例子：规则
R1:
目标
双向演绎系统基于规则的系统
总数据库产生式规则
产生式规则控制策略
控制策略的任务冲突解决
从匹配的几条规则中选择一条。