Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Revision by conditionals: from hook to arrow

Chandler, Jake and Booth, Richard ORCID: 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.

[thumbnail of RBC_H2A_KR2020.pdf]
PDF - Accepted Post-Print Version
Download (322kB) | Preview


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)
Status: In Press
Schools: Computer Science & Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Date of First Compliant Deposit: 2 July 2020
Date of Acceptance: 3 June 2020
Last Modified: 07 Nov 2022 10:38

Citation Data

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

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics