{"type":"ScholarlyArticle","title":"Postulates for Conditional Belief Revision","authors":[{"name":"Gabriele Kern-Isberner","slug":"gabriele-kern-isberner","given":"Gabriele","family":"Kern-Isberner","affiliation":""}],"abstract":"In this paper, we present a scheme of postulates for revising epistemic states by conditional beliefs. These postulates are supported mainly by following the specific, non-classical nature of conditionals, and the aim of preserving conditional beliefs is achieved by studying specific interactions between conditionals, represented properly by two relations. Because one of the postulates claims propositional belief revision to be a special case of conditional belief revision, our framework also covers the work of Darwiche and Pearl [Darwiche and Pearl, 1997], and we show that all postulates presented there may be derived from our postulates. We state representation theorems for the principal postulates, and finally, we present a conditional belief operator obeying all of the postulates by using ordinal conditional functions as representations of epistemic states.","doi":null,"url":"https://ijcai.org/proceedings/1999/28","pdf":"https://ijcai.org/proceedings/1999/0028.pdf","markdown":"https://ijcai.org/proceedings/1999/28.md","bibtex":"https://ijcai.org/proceedings/1999/bibtex/28","volume":{"slug":"1999","title":"Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1999","url":"https://ijcai.org/proceedings/1999/","year":1999,"location":"Stockholm, Sweden","dates":"","editors":"Thomas Dean","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":28,"pages":{"first":186,"last":190},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}