A new modal logic for reasoning about space: spatial propositional neighborhood logic |
| |
Authors: | Antonio Morales Isabel Navarrete Guido Sciavicco |
| |
Affiliation: | (1) University of Murcia, Murcia, Spain |
| |
Abstract: | It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of
potential applications, e.g., in robotics, geographical information systems, and medical analysis and diagnosis. While spatial
reasoning has been extensively studied at the algebraic level, modal logics for spatial reasoning have received less attention
in the literature. In this paper we propose a new modal logic, called spatial propositional neighborhood logic (SpPNL for
short) for spatial reasoning through directional relations. We study the expressive power of SpPNL, we show that it is able
to express meaningful spatial statements, we prove a representation theorem for abstract spatial frames, and we devise a (non-terminating)
sound and complete tableaux-based deduction system for it. Finally, we compare SpPNL with the well-known algebraic spatial
reasoning system called rectangle algebra.
|
| |
Keywords: | Qualitative spatial logic Deduction systems based on tableaux |
本文献已被 SpringerLink 等数据库收录! |
|