Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
Abstract
We propose a novel formal framework (called 3D-nCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Programming (ASP). 3D-nCDC-ASP extends Cardinal Directional Calculus (CDC) with a new type of default constraints, and nCDC-ASP to 3D. 3D-nCDC-ASP provides a flexible platform offering different types of reasoning: Nonmonotonic reasoning with defaults, checking consistency of a set of constraints on 3D cardinal directions between objects, explaining inconsistencies, and inferring missing CDC relations. We prove the soundness of 3D-nCDC-ASP, and illustrate its usefulness with applications. This paper is under consideration for acceptance in TPLP.
Keywords
Cite
@article{arxiv.2008.04126,
title = {Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming},
author = {Yusuf Izmirlioglu and Esra Erdem},
journal= {arXiv preprint arXiv:2008.04126},
year = {2020}
}
Comments
Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 29 pages, 6 figures