Argumentation and temporal persistence

E. Hadjisoteriou, A. Kakas

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 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. This forms a conservative extension of the language E that gives semantic meaning to domains that cannot be interpreted in the language E.

Original languageEnglish
Title of host publicationImperial College Computing Student Workshop - Proceedings of ICCSW'11
Pages31-38
Number of pages8
Publication statusPublished - 2011
Event1st Imperial College Computing Student Workshop, ICCSW 2011 - London, United Kingdom
Duration: 29 Sept 201130 Sept 2011

Other

Other1st Imperial College Computing Student Workshop, ICCSW 2011
Country/TerritoryUnited Kingdom
CityLondon
Period29/09/1130/09/11

Keywords

  • Argumentation
  • Back-wards and forwards persistence
  • Narrative information
  • Observations

Fingerprint

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

Cite this