Argumentation and temporal persistence
Date
2011Source
Imperial College Computing Student Workshop - Proceedings of ICCSW'111st Imperial College Computing Student Workshop, ICCSW 2011
Pages
31-38Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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.