The Completeness of a Natural System for Reasoning with Time Intervals
Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 462-464.
Abstract
James Allen defined a calculus of time intervals by identifying time intervals as pairs of real numbers, and considering binary relations that can hold between such pairs {All8!Jj. We call this the Interval Calculu.3 . We consider the system of interval time units defined in [Lad86.2] (the TUS), which was intended for the natural representation of real clock time on any scale. We introduce the convex part of the TUS, and show that it may be regarded as a canonical model of the Interval Calculus. We discuss the consequences of this result .
@inproceedings{ijcai1987p91,
title = {The Completeness of a Natural System for Reasoning with Time Intervals},
author = {Ladkin, Peter B.},
booktitle = {Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, {IJCAI-87}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John McDermott},
pages = {462--464},
year = {1987},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1987/91},
}
TY - CPAPER TI - The Completeness of a Natural System for Reasoning with Time Intervals AU - Ladkin, Peter B. T2 - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 PB - International Joint Conferences on Artificial Intelligence PY - 1987 SP - 462 EP - 464 UR - https://ijcai.org/proceedings/1987/91 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
