• 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