The Capturing of Real-Time Knowledge

Autor: M.G. Rodd, C.P. Jobling, J. Goodwin
Rok vydání: 1996
Předmět:
Zdroj: IFAC Proceedings Volumes. 29:301-304
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)43735-9
Popis: The Computer Aided Knowledge Engineering (CAKE) project is creating a set of computer-based tools with the aim of moving the task of creating expert systems away from specialist knowledge engineers towards domain experts. The tool outlined in this paper, T-CAKE, aids in the construction of a temporal model of a plant and its associated real-time expert system. The temporal model, expressed in the form of a Quirk model, provides the basis of the temporal verification that is subsequently carried out on the system and can be used to prove that a system will meet the timing constraints imposed upon it. The model can then be used to assist in the creation of the associated real-time expert system’s rule base.
Databáze: OpenAIRE