Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), Chambery, France, 28 August-3 September 1993, pages 1550-1555, ISBN 1-55860-300-X.
Abstract
In this paper we show how 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 how the system enables various types of events to be defined in terms of their conditions of occurrence.
Read the paper: Postscript PDF