Deriving Properties of Belief Update from Theories of Action

Proceedings of the AAAI Conference on Artificial Intelligence, 10

Volume

Representation and Reasoning

Representation and Reasoning: Action and Change

Two areas that have attracted much interest in recent years, belief update and reasoning about action, have so far been largely disjoint. Indeed, at first glance there appears to be little connection between them. In this paper we argue that this first impression is wrong; specifically, we show that the postulates for belief update recently proposed in [Katsuno and Mendelzon, 1991], can in fact be analytically derived, using the formal theory of action proposed in [Lin and Shoham, 1991].