| ||||
| ||||
![]() Title:Reasoning About Cardinal Directions Between 3-Dimensional Extended Objects Using Answer Set Programming Conference:KR 2022 Tags:3D Space, Answer Set Programming, Building Design, Cardinal Directional Calculus, Consistency Checking, Digital Forensics, Marine Exploration and Qualitative Spatial Reasoning 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. Reasoning About Cardinal Directions Between 3-Dimensional Extended Objects Using Answer Set Programming ![]() Reasoning About Cardinal Directions Between 3-Dimensional Extended Objects Using Answer Set Programming | ||||
Copyright © 2002 – 2025 EasyChair |