A compiler for real-time knowledge-base systems

The KHEOPS system's 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. They also illustrate the usefulness and performance of the proposed tools through two large real-time industrial applications: an onboard monitoring and diagnosis expert system, and a process-control system.<<ETX>>