Qualitative Temporal Reasoning with Points and Durations
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1454-1458.
Abstract
We present here a qualitative temporal reasoning system that takes both points and durations as primitive objects and allows relative and indefinite information. We formaly define a point duration network, as a structure formed by two point algebra (PA) networks separately but not independently, since ternary constraints are introduced for relating point and duration information. We adapt some of the concepts and reasoning techniques developed for the point algebra networks, such as consistency and minimality. We prove that the problem of determining consistency in a point duration network is NP-complete. A simpler and polynomial-time decision problem is introduced for a restricted kind of point duration networks. Finally we suggest how to determine consistency and find minimal point duration network in the general case.
@inproceedings{ijcai1997p209,
title = {Qualitative Temporal Reasoning with Points and Durations},
author = {Navarrete, Isabel and Marín, Roque},
booktitle = {Proceedings of the Fifteenth International Joint Conference on
Artificial Intelligence, {IJCAI-97}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Martha E. Pollack},
pages = {1454--1458},
year = {1997},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1997/209},
}
TY - CPAPER TI - Qualitative Temporal Reasoning with Points and Durations AU - Navarrete, Isabel AU - Marín, Roque T2 - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97 PB - International Joint Conferences on Artificial Intelligence PY - 1997 SP - 1454 EP - 1458 UR - https://ijcai.org/proceedings/1997/209 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: