James David Tani

US Patent:

51194708, Jun 2, 1992

Filed:

Apr 27, 1990

Appl. No.:

7/515720

Inventors:

Frederic D. Highland - New Midway MD
Christine T. Iwaskiw - Ellicott City MD
James D. Tani - Chevy Chase MD
Hugh W. Gallivan - Champaign IL

Assignee:

IBM Corporation - Armonk NY

International Classification:

G06F 1518

US Classification:

395 64

Abstract:

An inference engine device adapted for use in a computer-controlled expert system, the computer-controlled expert system having a computer and a knowledge base of objects and rules, the objects having known values and unknown values, the rules having at least one test against an object or objects and configured in a Rete based network. The inference engine is comprised of a first module with a function of storing instructions for the computer; a second module, associated with the first module, that is comprised of a function for instructing the computer to perform forward reasoning with the objects having known values and another function for generating a conflict set; a third module, associated with the first module, that has a function of instructing the computer to perform backward reasoning about the objects having unknown values; and a fourth module, associated with the first module, that determines whether the first or second module is being executed by the computer.

US Patent:

52710912, Dec 14, 1993

Filed:

Mar 30, 1992

Appl. No.:

7/863503

Inventors:

Frederic D. Highland - New Midway MD
Christine T. Iwaskiw - Ellicott City MD
James D. Tani - Chevy Chase MD

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 1518

US Classification:

395 50

Abstract:

An architecture and method for permitting knowledge-based systems to operate in an asynchronous manner is disclosed. A reasoning module includes a set of environment interface procedures which are customized for a specific complex system environment. This environment interface is compiled together with an inference engine and knowledge base to create an embeddable reasoning module.