Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming

Warning The system is temporarily closed to updates for reporting purpose.

İzmirlioğlu, Yusuf and Erdem, Esra (2020) Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. Theory and Practice of Logic Programming, 20 (6). pp. 942-957. ISSN 1471-0684 (Print) 1475-3081 (Online)

This is the latest version of this item.

[thumbnail of Acceptance letter] PDF (Acceptance letter)
TPLP_-_Decision_on_TPLP-OA-20-059.pdf
Restricted to Repository staff only

Download (79kB) | Request a copy

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, andNCDC-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.
Item Type: Article
Uncontrolled Keywords: qualitative spatial reasoning, answer set programming, cardinal directional calculus, 3D space, consistency checking, marine exploration, building design, digital forensic
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Esra Erdem
Date Deposited: 31 Aug 2021 23:52
Last Modified: 04 Aug 2023 22:38
URI: https://research.sabanciuniv.edu/id/eprint/42337

Available Versions of this Item

Actions (login required)

View Item
View Item