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

by   Yusuf Izmirlioglu, et al.

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.



page 1

page 2

page 3

page 4


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...

Clingo goes Linear Constraints over Reals and Integers

The recent series 5 of the ASP system clingo provides generic means to e...

Allen's Interval Algebra Makes the Difference

Allen's Interval Algebra constitutes a framework for reasoning about tem...

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

The manipulation of articulated objects is of primary importance in Robo...

Building Information Modeling Using Constraint Logic Programming

Building Information Modeling (BIM) produces three-dimensional models of...

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

Traditional AI reasoning techniques have been used successfully in many ...

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.