Premium
Extending CLIPS to support temporal representation and reasoning
Author(s) -
Chinn Susan J.,
Madey Gregory R.
Publication year - 1999
Publication title -
expert systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.365
H-Index - 38
eISSN - 1468-0394
pISSN - 0266-4720
DOI - 10.1111/1468-0394.00097
Subject(s) - computer science , clips , workflow , expert system , knowledge base , knowledge representation and reasoning , extension (predicate logic) , representation (politics) , process (computing) , artificial intelligence , temporal database , temporal logic , human–computer interaction , programming language , data mining , database , politics , political science , law
Applications using expert systems for monitoring and control problems often require the ability to represent temporal knowledge and to apply reasoning based on that knowledge. Incorporating temporal representation and reasoning into expert systems leads to two problems in development: dealing with an implied temporal order of events using a non‐procedural tool; and maintaining the large number of temporal relations that can occur among facts in the knowledge base. In this paper we explore these problems by using an expert system shell, CLIPS (C Language Integrated Production System), to create temporal relations using common knowledge‐based constructs. We also build an extension to CLIPS through a user‐defined function which generates the temporal relations from those facts. We use the extension to create and maintain temporal relations in a workflow application that monitors and controls an engineering design change review process. We also propose a solution to ensure truth maintenance among temporally related facts that links our temporal extension to the CLIPS facility for truth maintenance.