An axiomatics of the qualitative relations of the Cyclic Interval Calculus
Une axiomatisation des relations qualitatives du calcul des intervalles cycliques
Abstract
Récemment, un formalisme qualitatif temporel appelé le calcul des intervalles cycliques a été proposé par Balbiani et Osmani. Ce formalisme utilise les arcs d'un cercle pour représenter les entités temporelles et considère 16 relations qualitatives similaires à celles du calcul des intervalles d'Allen. Le principal propos de cet article est de fournir une axiomatisation de ces relations qualitatives, en particulier de la relation meets (rencontre) à partir de laquelle se déduisent les 15 autres relations. Nous montrons de quelle manière sont reliés les ordres cycliques et les modèles de l'axiomatisation proposée. Nous montrons également que tout modèle dénombrable de notre axiomatisation est isomorphe à celui qui peut être construit à partir de l'ordre cyclique sur les rationnels. Notre approche est semblable à celle utilisée par Ladkin dans le cadre du calcul des intervalles d'Allen.
Origin : Files produced by the author(s)
Loading...