Towards an Integrated Logic of Space, Time and Motion
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Qualitative Reasoning and Naive Physics. Pages 1550-1556.
Abstract
I this paper we show bow Allen's temporal logic, with the modifications suggested by Galton to enable it to accommodate continuity phenomena, can be combined with the spatial logic of Randall, Cui and Cohn to yield a useful framework for reasoning about the motion of a rigid body in space. The idea of a perturbation is introduced as the key to providing a qualitative account of continuity, and a set of axioms is given from which an important result called the Perturbation Principle is derivable. Finally it is shown bow the system enables various types of events to be defined in terms of their conditions of occurrence.
@inproceedings{ijcai1993p215,
title = {Towards an Integrated Logic of Space, Time and Motion},
author = {Galton, Antony},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {1550--1556},
year = {1993},
note = {Qualitative Reasoning and Naive Physics},
url = {https://ijcai.org/proceedings/1993/215},
}
TY - CPAPER TI - Towards an Integrated Logic of Space, Time and Motion AU - Galton, Antony T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 1550 EP - 1556 UR - https://ijcai.org/proceedings/1993/215 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
