正向推理

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

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

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

3）将最初的已知事实与知识库中的知识进行匹配如果是，转到4），否则转6）

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

5）如果知识集不为空，则根据一个冲突解决策略选择一个规则进行推理，将其导出的新事实更新到综合数据库，然后转向2）如果知识集为空，请转至6）

6）询问用户是否可以提供新的事实，如果可以，将它们添加到综合数据库中，并转至3）否则，意味着问题未能解决，并退出。

正向推理控制策略的优点是用户可以主动提供问题的相关信息（新事实）并及时给予回复。缺点是在求解的过程中进行了很多与问题无关的运算，盲目低效，在推理的过程中可能会推导出很多与问题无关的子目标。