{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:39:47Z","timestamp":1723016387216},"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":[[2021,9]]},"abstract":"<jats:p>AGM's belief revision is one of the main paradigms in the study of belief change operations. Despite its popularity and importance to the area, it is well recognised that AGM's work relies on a strong idealisation of the agent's capabilities and the nature of beliefs themselves. Particularly, it is recognised in the literature that Belief and Knowledge are hyperintensional attitudes, i.e. they can differentiate between contents that are necessarily equivalent, but to our knowledge, only a few works have explicitly considered how hyperintensionality affects belief change. This work investigates abstract operations of hyperintensional belief change and their connection to belief change in non-classical logics, such as belief contraction operations for Horn Logics and Description Logics. Our work points to hyperintensional belief change as a general framework to unify results in belief change for non-classical logics.<\/jats:p>","DOI":"10.24963\/kr.2021\/56","type":"proceedings-article","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T12:45:56Z","timestamp":1633956356000},"page":"588-598","source":"Crossref","is-referenced-by-count":1,"title":["Belief Contraction in Non-classical logics as Hyperintensional Belief Change"],"prefix":"10.24963","author":[{"given":"Marlo","family":"Souza","sequence":"first","affiliation":[{"name":"Federal University of Bahia"},{"name":"University of S\u00e3o Paulo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[{"name":"University of S\u00e3o Paulo"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"18","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Sea AI Lab","Potassco Solutions","European Association for Artificial Intelligence"],"acronym":"KR-2021","name":"18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}","start":{"date-parts":[[2020,11,12]]},"theme":"Artificial Intelligence","location":"Hanoii, Vietnam","end":{"date-parts":[[2021,11,18]]}},"container-title":["Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T12:46:26Z","timestamp":1633956386000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2021\/56"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2021\/56","relation":{},"subject":[],"published":{"date-parts":[[2021,9]]}}}