Temporal answer set programming on finite traces
- In this paper, we introduce an alternative approach to Temporal Answer Set Programming that relies on a variation of Temporal Equilibrium Logic (TEL) for finite traces. This approach allows us to even out the expressiveness of TEL over infinite traces with the computational capacity of (incremental) Answer Set Programming (ASP). Also, we argue that finite traces are more natural when reasoning about action and change. As a result, our approach is readily implementable via multi-shot ASP systems and benefits from an extension of ASP's full-fledged input language with temporal operators. This includes future as well as past operators whose combination offers a rich temporal modeling language. For computation, we identify the class of temporal logic programs and prove that it constitutes a normal form for our approach. Finally, we outline two implementations, a generic one and an extension of the ASP system clingo. Under consideration for publication in Theory and Practice of Logic Programming (TPLP)
Author details: | Pedro CabalarORCiDGND, Roland KaminskiORCiD, Torsten SchaubORCiDGND, Anna Schuhmann |
---|---|
DOI: | https://doi.org/10.1017/S1471068418000297 |
ISSN: | 1471-0684 |
ISSN: | 1475-3081 |
Title of parent work (English): | Theory and practice of logic programming |
Publisher: | Cambridge Univ. Press |
Place of publishing: | New York |
Publication type: | Article |
Language: | English |
Date of first publication: | 2018/08/10 |
Publication year: | 2018 |
Release date: | 2021/11/15 |
Volume: | 18 |
Issue: | 3-4 |
Number of pages: | 15 |
First page: | 406 |
Last Page: | 420 |
Funding institution: | MINECO, Spain [TIC2017-84453-P]; Xunta de Galicia, SpainXunta de Galicia [GPC ED431B 2016/035, 2016-2019 ED431G/01]; DFGGerman Research Foundation (DFG) [SCHA 550/9] |
Organizational units: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
Peer review: | Referiert |
Publishing method: | Open Access / Bronze Open-Access |