Revision by conditionals: from hook to arrow

Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 2020. Revision by conditionals: from hook to arrow. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, 12-18 September 2020. Published in: Calvanese, D., Erdem, E. and Theilscher, M. eds. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI, pp. 232-241.

Preview

PDF - Accepted Post-Print Version Download (322kB) | Preview

Abstract

Thebeliefrevisionliteraturehaslargelyfocussedontheissue of how to revise one’s beliefs in the light of information regardingmattersoffact.Hereweturntoanimportantbutcomparatively neglected issue: How might one extend a revision operatortohandleconditionalsasinput?Ourapproachtothis question of ‘conditional revision’ is distinctive insofar as it abstracts from the controversial details of how to revise by factual sentences. We introduce a ‘plug and play’ method for uniquelyextendinganyiteratedbeliefrevisionoperatortothe conditional case. The flexibility of our approach is achieved by having the result of a conditional revision by a Ramsey Test conditional (‘arrow’) determined by that of a plain revision by its corresponding material conditional (‘hook’). It is shown to satisfy a number of new constraints that are of independent interest.

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Publication
Status:	Published
Schools:	Schools > Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher:	IJCAI
ISBN:	9781713825982
Date of First Compliant Deposit:	2 July 2020
Date of Acceptance:	3 June 2020
Last Modified:	24 Sep 2025 09:30
URI:	https://orca.cardiff.ac.uk/id/eprint/132903

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item