Sciweavers

AMAI
2007
Springer

A new modal logic for reasoning about space: spatial propositional neighborhood logic

13 years 3 months ago
A new modal logic for reasoning about space: spatial propositional neighborhood logic
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 ts, 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.
Antonio Morales, Isabel Navarrete, Guido Sciavicco
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2007
Where AMAI
Authors Antonio Morales, Isabel Navarrete, Guido Sciavicco
Comments (0)