正向推理，是按照由条件推出结论的方向进行的推理方式。

外文名

Deductive Reasoning

方法

推导

分类

数学

正文

正向推理又称数据驱动推理，是按照由条件推出结论的方向进行的推理方式，它从一组事实出发，使用一定的推理规则，来证明目标事实或命题的成立。一般的推理过程是先向综合数据库提供一些初始已知事实，控制系统利用这些数据与知识库中的知识进行匹配，被触发的知识，将其结论作为新的事实添加到综合数据库中。重复上述过程，用更新过的综合数据库中的事实再与知识库中另一条知识匹配，将其结论更新至综合数据库中，直到没有可匹配的新知识和不再有新的事实加入到综合数据库中为止。然后测试是否得到解，有解则返回解，无解则提示运行失败。

1）将用户提供的初始已知事实送入综合数据库；

2）检查综合数据库中是否已经包含问题的解，若有则求解结束，否则执行下一步；

3）将初始已知事实与知识库中的知识做匹配，若有，则转4），否则转6）；

4）将所有的匹配成功的知识构建成一个知识集；

5）若知识集不为空，则按某种冲突消解策略选择一条规则进行推理，并将其推出的新事实更新至综合数据库，然后转2）；若知识集为空，则转6）

6）询问用户是否可提供新的事实，若有则将其添加至综合数据库，转3）；否则表示问题求解失败，退出。

正向推理控制策略的优点在于用户可以主动地提供问题的相关信息（新事实），并且及时给出反应。不足之处在于求解过程中执行许多与问题无关的操作，有一定的盲目性，效率较低，在推理过程中可能推出许多和问题无关的子目标。

异常原因分析和控制决策的正向推理流程