zbMATH — the first resource for mathematics

Argumentation and the event calculus. (English) Zbl 1356.68217
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 103-122 (2012).
Summary: We study how the problem of temporal projection can be formalized in terms of argumentation. In particular, we extend earlier work of translating the language \(\mathcal{E}\) for reasoning about actions and change into a logic programming argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. The paper discusses how this extended argumentation formulation is close to the original event calculus proposed by R. Kowalski and M. Sergot in [New Generation Comput. 4, 67–95 (1986; Zbl 1356.68221)].
For the entire collection see [Zbl 1241.68007].

68T27 Logic in artificial intelligence
68N17 Logic programming
Full Text: DOI