摘要 |
PURPOSE:To introduce the conclusion without discrepancy to the utmost by providing a means realizing a storage element storing the procedure in its inside to generate and delete the storage element, thereby checking the discrepancy of a fact based on simple constitution and the control. CONSTITUTION:A pattern matching means 2 collates a condition section of a rule described in a rule base 1 with a data in a storage means 6 representing a fact to check whether or not the pattern matching is successful, and an execution means 3 executes a conclusion section of a designated rule and starts a realizing means 7. The realizing means 7 generates the similar structure to that of a storage element 5 defined in advance onto the storage means 6. If it belongs to a defined discrepancy, the fact introduced from the original hypothesis introducing it is deleted one after another. Thus, the discrepancy is eliminated when it exists in the entire data to always exists only the harmonious result.
|