Title :
A compiler for real-time knowledge-base systems
Author :
Ghallab, M. ; Philippe, H.
Author_Institution :
LAAS-CNRS, Toulouse, France
Abstract :
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.<>
Keywords :
computerised monitoring; computers; knowledge based systems; process computer control; real-time systems; KHEOPS; compiler; compiling algorithms; diagnosis expert system; large real-time industrial applications; monotonic propositional rules; onboard monitoring; optimized deterministic decision network; process-control system; real-time knowledge-base systems; Algorithm design and analysis; Artificial intelligence; Control systems; Diagnostic expert systems; Knowledge based systems; Monitoring; Pattern matching; Production systems; Prototypes; Real time systems;
Conference_Titel :
Artificial Intelligence for Industrial Applications, 1988. IEEE AI '88., Proceedings of the International Workshop on
Conference_Location :
Hitachi City, Japan
DOI :
10.1109/AIIA.1988.13323
