This paper proposes an imperative semantics for a logic of actions: through their axiomatisations, actions are interpreted as programs in an imperative programming language. An argument is made for the naturalness of imperative interpretations of actions, and an assessment of the application of this semantics is conducted.
Subjects: 5. Common Sense Reasoning; 3.3 Nonmonotonic Reasoning
Submitted: Mar 2, 2006