Allen’s Interval Algebra Makes the Difference

Tomi Janhunen*, Michael Sioutis

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

11 Lataukset (Pure)

Abstrakti

Allen’s Interval Algebra constitutes a framework for reasoning about temporal information in a qualitative manner. In particular, it uses intervals, i.e., pairs of endpoints, on the timeline to represent entities corresponding to actions, events, or tasks, and binary relations such as precedes and overlaps to encode the possible configurations between those entities. Allen’s calculus has found its way in many academic and industrial applications that involve, most commonly, planning and scheduling, temporal databases, and healthcare. In this paper, we present a novel encoding of Interval Algebra using answer-set programming (ASP) extended by difference constraints, i.e., the fragment abbreviated as ASP(DL), and demonstrate its performance via a preliminary experimental evaluation. Although our ASP encoding is presented in the case of Allen’s calculus for the sake of clarity, we suggest that analogous encodings can be devised for other point-based calculi, too.

AlkuperäiskieliEnglanti
OtsikkoDeclarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers
ToimittajatPetra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel
Sivut89-98
Sivumäärä10
DOI - pysyväislinkit
TilaJulkaistu - 1 tammikuuta 2020
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtuma22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP), the 33rd Workshop on Logic Programming (WLP), and the 27th Workshop on Functional and Constraint Logic Programming (WFLP) - Cottbus, Saksa
Kesto: 9 syyskuuta 201912 syyskuuta 2019

Julkaisusarja

NimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vuosikerta12057 LNAI
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Conference

Conference22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP), the 33rd Workshop on Logic Programming (WLP), and the 27th Workshop on Functional and Constraint Logic Programming (WFLP)
MaaSaksa
KaupunkiCottbus
Ajanjakso09/09/201912/09/2019

Sormenjälki Sukella tutkimusaiheisiin 'Allen’s Interval Algebra Makes the Difference'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä