Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming. Issue 6 (November 2020)

• Record Type: Journal Article
• Authors: Izmirlioglu, Yusuf; Erdem, Esra
• Is Part Of: Theory and practice of logic programming. Volume 20:Issue 6(2020)
• Page Start: 942
• Page End: 957
• Publication Date: 2020-11
• Subjects: Qualitative Spatial Reasoning, -- Answer Set Programming, -- Cardinal Directional Calculus, -- 3D Space, -- Consistency Checking, -- Marine Exploration, -- Building Design, -- Digital Forensics; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068420000411
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: We propose a novel formal framework (called 3D-N CDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Programming (ASP). 3D-N CDC-ASP extends Cardinal Directional Calculus (CDC) with a new type of default constraints, and N CDC-ASP to 3D. 3D-N 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-N CDC-ASP, and illustrate its usefulness with applications.