Towards a theory of intention revision (Q885523)

The purpose of the paper is to further develop current logics of intention so that they can talk about revisions of intentions. As the title indicates, the text is a rather exploratory one, seeking to make some first steps. It begins by reconstructing existing logics of intentions in a manner that combines elements of the well-known Cohen and Levesque system along with aspects of the Georgeff and Rao system BDI (beliefs, desires, intentions). Dynamic operations such as revision are built on that basis. Attention is restricted to the single-agent case.