摘要 |
PURPOSE:To attain a forward inference system that works without always listing all facts before execution of inference by judging whether a condition part is satisfied on a working memory or not and performing the backward inference if no satisfaction of the condition part is confirmed. CONSTITUTION:A condition judging part 106 judges whether a fact described at a condition part is satisfied or not on a working memory 102 in a backward inference mode. If satisfaction or dissatisfaction of the fact is not stored in the memory 102, the satisfaction or dissatisfaction of a rule condition part is judged by means of a rule that draws out said fact, i.e., a rule containing a consequence part for satisfaction/dissatisfaction of the fact. If such a rule is not obtained, a question is given to a user about satisfaction/dissatisfaction of the relevant fact. Thus, it is possible to perform the forward inference without listing first the facts needed for inference since the questions are given to users about unknown facts.
|