Files: Description File size Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
   
Author: Erik Sandewall
Article title: Towards the validation of high-level action descriptions from their low-level definitions
Publ. type: Article
Volume: 1
Issue: 4
Article No: 4
Language: English
Abstract [en]: We address the problem of formally proving high-level effect descriptions of actions from low-level operational definitions. Both descriptions are expressed in a logic of actions and change, with extensions for characterizing continuous change, discontinuities, the distinction between true and estimated values of state variables, and the distinction between success and failure of an action. Both descriptions also require the use of nonmonotonicity in the logic in question. The transition from operational definition to effect description furthermore involves the creation of a closure with respect to the set of possible ways that the action can fail.

We outline, by means of an example, how these issues can be addressed as an extension of existing results on logics of actions and change

PDF
Publisher: Linköping University Electronic Press
Year: 1996
Available: 1996-11-05
No. of pages: 18
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841
REFERENCE TO THIS PAGE:
Sandewall, Erik (1996). Towards the validation of high-level action descriptions from their low-level definitions in Linköping Electronic Articles in Computer and Information Science, 1(4). http://www.ep.liu.se/ea/cis/1996/004/. ( )