A compiler for real-time knowledge-base systems

Author

Ghallab, M. ; Philippe, H.

Author_Institution

LAAS-CNRS, Toulouse, France

fYear

1988

fDate

25-27 May 1988

Firstpage

387

Lastpage

393

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence for Industrial Applications, 1988. IEEE AI '88., Proceedings of the International Workshop on

Conference_Location

Hitachi City, Japan

Type

conf

DOI

10.1109/AIIA.1988.13323

Filename

13323