Method for performing consistency checks

摘要

A method for use with a rule-based expert system provides a technique for determining a recent previous consistent state of execution of the expert system after a change is made to a rule or variable. Several queues contain state history information of an inference engine. When changes are made to a rule or variable, these history queues are examined to determine a recent consistent state. If the current state is inconsistent due to the change, the user can be informed that the system is now in an inconsistent state.