Intention is choice with commitment (Q2640592)

The theory can be regarded as a specification for the design of an artificial agent. A syntax with different variables, classical junctors, ``happens'', ``done'', ``agent'', ``believe'', ``goal'', and a possible- worlds semantics are given. Properties of the models are \(\vDash (HAPPEN a;b)\equiv (HAPPEN a;(HAPPEN b)?),\quad \vDash (HAPPEN a)\equiv (HAPPEN a;(DONE a)?),\vDash \neg (LATER p)\) etc. A Hintikka-style axiom schema for BEL is assumed. The formalism captures some important properties of intention. There are given two different definitions of (INTEND xa). The analysis shows how intentions can be adopted relative to a background of beliefs and other goals.