Reified Temporal Theories and How to Unreify Them
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Qualitative Reasoning. Pages 1177-1182.
Abstract
Reification of propositions expressing states, events, and properties has been widely advocated as a means of handling temporal reasoning in AI. The author proposes that such reification is both philosophically suspect and technically unnecessary. The reified theories of Allen and Shoham are examined and it is shown how they can be unreified. The resulting loss of expressive power can be rectified by adopting Davidson's theory in which event tokens, rather than event types, are reified. This procedure is illustrated by means of Kowalski and Sergot's Event Calculus, the additional type-reification of the latter system being excised by means of a general procedure proposed by the author for converting type-reification into token-reification. Some examples are given to demonstrate the expressive power of the resulting theory.
@inproceedings{ijcai1991p173,
title = {Reified Temporal Theories and How to Unreify Them},
author = {Galton, Antony},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {1177--1182},
year = {1991},
month = {8},
note = {Qualitative Reasoning},
url = {https://ijcai.org/proceedings/1991/173},
}
TY - CPAPER TI - Reified Temporal Theories and How to Unreify Them AU - Galton, Antony T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 1177 EP - 1182 UR - https://ijcai.org/proceedings/1991/173 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
