Abstract
A new time representation is described that allows a continuously changing world to be represented, so that queries about the truth of a proposition at an instant or over an interval can be answered. The deduction mechanism used to answer the common queries necessary in planning is the same as that employed for deducing all other information, thereby avoiding the need for a specialized time expert. The representation allows any time information to be represented without forcing an over specification. The implementation of this representation requires mechanisms to detect the effects of world changes on previous deductions (truth maintenance).
Share this
