Une axiomatisation des relations qualitatives du calcul des intervalles cycliques - Archive ouverte HAL Access content directly
Conference Papers Year : 2004

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.
Fichier principal
Vignette du fichier
211.pdf (191.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01487504 , version 1 (12-03-2017)

Identifiers

  • HAL Id : hal-01487504 , version 1

Cite

Jean-François Condotta, Gérard Ligozat. Une axiomatisation des relations qualitatives du calcul des intervalles cycliques. Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), Jan 2004, Toulouse, France. ⟨hal-01487504⟩
82 View
53 Download

Share

Gmail Facebook Twitter LinkedIn More