High-speed inference manner null of compilation die knowledge treatment

摘要

A storage area (G5) for holding instantiation is provided together with a work area (G4) in order to rapidly generate a conflict set. When a condition of a rule is met, the instantiation of the rule is stored in the storage area in a form of data structure. The instantiation having an element whose attribute has been modified in an execution part of the rule is deleted (F2) from the conflict set. IMAGE