zbMATH — the first resource for mathematics

Temporal equilibrium logic: a first approach. (English) Zbl 1394.03032
Moreno Díaz, Roberto (ed.) et al., Computer aided systems theory – EUROCAST 2007. 11th international conference on computer aided systems theory, Las Palmas de Gran Canaria, Spain, February 12–16, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75866-2/pbk). Lecture Notes in Computer Science 4739, 241-248 (2007).
Summary: In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal temporal operators, as those used in Linear Temporal Logic. As a result, we obtain a very expressive formalism that allows nonmonotonic reasoning for temporal domains. To show an example of its utility, we present a translation of a language for reasoning about actions into this formalism.
For the entire collection see [Zbl 1141.68324].

03B44 Temporal logic
PDF BibTeX Cite
Full Text: DOI