An Extended Theory of Temporal Propositions

Extending Theories of Action: Formal Theory and Practical Applications

Volume

Papers from the 1995 AAAI Spring Symposium

Contents

This paper presents an extended theory of temporal propositions based on a general time axiomatisation. The time axiomatisation characterises both intervals and points as primitive time elements on an equal footing. It is shown that this extended theory may subsume some existing theories, such as Allen’s interval-based theory of action and time, the correspondingly revised theory proposed by Galton, and Shoham’s classification of temporal propositions which has been defined in terms of point-based intervals, etc.