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.