Qualitative Reasoning About Cardinal Directions Using Answer Set Programming

AAAI 2018 pp. 1880-1887

doi:10.1609/AAAI.V32I1.11568 /aaai/2018/izmirlioglu2018aaai-qualitative/

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.

PDF AAAI Semantic Scholar

Cite

Text

Izmirlioglu and Erdem. "Qualitative Reasoning About Cardinal Directions Using Answer Set Programming." AAAI Conference on Artificial Intelligence, 2018. doi:10.1609/AAAI.V32I1.11568

Markdown

[Izmirlioglu and Erdem. "Qualitative Reasoning About Cardinal Directions Using Answer Set Programming." AAAI Conference on Artificial Intelligence, 2018.](https://mlanthology.org/aaai/2018/izmirlioglu2018aaai-qualitative/) doi:10.1609/AAAI.V32I1.11568

BibTeX

@inproceedings{izmirlioglu2018aaai-qualitative,
  title     = {{Qualitative Reasoning About Cardinal Directions Using Answer Set Programming}},
  author    = {Izmirlioglu, Yusuf and Erdem, Esra},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2018},
  pages     = {1880-1887},
  doi       = {10.1609/AAAI.V32I1.11568},
  url       = {https://mlanthology.org/aaai/2018/izmirlioglu2018aaai-qualitative/}
}