Argumentation and temporal persistence
Kakas, Antonis C.
SourceImperial College Computing Student Workshop - Proceedings of ICCSW'11
1st Imperial College Computing Student Workshop, ICCSW 2011
Google Scholar check
MetadataShow full item record
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.