Show simple item record

dc.contributor.authorBaryannis, G
dc.contributor.authorTachmazidis, I
dc.contributor.authorBatsakis, S
dc.contributor.authorAntoniou, G
dc.contributor.authorAlviano, M
dc.contributor.authorSellis, T
dc.contributor.authorTsai, PW
dc.date.accessioned2019-07-04T12:35:48Z
dc.date.available2019-07-04T12:35:48Z
dc.date.issued2018
dc.identifier.issn1471-0684
dc.identifier.doi10.1017/S147106841800011X
dc.identifier.urihttp://hdl.handle.net/10072/383448
dc.description.abstractSpatial 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.
dc.description.peerreviewedYes
dc.publisherCambridge University Press
dc.relation.ispartofpagefrom355
dc.relation.ispartofpageto371
dc.relation.ispartofissue3-4
dc.relation.ispartofjournalTheory and Practice of Logic Programming
dc.relation.ispartofvolume18
dc.subject.fieldofresearchComputer Software
dc.subject.fieldofresearchArtificial Intelligence and Image Processing
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchcode0803
dc.subject.fieldofresearchcode0801
dc.subject.fieldofresearchcode0802
dc.titleA Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionPost-print
gro.rights.copyright© 2018 Association for Logic Programming. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.
gro.hasfulltextFull Text
gro.griffith.authorAntoniou, Grigorios


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record