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 an 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.
METHODS AND SYSTEMS FOR ACCELERATING INFERENCE ENGINES USED IN EXPERT SYSTEMS