A Tableau-Based System for Spatial Reasoning about Directional Relations

  title={A Tableau-Based System for Spatial Reasoning about Directional Relations},
  author={Davide Bresolin and Angelo Montanari and Pietro Sala and Guido Sciavicco},
The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization and implementation of qualitative spatial reasoning. Unfortunately, when directional relations are considered, modal logic systems for spatial reasoning usually turn out to be undecidable (often even not recursively enumerable). In this paper, we give a first example of a decidable modal logic for spatial reasoning with… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 18 references

Modal Logics of Topological Relations

Logical Methods in Computer Science • 2006
View 1 Excerpt

A Modal Walk Through Space

Journal of Applied Non-Classical Logics • 2002
View 1 Excerpt

Similar Papers

Loading similar papers…