Une axiomatisation des relations qualitatives du calcul des intervalles cycliques - Association Française d'Intelligence Artificielle Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

An axiomatics of the qualitative relations of the Cyclic Interval Calculus

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.
Fichier principal
Vignette du fichier
211.pdf (191.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01487504 , version 1

Citer

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⟩
98 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More