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 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.

[img]
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)
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: 02 Jul 2020 10:45
URI: http://orca.cf.ac.uk/id/eprint/132903

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics