Belief Revision in Baduk

The study of belief revision turns out to be one of the most distinguished success stories in the recent history of logic. Starting from the legendary AGM postulates published in 1985, it has expanded its scope far beyond epistemic logic and philosophy of science up to computer science, artificial intelligence research, and economics. Nevertheless, there are many serious open problems, which are largely philosophical in character, in current theories of belief revision. By examining some typical situations of belief revision in Baduk , I propose to shed light on one of those philosophical problems, i.e., the principle of informational economy in AGM theory.