Abstract
AbstractDiscussions of the issue of iterated belief revision are commonly accompanied by the presentation of three “concrete” operators: natural, restrained and lexicographic. This raises a natural question: What is so distinctive about these three particular methods? Indeed, the common axiomatic ground for work on iterated revision, the AGM and Darwiche-Pearl postulates, leaves open a whole range of alternative proposals. In this paper, we show that it is satisfaction of an additional principle of “Independence of Irrelevant Alternatives”, inspired by the literature on Social Choice, that unites and sets apart our three “elementary” revision operators. A parallel treatment of iterated belief contraction is also given, yielding a family of elementary contraction operators that includes, besides the well-known “conservative” and “moderate” operators, a new contraction operator that is related to restrained revision.
Funder
Australian Research Council
La Trobe University
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Alchourrón, C.E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50(02), 510–530.
2. Arrow, K. (1951). Social choice and individual values wiley: new york.
3. Booth, R., & Chandler, J. (2016). Extending the harper identity to iterated belief change. In Proceedings of the twenty-fifth international joint conference on artificial intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pp. 987–993.
4. Booth, R., & Chandler, J. (2017). The irreducibility of iterated to single revision. Journal of Philosophical Logic, 46(4), 405–418.
5. Booth, R., & Chandler, J. (2019). From iterated revision to iterated contraction: Extending the harper identity. Artificial Intelligence, 277.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献