DocumentCode
279742
Title
Temporal reasoning in knowledge based process control
Author
Dockx, C. ; Rijckaert, M.
Author_Institution
Dept. of Chem. Eng., Katholieke Univ., Leuven, Heverlee, Belgium
fYear
1990
fDate
32904
Firstpage
42491
Lastpage
42494
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;
fLanguage
English
Publisher
iet
Conference_Titel
Temporal Reasoning, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
189772
Link To Document