A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming

by   George Baryannis, et al.

Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applications, such as bus routes planning. Representing and reasoning on trajectories is a specific case of qualitative spatial reasoning that focuses on moving objects and their paths. In this work, we propose two versions of a trajectory calculus based on the allowed properties over trajectories, where trajectories are defined as a sequence of non-overlapping regions of a partitioned map. More specifically, if a given trajectory is allowed to start and finish at the same region, 6 base relations are defined (TC-6). If a given trajectory should have different start and finish regions but cycles are allowed within, 10 base relations are defined (TC-10). Both versions of the calculus are implemented as ASP programs; we propose several different encodings, including a generalised program capable of encoding any qualitative calculus in ASP. All proposed encodings are experimentally evaluated using a real-world dataset. Experiment results show that the best performing implementation can scale up to an input of 250 trajectories for TC-6 and 150 trajectories for TC-10 for the problem of discovering a consistent configuration, a significant improvement compared to previous ASP implementations for similar qualitative spatial and temporal calculi. This manuscript is under consideration for acceptance in TPLP.



There are no comments yet.


page 1

page 2

page 3

page 4


A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming

Qualitative reasoning involves expressing and deriving knowledge based o...

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

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

We propose a novel formal framework (called 3D-nCDC-ASP) to represent an...

Realizing RCC8 networks using convex regions

RCC8 is a popular fragment of the region connection calculus, in which q...

Allen's Interval Algebra Makes the Difference

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

Qualitative shape representation based on the qualitative relative direction and distance calculus eOPRAm

This document serves as a brief technical report, detailing the processe...

Reasoning for Moving Blocks Problem: Formal Representation and Implementation

The combined approach of the Qualitative Reasoning and Probabilistic Fun...
This week in AI

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