A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants

Authors

  • Stella Giannakopoulou National and Kapodistrian University of Athens
  • Charalampos Nikolaou National and Kapodistrian University of Athens
  • Manolis Koubarakis National and Kapodistrian University of Athens

DOI:

https://doi.org/10.1609/aaai.v28i1.9123

Keywords:

Qualitative spatial reasoning, Constraint Satisfaction Problems, Landmarks, Reasoning

Abstract

The problem of checking the consistency of spatial calculi that contain both unknown and known entities (constants, i.e., real geometries) has recently been studied. Until now, all the approaches are theoretical and no implementation has been proposed. In this paper we present the first reasoner that takes as input RCC-5 or RCC-8 networks with variables and constants and decides their consistency. We investigate the performance of the reasoner experimentally using real-world networks and show that we can achieve significantly better times by geometry simplification and parallelization.

AAAI 2014 Proceedings Cover

Downloads

Published

2014-06-21

How to Cite

Giannakopoulou, S., Nikolaou, C., & Koubarakis, M. (2014). A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants. Proceedings of the AAAI Conference on Artificial Intelligence, 28(1). https://doi.org/10.1609/aaai.v28i1.9123

Issue

Vol. 28 No. 1 (2014): Twenty-Eighth AAAI Conference on Artificial Intelligence

Section

Main Track: Search and Constraint Satisfaction