Spatial and Temporal Reasoning
Spatial and Temporal Reasoning
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
IEEE Transactions on Knowledge and Data Engineering
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems
ICTAI '05 Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
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
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
| Hi-index | 0.00 |
To represent and reason about moving objects in three-dimensional space qualitatively, we need a right fundamental logic system to provide us with a criterion of logical validity for reasoning as well as a formal representation language. In order to reason about new spatio-temporal knowledge with incomplete or sometime even inconsistent knowledge, the fundamental logic must be able to underlie relevant and truth-preserving reasoning in the sense of conditional, ampliative reasoning, paracomplete and paraconsistent reasoning, and spatio-temporal reasoning. This paper proposes a new family of three-dimensional spatio-temporal relevant logics as a hopeful candidate for the fundamental logic, and shows that the logics can satisfy all the requirements for the fundamental logic we need.