正向推理

正向推理又称为数据驱动推理，是按照由条件推出结论的方向进行的推理方

式，它从一组表示事实的谓词或命题出发，使用一组推理规则，来证明目标谓词

公式或命题是_台成立。一般的推理过程是先提供一批初始数据到总知识库中，系

统利用这些数据与规则的前提匹配，触发匹配成功的规则，将其结论作为新的事

实添加到总知识库中。继续上述过程，用更新过的总知识库中的所有事实再与规

则库中另一条规则匹配，用其结论再修改总知识库的内容，直到没有可匹配的新

规则，不再有新的事实加到总知识库为止。然后测试可否得到解，有解的话返回

解，无解则进行失败处理。