Temporal data representation and reasoning in REAKT

Abstract

The ability of reasoning about temporal data, representing past, current and expected application states is an important function to be accomplished by Real-Time Knowledge-Based Systems (RTKBS). The application of Knowledge-based systems to real-time problems has to deal with dynamic time-constrained environments and assess two of the most important requirements in real-time systems: the ability to react rapidly to changes in the environment and the guarantee of a bound on the response time. This paper presents a temporal framework for reasoning about the future behaviour of a dynamic time-constrained problem. The proposed mechanism is integrated into a multiagent blackboard architecture and will provide a perspective of the temporal functionalities offered in the REAKT tool