Argumentation and the event calculus

Evgenios Hadjisoteriou, Antonis Kakas

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

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 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 Kowalski and Sergot in 1986.

Original languageEnglish
Title of host publicationLogic Programs, Norms and Action
Subtitle of host publicationEssays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Pages103-122
Number of pages20
Volume7360 LNCS
DOIs
Publication statusPublished - 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7360 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Argumentation
  • Event Calculus
  • Reasoning about Actions

Fingerprint

Dive into the research topics of 'Argumentation and the event calculus'. Together they form a unique fingerprint.

Cite this