Semantical Considerations for a Logic of Actions: An Imperative Manifesto

Victor Jauregui

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.