An Application-independent Support System for Integrated Assumption-based Temporal Reasoning

Reason maintenance systems and tem poral reasoning systems are among the most prominent application independent support systems used for complex AI ap plications and there are many applications that need both support for logical and temporal reasoning Apparently it is not enough to just provide two isolated sup port modules The logical and temporal subsystems have to be coupled in the right way We present a hybrid support system integrating assumption based logical and temporal reasoning give a formal charac terization and show what an e cient in cremental implementation of the system would look like Assumption based temporal