Algèbres d'intervalles sur des domaines temporels arborescents
Résumé
Afin de concilier les algèbres d'intervalles temporels avec un modèle temporel arborescent, on présente une algèbre d'intervalles dont le modèle du temps est ordonné par un ordre partiel. Elle est ensuite déclinée suivant l'orientation de l'arborescence. L'approche utilisée est classique puisqu'elle consiste à produire une algèbre d'instants dans chacun de ces cas et de " passer à l'intervalle ". Elle est cependant complexifiée par l'introduction de la notion de voisinage conceptuel dont le passage à l'intervalle nécessite de nouveaux développements. De plus, la symétrie passé/futur dans le cas arborescent est nettement mise en évidence et, en particulier, dissociée de la symétrie des relations réciproques.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...