{"type":"ScholarlyArticle","title":"Belief Update without Compactness in Non-finitary Languages","authors":[{"name":"Jandson S Ribeiro","slug":"jandson-s-ribeiro","given":"Jandson","family":"S Ribeiro","affiliation":"Macquarie University , Australia; University of São Paulo , Brazil"},{"name":"Abhaya Nayak","slug":"abhaya-nayak","given":"Abhaya","family":"Nayak","affiliation":"Macquarie University , Australia"},{"name":"Renata Wassermann","slug":"renata-wassermann","given":"Renata","family":"Wassermann","affiliation":"University of São Paulo , Brazil"}],"abstract":"The main paradigms of belief change require the background logic to be Tarskian and finitary. \r\nWe look at belief update when the underlying logic is not necessarily finitary. \r\nWe show that in this case the classical construction for KM update does not capture all the rationality postulates for KM belief update. Indeed, this construction, being fully characterised by a subset of the KM update postulates, is weaker. We explore the reason behind this, and subsequently provide an alternative constructive accounts of belief update which is characterised by the full set of KM postulates in this more general framework.","doi":"10.24963/ijcai.2019/257","url":"https://ijcai.org/proceedings/2019/257","pdf":"https://ijcai.org/proceedings/2019/0257.pdf","markdown":"https://ijcai.org/proceedings/2019/257.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/257","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":257,"pages":{"first":1858,"last":1864},"keywords":["Knowledge Representation and Reasoning: Belief Change","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Alchourrón et al., 1985] Carlos E Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2):510-530, 1985.","title":"On the logic of theory change: partial meet contraction and revision functions","authors":"Peter Carlos E Alchourrón, David Gärdenfors, Makinson","year":"1985","venue":"The Journal of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Gabbay et al., 1994] Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds. Temporal Logic (Vol. 1): Mathematical Foundations and Computational Aspects. Oxford Univer- sity Press, Inc., New York, NY, USA, 1994.","title":"Mathematical Foundations and Computational Aspects","authors":"Dov M Gabbay, Ian Hodkinson, Mark Reynolds","year":"1994","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Katsuno and Mendelzon, 1992] Hirofumi Katsuno and Al- berto O. Mendelzon. On the difference between updating a knowledge base and revising it. In Peter Gärdenfors, edi- tor, Belief revision, pages 183-203. Cambridge University Press, 1992.","title":"On the difference between updating a knowledge base and revising it","authors":"Mendelzon Katsuno, Hirofumi Katsuno, Alberto O Mendelzon","year":"1992","venue":"editor, Belief revision","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Lindström and Rabinowicz, 1991] Sten Lindström and Wlodzimierz Rabinowicz. Epistemic entrenchment with incomparabilities and relational belief revision. In The logic of theory change, pages 93-126. Springer, 1991.","title":"Epistemic entrenchment with incomparabilities and relational belief revision","authors":"Rabinowicz Lindström, Sten Lindström, Wlodzimierz Rabinowicz","year":"1991","venue":"The logic of theory change","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Restall and Slaney, 1995] Greg Restall and John Slaney. Realistic belief revision. In Proceedings of the Second World Conference on Foundations of Artificial Intelligence (WOCFAI-95), pages 367-378, 1995.","title":"Realistic belief revision","authors":"Slaney Restall, Greg Restall, John Slaney","year":"1995","venue":"Proceedings of the Second World Conference on Foundations of Artificial Intelligence (WOCFAI-95)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Ribeiro et al., 2013] Márcio M. Ribeiro, Renata Wasser- mann, Giorgos Flouris, and Grigoris Antoniou. Minimal change: Relevance and recovery revisited. Artificial Intel- ligence, 201:59 -80, 2013.","title":"Minimal change: Relevance and recovery revisited","authors":"M Márcio, Renata Ribeiro, Giorgos Wassermann, Grigoris Flouris, Antoniou","year":"2013","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Ribeiro et al., 2018] Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. Towards belief contraction with- out compactness. In Principles of Knowledge Representa- tion and Reasoning: Proceedings of the Sixteenth Interna- tional Conference, KR 2018, pages 287-296, 2018.","title":"Towards belief contraction without compactness","authors":"Jandson S Ribeiro, Abhaya Nayak, Renata Wassermann","year":"2018","venue":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Ribeiro et al., 2019] Jandson S. Ribeiro, Abhaya Nayak, and Renata Wassermann. Belief change and non- monotonic reasoning sans compactness. In the Thirty- Third AAAI Conference on Artificial Intelligence, (forth- coming), 2019.","title":"Belief change and nonmonotonic reasoning sans compactness","authors":"Jandson S Ribeiro, Abhaya Nayak, Renata Wassermann","year":"2019","venue":"the Thirty-Third AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Rott, 1992] Hans Rott. Preferential belief change using gen- eralized epistemic entrenchment. Journal of Logic, Lan- guage and Information, 1(1):45-78, 1992.","title":"Preferential belief change using generalized epistemic entrenchment","authors":"Hans Rott, Rott","year":"1992","venue":"Journal of Logic, Language and Information","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Wassermann, 2011] Renata Wassermann. On AGM for non-classical logics. Journal of Philosophical Logic, 40(2):271-294, 2011.","title":"On AGM for non-classical logics","authors":"Renata Wassermann","year":"2011","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Winslett, 1988] Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of the Seventh AAAI National Conference on Artificial Intelli- gence, AAAI'88, pages 89-93. AAAI Press, 1988.","title":"Reasoning about action using a possible models approach","authors":"Marianne Winslett","year":"1988","venue":"Proceedings of the Seventh AAAI National Conference on Artificial Intelligence, AAAI'88","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Zhang and Ding, 2008] Yan Zhang and Yulin Ding. CTL model update for system modifications. Journal of Artifi- cial Intelligence Research, 31:113-155, 2008.","title":"CTL model update for system modifications","authors":"Yan Zhang, Yulin Ding","year":"2008","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}