On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Real-time closed-world tracking
CVPR '97 Proceedings of the 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97)
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
A spatio-temporal logic for the specification and refinement of mobile systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Representing short-term observations of moving objects by a simple visual language
Journal of Visual Languages and Computing
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Artificial Intelligence
Hi-index | 0.00 |
Yaman et. al. [Yaman et al., 2004] introduce "go theories" to reason about moving objects. In this paper, we show that this logic often does not allow us to infer that an object is not present at a given place or region, even though common sense would dictate that this is a reasonable inference to make. We define a class of models of go-theories called coherent models. We use this concept to define a motion closed world assumption (MCWA) and develop a notion of MCWA-entailment. We show that checking if a go-theory has a coherent model is NP-complete. An in atom checks if a given object is present in a given region sometime in a given time interval. We provide sound and complete algorithms to check if a ground in literal (positive or negative in atom) can be inferred from a go-theory using the MCWA. In our experiments our algorithms answer such queries in less than 1 second when there are up to 1,000 go-atoms per object.