TY - GEN
T1 - A Logic of Motion
AU - Yaman, Fusun
AU - Nau, Dana
AU - Subrahmanian, V. S.
N1 - Funding Information:
This work was supported in part by the Army Research Lab under contract DAAL0197K0135, the CTA on Advanced Decision Architectures, by ARO contract DAAD190010484, by Air Force Research Laboratory contract F30602-00-2-0505, by Naval Research Lab contract N00173021G005 and by NSF grants IIS0222914 and 0205489.
Publisher Copyright:
Copyright © 2004, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77950601841&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77950601841&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:77950601841
T3 - Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004
SP - 85
EP - 94
BT - Principles of Knowledge Representation and Reasoning
PB - AAAI Press
T2 - 9th International Conference on Principles of Knowledge Representation and Reasoning, KR 2004
Y2 - 2 June 2004 through 5 June 2004
ER -