Semantics of First Order Belief Revision Based on Circumscription
Jia-Huai You, Li-Yan Yuan · ERA: Education and Research Archive (University of Alberta) · 1992
The AGM postulates for knowledge base revision are a set of rationality pos tulates that revision operations on knowledge systems should satisfy De ning an appropriate semantics for belief revision that satis es all of the postulates has been considered a challenging problem In this paper we present a novel application of circumscription to de ning a semantics of belief revision systems First a rst order knowledge base is represented by a set of formulas in a rst order epistemic belief language that contains objective propositions as well as belief propositions Secondly we de ne a revision semantics by applying a form of priority circumscription to the belief representation of the knowledge base We prove that the semantics de ned in this way satis es the AGM postulates that are reformulated in our belief language