Files: Description File size Format
Fulltext, Revised PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
  Fulltext, Revised 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.
PDF
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
REFERENCE TO THIS PAGE:
Kakas, Antonis and Miller, Rob (1997).Reasoning about Actions, Narratives, and Ramification in Linköping Electronic Articles in Computer and Information Science, Vol. 2. http://www.ep.liu.se/ea/cis/1997/012/. ()