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

08/10/2020
by   Yusuf Izmirlioglu, et al.
0

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.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

09/18/2019

Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming

In this thesis, we introduce a novel formal framework to represent and r...
07/13/2017

Clingo goes Linear Constraints over Reals and Integers

The recent series 5 of the ASP system clingo provides generic means to e...
09/03/2019

Allen's Interval Algebra Makes the Difference

Allen's Interval Algebra constitutes a framework for reasoning about tem...
10/02/2020

Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

The manipulation of articulated objects is of primary importance in Robo...
05/17/2022

Building Information Modeling Using Constraint Logic Programming

Building Information Modeling (BIM) produces three-dimensional models of...
05/21/2014

Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract)

Traditional AI reasoning techniques have been used successfully in many ...
04/19/2018

A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

Spatial information is often expressed using qualitative terms such as n...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.