Title :
Temporal reasoning in knowledge based process control
Author :
Dockx, C. ; Rijckaert, M.
Author_Institution :
Dept. of Chem. Eng., Katholieke Univ., Leuven, Heverlee, Belgium
Abstract :
The problem of considering time in knowledge-based real-time process control is considered. It is suggested that a qualitative reasoning method and a temporal logic should be combined in one system. Many of the problems can be attacked at the level of knowledge structure and knowledge organisation. Therefore, it is proposed that the knowledge bases be extended with a short history structure to incorporate the extra dimension of time. At the same time it is desired to leave the option of employing a qualitative representation scheme or a temporal logic. This strategy has implications on the short history structure. That structure is described
Keywords :
formal logic; knowledge based systems; process computer control; real-time systems; knowledge organisation; knowledge structure; knowledge-based real-time process control; qualitative reasoning method; short history structure; temporal logic;
Conference_Titel :
Temporal Reasoning, IEE Colloquium on
Conference_Location :
London
