Towards the validation of high-level action descriptions from their low-level definitions
Erik J. Sandewall · AI Communications · 1996
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, disco