Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-17
|
Content
| Files: | Description | File size | Format | |
| Fulltext, Revised | 331K | PDF (requires Acrobat Reader) | ||
| Fulltext | 307K | PostScript (requires a PostScript Reader) | ||
| Fulltext, Revised | 318K | PostScript (requires a PostScript Reader) | ||
| Authors: | Antonis Kakas and Rob Miller | |||
| Article title: | Reasoning about Actions, Narratives, and Ramification | |||
| Publ. type: | Article | |||
| Volume: | 2 | |||
| Article No: | 12 | |||
| Language: | English | |||
| Abstract [en]: | The Language E is a simple declarative language for describing the effects of action occurrences within a given narrative, using an ontology of actions, time points and fluents (i.e. properties which can change their truth values over time). This paper shows how E may be extended to deal with ramifications. More precisely, we show how Language E domain descriptions can include statements describing permanent relationships or constraints between fluents, and how the model theoretic semantics of E can be extended in an intuitive way to ensure that the effects of actions are appropriately propagated via such statements, whilst retaining E's simple approach to the frame problem. We also show how Event Calculus style logic programs may be used to compute consequences of such domain descriptions using standard SLDNF, even when only incomplete information is given about some initial state of affairs. Because of E's generality, these techniques are easily adaptable to other formalisms for reasoning about actions, such as the Language A and the Situation Calculus. | |||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1997 | |||
| Available: | 1997-10-16, Revised 1998-02-16 | |||
| No. of pages: | 26, Revised 28 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Checksum PDF: | ef3fd7795403f960dd4192b5ee1a6985 /home/ep/www/ea/cis/1997/012/cis97012-revised.pdf (MD5), Revised | |||
| Checksum PS: | 3cae7ac2c88f9aa4a80130e75a098ec3 /service/www-ep/docs/ea/cis/1997/012/cis97012.ps (MD5) | |||
| Checksum PS: | 3577923d2bc7798b32956768a961294b /service/www-ep/docs/ea/cis/1997/012/cis97012-revised.ps (MD5), Revised | |||
| PGP PDF: | PGP, Revised | |||
| PGP PS: | PGP | |||
| PGP PS: | PGP, Revised | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| Old Checksum: | Checksum (PS), Revised | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-17