A fully integrated real-time multi-tasking knowledge-based system: application to an on-board diagnostic system

A flexible software architecture is required to allow problem solving in dynamic real-time situations. Such an architecture is described. It is based on a knowledge-based development system, SUPER, and a real-time multi-tasking kernel which gives to the knowledge-based system the ability to perform data input, interrupt handling, and temporal reasoning during the inference process. Methods are provided which allow the system to be responsive to important events and to focus attention dynamically. It is possible to generate a source code from the knowledge base. This code can be compiled and linked to external procedures. The application of the system to the development of an integrated real-time diagnostic system, embedded in a car, which computes its capacity to execute a maneuver safely, is described.<<ETX>>

[1]  K.-E. Arzen,et al.  A comparison between three development tools for real-time expert systems: Chronos, G2 and Muse , 1989, IEEE Control Systems Society Workshop on Computer-Aided Control System Design.

[2]  Pierre Morizet-Mahoudeaux,et al.  Maintaining consistency of database during monitoring of an evolving process by a knowledge-based system , 1991, IEEE Trans. Syst. Man Cybern..

[3]  N. S. Sridharan,et al.  Real-Time AI Systems: A Definition and An Architecture , 1989, IJCAI.

[4]  David Atkinson,et al.  A Focused, Context-Sensitive Approach to Monitoring , 1989, IJCAI.

[5]  Andrew S. Cromarty,et al.  "Fast" Is Not "Real-Time": Designing Effective Real-Time AI Systems , 1985, Other Conferences.

[6]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[7]  Thomas Dean,et al.  Large-Scale Temporal Data Bases for Planning in Complex Domains , 1987, IJCAI.

[8]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[9]  P. Morizet-Mahoudeaux,et al.  Handling variables in a logical network of rules, revision of consistency controlling method of the plan of action manager SUPER , 1989, Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics.

[10]  Pierre Morizet-Mahoudeaux,et al.  A hierarchy of network-based knowledge systems , 1991, IEEE Trans. Syst. Man Cybern..

[11]  Thomas J. Laffey,et al.  Real-Time Knowledge-Based Systems , 1988, AI Mag..

[12]  David Poole,et al.  Normality and Faults in Logic-Based Diagnosis , 1989, IJCAI.