Temporal Data Representation and Reasoning in REAKT

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 multi-agent blackboard architecture and will provide a perspective of the temporal functionalities offered in the REAKT tool