An Algebra of Granular Temporal Relations for Qualitative Reasoning

Cohen-Solal, Quentin; Bouzid, Maroua; Niveau, Alexandre

An Algebra of Granular Temporal Relations for Qualitative Reasoning

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

Download BibTeX Cite

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 2869-2874.

Abstract

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.

Quentin Cohen-Solal, Maroua Bouzid, and Alexandre Niveau. 2015. An Algebra of Granular Temporal Relations for Qualitative Reasoning. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 2869–2874. https://ijcai.org/proceedings/2015/406

@inproceedings{ijcai2015p406,
  title     = {An Algebra of Granular Temporal Relations for Qualitative Reasoning},
  author    = {Cohen-Solal, Quentin and Bouzid, Maroua and Niveau, Alexandre},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-15}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Qiang Yang and Michael Wooldridge},
  pages     = {2869--2874},
  year      = {2015},
  month     = {7},
  note      = {Special Track on Knowledge Representation and Reasoning},
  url       = {https://ijcai.org/proceedings/2015/406},
}

TY  - CPAPER
TI  - An Algebra of Granular Temporal Relations for Qualitative Reasoning
AU  - Cohen-Solal, Quentin
AU  - Bouzid, Maroua
AU  - Niveau, Alexandre
T2  - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2015
SP  - 2869
EP  - 2874
UR  - https://ijcai.org/proceedings/2015/406
ER  -