{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:40:29Z","timestamp":1723016429223},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"Propositional Typicality Logic (PTL) extends propositional logic with a connective \u2022 expressing the most typical (alias normal or conventional) situations in which a given sentence holds. As such, it generalises e.g.~preferential logics that formalise reasoning with conditionals such as ``birds typically fly''. In this paper, we study revision of sets of PTL-sentences. We first show why it is necessary to extend the PTL-language with a possibility operator, and then define the revision of PTL-sentences syntactically and characterise it semantically. We show that this allows us to represent a wide variety of existing revision methods, such as propositional revision and revision of epistemic states. Furthermore, we provide several examples showing why our approach is innovative. In more detail, we study revision of a set of conditionals under preferential closure, and the addition and contraction of possible worlds from an epistemic state.<\/jats:p>","DOI":"10.24963\/kr.2023\/35","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:27:47Z","timestamp":1690828067000},"page":"355-364","source":"Crossref","is-referenced-by-count":0,"title":["Revising Typical Beliefs: One Revision to Rule Them All"],"prefix":"10.24963","author":[{"given":"Jesse","family":"Heyninck","sequence":"first","affiliation":[{"name":"Open Universiteit, the Netherlands"},{"name":"University of Cape Town and CAIR, South-Africa"}]},{"given":"Giovanni","family":"Casini","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Italy"},{"name":"University of Cape Town and CAIR, South-Africa"}]},{"given":"Thomas","family":"Meyer","sequence":"additional","affiliation":[{"name":"University of Cape Town and CAIR, South-Africa"},{"name":"ISTI-CNR, Italy"}]},{"given":"Umberto","family":"Straccia","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Italy"}]}],"member":"10584","event":{"number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"acronym":"KR-2023","name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","start":{"date-parts":[[2023,9,2]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T18:28:19Z","timestamp":1690828099000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/35"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/35","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}