Reasoning about actions and change in argumentation

E. Hadjisoteriou, A. Kakas

Research output: Contribution to journalArticlepeer-review

Abstract

This paper studies how logic-based reasoning about actions and change (RAC) with its problems of temporal projection and qualification can be formalised in terms of argumentation. In particular, we extend earlier work of translating the language (Formula presented.) for RAC into a logic-based argumentation framework, by introducing new types of arguments for (i) backward persistence and (ii) persistence from observations. This forms a conservative extension of the language (Formula presented.) that gives a semantic meaning to domains that cannot be interpreted under (Formula presented.) thus addressing further the frame and (exogenous) qualification problems. As such the paper strengthens the link between argumentation theory and RAC in artificial intelligence.

Original languageEnglish
Pages (from-to)1-27
Number of pages27
JournalArgument and Computation
DOIs
Publication statusAccepted/In press - 20 Jan 2016

Keywords

  • argumentation
  • narratives
  • reasoning about actions

Fingerprint

Dive into the research topics of 'Reasoning about actions and change in argumentation'. Together they form a unique fingerprint.

Cite this