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...http://www.google.fr/patents/US5167012?utm_source=gb-gplus-shareBrevet US5167012 - Method for performing consistency checks
