CAISOR Archive of Articles, PM-1996-001

Towards the Validation of High-Level Action Descriptions from their Low-Level Definitions

Erik Sandewall

Description of, and links to the document with the title and author mentioned above:
Journal publication (refereed):

Published in: Artificial Intelligence Communications, vol. 9 (1996), pages 214-224.

Open access: [pdf] [ps]
Publisher version: [No link from here].


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.

This index page is persistent and will continue to contain links to the full text of the document as well as information about it. WWW links to this index page will be valid and useful for the foreseeable future, therefore. More information at the CAISOR archive website.