Activities per year
Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 355-371 |
Number of pages | 17 |
Journal | Theory and Practice of Logic Programming |
Volume | 18 |
Issue number | 3-4 |
DOIs | |
Publication status | Published - 1 Jul 2018 |
Fingerprint Dive into the research topics of 'A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming'. Together they form a unique fingerprint.
Profiles
-
George Bargiannis
- Department of Computer Science - Subject Area Leader (CIS)
- School of Computing and Engineering
- Centre for Planning, Autonomy and Representation of Knowledge - Member
- Centre of Artificial Intelligence for Mental Health - Member
Person: Academic
Activities
-
Qualitative Spatial Reasoning Using Answer Set Programming
George Bargiannis (Speaker)
21 Apr 2020Activity: Talk or presentation types › Invited talk
File -
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
Georgios Bargiannis (Speaker), Ilias Tachmazidis (Speaker), Sotirios Batsakis (Speaker), Grigoris Antoniou (Speaker), Mario Alviano (Speaker), Timos Sellis (Speaker) & Pei Wei Tsai (Speaker)
15 Jul 2018Activity: Talk or presentation types › Oral presentation