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 language | English |
---|---|
Title of host publication | Imperial College Computing Student Workshop - Proceedings of ICCSW'11 |
Pages | 31-38 |
Number of pages | 8 |
Publication status | Published - 2011 |
Event | 1st Imperial College Computing Student Workshop, ICCSW 2011 - London, United Kingdom Duration: 29 Sept 2011 → 30 Sept 2011 |
Other
Other | 1st Imperial College Computing Student Workshop, ICCSW 2011 |
---|---|
Country/Territory | United Kingdom |
City | London |
Period | 29/09/11 → 30/09/11 |
Keywords
- Argumentation
- Back-wards and forwards persistence
- Narrative information
- Observations