A Logic of Motion

9 years 3 months ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about moving objects. In this paper, we propose a formal logic of motion (LOM for short). We provide a formal syntax for LOM, as well as a model theory for LOM. In addition, we develop algorithms to check consistency of LOM theories, as well as to answer certain kinds of queries posed to LOM theories. We have implemented these algorithms in a prototype LOM system - we describe experiments showing that such queries can be efficiently executed in practice.
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where KR
Authors Fusun Yaman, Dana S. Nau, V. S. Subrahmanian
Comments (0)