论文信息 - Revision vs. Update: Taking a Closer Look

Revision vs. Update: Taking a Closer Look

Belief revision and belief update are two of the most important types of belief change. Although similar in some ways, these two processes are believed to be fundamentally different. In this paper we take a closer look at belief revision (as formalized by Alchourrón, Gärdenfors and Makinson [1]) and belief update (as modelled by Katsuno and Mendelzon [4]). The results we obtain herein show that the two processes differ, not so much in the way they change a fixed belief state K , but rather on how changes at different theories are related to each other.

[1] Adam J. Grove,et al. Two modellings for theory change , 1988, J. Philos. Log..

[2] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[3] P G rdenfors,et al. Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[4] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[5] Arthur M. Keller,et al. On the Use of an Extended Relational Model to Handle Changing Incomplete Information , 1985, IEEE Transactions on Software Engineering.