Title :
A scheme for knowledge representation, verification and reasoning in real time asynchronous production systems
Author :
Perraju, T. Siva ; Uma, G. ; Prasad, B.E.
Author_Institution :
Res. Center Imarat, Hyderabad, India
Abstract :
Expert systems for real time process monitoring need to respond to asynchronous events and reason about temporal properties of the process. This requires the ability to perform data input, event handling and temporal asynchronous reasoning during the inference cycle. Conventional expert systems do not possess these abilities. We describe a knowledge representation formalism which captures dynamic properties like external events, timing constraints and data trends in addition to diagnostic knowledge. This representation lends itself to verification of the knowledge base. We further show the implementation of a multiple rule firing asynchronous inference engine using this model
Keywords :
diagnostic expert systems; inference mechanisms; knowledge acquisition; knowledge representation; program verification; real-time systems; asynchronous events; data input; data trends; diagnostic knowledge; dynamic properties; event handling; expert systems; external events; inference cycle; knowledge base verification; knowledge representation; multiple rule firing asynchronous inference engine; real time asynchronous production systems; real time process monitoring; temporal asynchronous reasoning; temporal properties; timing constraints; Clocks; Expert systems; Fault diagnosis; Knowledge based systems; Knowledge representation; Medical diagnostic imaging; Monitoring; Pregnancy; Production systems; Real time systems;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346433
