> Details

Izmirlioglu, Yusuf; Erdem, Esra

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Article
  • Title: Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
  • Contributor: Izmirlioglu, Yusuf; Erdem, Esra
  • imprint: Cambridge University Press (CUP), 2020
  • Published in: Theory and Practice of Logic Programming
  • Language: English
  • DOI: 10.1017/s1471068420000411
  • ISSN: 1471-0684; 1475-3081
  • Keywords: Artificial Intelligence ; Computational Theory and Mathematics ; Hardware and Architecture ; Theoretical Computer Science ; Software
  • Origination:
  • Footnote:
  • Description: <jats:title>Abstract</jats:title><jats:p>We propose a novel formal framework (called 3D-<jats:sc>N</jats:sc>CDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Programming (ASP). 3D-<jats:sc>N</jats:sc>CDC-ASP extends Cardinal Directional Calculus (CDC) with a new type of default constraints, and<jats:sc>N</jats:sc>CDC-ASP to 3D. 3D-<jats:sc>N</jats:sc>CDC-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-<jats:sc>N</jats:sc>CDC-ASP, and illustrate its usefulness with applications.</jats:p>