Methods and systems for accelerating inference engines used in expert systems

摘要

A computer-implemented method determines relationships between facts. A driver matrix is created from a set of facts and a set of rules applying to the facts. Each entry in the driver matrix indicates whether one of the facts implies another one of the facts. Each of the facts comprises a observable fact relating to a physical object or activity. The driver matrix is multiplied by itself to derive a consequent matrix. The driver matrix is then compared to the consequent matrix to determine relationships between facts in the set of facts.