×

Modeling belief in dynamic systems. II: Revision and update. (English) Zbl 0915.68136

Summary: The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper [the authors, Artif. Intell. 95, No. 2, 257-316 (1997; Zbl 0894.68146)], we introduce a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to examine the change of beliefs over time. In this paper, we show how belief revision and belief update can be captured in our framework. This allows us to compare the assumptions made by each method, and to better understand the principles underlying them. In particular, it shows that H. Katsuno and A. O. Mendelzon’s notion of belief update [On the difference between updating a knowledge base and revising it. Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 387-394 (1991; Zbl 0765.68197)] depends on several strong assumptions that may limit its applicability in artificial intelligence. Finally, our analysis allow us to identify a notion of minimal change that underlies a broad range of belief change operations including revision and update.

MSC:

68T01 General topics in artificial intelligence

Keywords:

belief