Axiomatizing the Cyclic Interval Calculus

Jean-François Condotta (1) , Gérard Ligozat (2)

1 UA - Université d'Artois
2 LIMSI - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur

A model for qualitative reasoning about intervals on a cyclic time has been recently proposed by Balbiani and Osmani (Balbiani & Osmani 2000). In this formalism, the basic entities are intervals on a circle, and using considerations similar to Allen's calculus, sixteen basic relations are obtained, which form a jointly disjunctive and pairwise distinct (JEPD) set of relations. The purpose of this paper is to give an ax-iomatic description of the calculus, based on the properties of the meets relation, from which all other fifteen relations can be deduced. We show how the corresponding theory is related to cyclic orderings, and use the results to prove that any countable model of this theory is isomorphic to the cyclic interval structure based on the rational numbers. Our approach is similar to Ladkin's axiomatization of Allen's calculus, although the cyclic structures introduce specific difficulties.

Mots clés: qualitative temporal reasoning; theories; cyclic interval calculus; cyclic orderings; aleph_0 –categorical

Domaines: Intelligence artificielle [cs.AI]; Informatique et langage [cs.CL]; Linguistique

Jean-François Condotta, Gérard Ligozat. Axiomatizing the Cyclic Interval Calculus. Knowledge Representation (KR-2004), 2004, Whistler, Canada. ⟨hal-01487498⟩