Qualitative Reasoning About Cardinal Directions Using Answer Set Programming

Authors

  • Yusuf Izmirlioglu Sabanci University
  • Esra Erdem Sabanci University

DOI:

https://doi.org/10.1609/aaai.v32i1.11568

Keywords:

cardinal directional calculus, answer set programming

Abstract

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.

Downloads

Published

2018-04-25

How to Cite

Izmirlioglu, Y., & Erdem, E. (2018). Qualitative Reasoning About Cardinal Directions Using Answer Set Programming. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). https://doi.org/10.1609/aaai.v32i1.11568

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning