Compiler for real-time knowledge-base systems

Abstract

The authors have developed a system called KHEOPS whose main component is a compiler that transforms a set of monotonic propositional rules into an optimized deterministic decision network. The formalism and class of problems to which the proposed compiler can be applied are described. The authors develop and analyze the principles and compiling algorithms used. Finally, they illustrate the usefulness and performances of the proposed tools through the two large real-time industrial applications: an onboard monitoring and diagnosis expert system, and a process-control system.