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

Yusuf Izmirlioglu
Yusuf Izmirlioglu

THEORY AND PRACTICE OF LOGIC PROGRAMMING, pp. 942-957, 2020.

Cited by: 0|Views6
EI

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, andNCDC-ASP to 3D. 3D-NCDC-ASP provides a flexi...More

Code:

Data:

Your rating :
0

 

Tags
Comments