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

DOI10.1017/S1471068420000411MaRDI QIDQ5140026zbMATH OpenOpenAlexFDO

Authors Yusuf Izmirlioglu, Esra Erdem

Publication date 13 December 2020

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.04126

zbMATH Keywords

3D-spaceanswer-set programmingbuilding designcardinal directional calculusconsistency checkingdigital forensicsmarine explorationqualitative spatial reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

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.

Recommendations

• Reasoning about cardinal directions between extended objects
• Reasoning about cardinal directions between extended objects: the NP-hardness result
• Cardinal directions between spatial objects: the pairwise-consistency problem
• On the consistency of cardinal direction constraints
• Composing cardinal direction relations

Cites work

• A trajectory calculus for qualitative spatial reasoning using answer set programming
• Answer set programming and plan generation
• Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments
• ASP-Core-2 input language format
• Composing cardinal direction relations
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• Logic programs with stable model semantics as a constraint programming paradigm
• Maintaining knowledge about temporal intervals
• Non-monotonic spatial reasoning with answer set programming modulo theories
• On the consistency of cardinal direction constraints
• Reasoning about cardinal directions between extended objects
• Tractability Results in the Block Algebra

Cited in

(1)

• Qualitative reasoning about 2D cardinal directions using answer set programming

Describes a project that uses

Uses Software

• Potassco
• z3

This page was built for publication: Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5140026)