Models of axioms for time intervals

  • Authors:

  • Peter Ladkin

  • Affiliations:

  • Kestrel Institute, Palo Alto, CA

  • Venue:
  • AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract

James Allen and Pat Hayes have considered axioms expressed in first-order logic for relations between time intervals [AllHay85, AllHay87.1, AllHay87.2]. One important consequence of the results in this paper is that their theory is decidable [Lad87.4]. In this paper, we characterise all the models of the theory, and of an important subtheory. A model is isomorphic to an interval structure INT(S) over some unbounded linear order S, and conversely, INT(S), for an arbitrary unbounded linear order S, is a model. The models of the subtheory are similar, but with an arbitrary number of copies of each interval (conversely, all structures of this form are models). We also show that one of the original axioms is redundant, and we exhibit an additional axiom which makes the Allen-Hayes theory complete and count ably categorical, with all countable models isomorphic to INT( Q), the theory of intervals with rational endpoints, if this is desired. These results enable us to directly compare the Allen-Hayes theory with the theory of Ladkin and Maddux [LadMad87.1], and of van Benthem [vBen83].