Conditional Logics of Belief Change

The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in detail. Belief revision and update are clearly not the only possible notions of belief change. In this paper we investigate properties of a range of possible belief change operations. We th an abstract notion of a belief change system and provide a logical language that describes belief change in such systems. We then consider several reasonable properties one can impose on such systems and characterize them axiomatically. We show that both belief revision and update fit into our classification. As a consequence, we get both a semantic and an axiomatic (proof-theoretic) characterization of belief revision and update (as well as some belief change operations that generalize them), in one natural framework.

• Type: Conference
• Year: 1994
• Where: AAAI
• Authors: Nir Friedman, Joseph Y. Halpern
• Keywords: AAAI 1994, Belief Change, Belief Change Operations, Belief Revision, Intelligent Agents