An Algebra of Granular Temporal Relations for Qualitative Reasoning

Quentin Cohen-Solal (1) , Maroua Bouzid (1) , Alexandre Niveau (1)

1 Equipe MAD - Laboratoire GREYC - UMR6072

In this paper, we propose a qualitative formalism for representing and reasoning about time at different scales. It extends the algebra of Euzenat and overcomes its major limitations, allowing one to reason about relations between points and intervals. Our approach is more expressive than the other algebras of temporal relations: for instance, some relations are more relaxed than those in Allen's 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 network in our formalism, which can be used to check its consistency.

Domaines: Intelligence artificielle [cs.AI]; Algorithme et structure de données [cs.DS]

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. An Algebra of Granular Temporal Relations for Qualitative Reasoning. Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Jul 2015, Buenos Aires, Argentina. ⟨hal-01189003v2⟩