Skip to Main content Skip to Navigation
Conference papers

Une axiomatisation des relations qualitatives du calcul des intervalles cycliques

Résumé : 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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01487504
Contributor : Gérard Ligozat Connect in order to contact the contributor
Submitted on : Sunday, March 12, 2017 - 2:58:36 PM
Last modification on : Thursday, December 10, 2020 - 12:32:08 PM
Long-term archiving on: : Tuesday, June 13, 2017 - 12:22:37 PM

File

211.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01487504, version 1

Citation

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⟩

Share

Metrics

Record views

162

Files downloads

103