Joint revision of belief and intention

Abstract

We present a formal semantical model to capture action, belief and intention, based on the “database perspec-tive ” (Shoham 2009). We then provide postulates for belief and intention revision, and state a representation theorem relating our postulates to the formal model. Our belief postulates are in the spirit of the AGM the-ory; the intention postulates stand in rough correspon-dence with the belief postulates.