Une algèbre des relations temporelles granulaires pour le raisonnement qualitatif
Résumé
Abstract In this paper, we propose a qualitative formalism for representing and reasoning about time at different scales. It extends some of the results of Euzenat [1995] and overcomes their major limitations, allowing one to reason about relations between points and intervals. Our approach is more expressive than most algebras of temporal relations : for instance, some relations are more relaxed than those in Allen's [1983] algebra, while others are stricter. In particular, it enables the modeling of imprecise , gradual, or intuitive relations, such as " just before " or " almost meet ". In addition, we give several results about how a relation changes when considered at different granularities. Finally, we provide an algorithm to compute the algebraic closure of a temporal constraint * Ceci est la version française de l'article An Algebra of Gra-nular Temporal Relations for Qualitative Reasoning , ` a paraˆtre dans les actes de la conférence IJCAI 2015. network in our formalism, which can be used to check its consistency.
Dans cet article, nous proposons un formalisme qualitatif pour représenter et raisonner sur le temps à différentes échelles, appelées granularités. En particulier, nous étendons certains des résultats d'Euzenat [1995] ` a la prise en compte des relations entre les points et les intervalles. Notre formalisme est plus expressif que la plupart des algèbres de relations temporelles proposées dans la littérature. En effet, certaines de nos relations sont plus restrictives que celles de l'algèbre d'Allen [1983], tandis que d'autres le sont moins. En particulier, ce formalisme permet la modélisation de relations imprécises, graduelles et intuitives, telles que juste avant ou touche presque. En outre, nous exposons plusieurs résultats concernant la conversion d'une relation d'une granularité a une autre. Enfin, nous présentons un algorithme qui calcule la clôture algébrique d'un réseau de contraintes temporelles dans le cadre de notre formalisme, pouvant etre utilisé pour en vérifier la cohérence.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...