Qualitative Reasoning About Cardinal Directions Using Answer Set Programming

We propose a novel method for representing and reasoning about an incomplete set of constraints about basic/disjunctive qualitative direction relations over simple/connected/disconnected regions, using Answer Set Programming, and prove its correctness with respect to cardinal direction calculus. We extend this method further with default qualitative direction constraints, and discuss its usefulness with some sample scenarios.

Authors

• Yusuf Izmirlioglu University of Roehampton, Computer Science Department, London, UK New Mexico State University, Computer Science Department, Las Cruces, USA
• Esra Erdem

Keywords

No keywords are indexed for this paper.