La Trobe

Revision by Conditionals: From Hook to Arrow

conference contribution
posted on 2025-03-06, 05:33 authored by Jacob ChandlerJacob Chandler, Richard Booth
The belief revision literature has largely focussed on the issue of how to revise one's beliefs in the light of information regarding matters of fact. Here we turn to an important but comparatively neglected issue: How might one extend a revision operator to handle conditionals as input? Our approach to this 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 uniquely extending any iterated belief revision operator to the 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.

Funding

This research was supported by an ARC Future Fellowship (project FT160100092) awarded to Jake Chandler.

History

Publication Date

2020-09-18

Proceedings

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Editors

Calvanese D Erdem E Thielscher M

Publisher

IJCAI Organization

Place of publication

California City, California

Pagination

233-242

ISBN-13

9780999241172

ISSN

2334-1033

Name of conference

KR 2020

Location

Rhodes, Greece

Starting Date

2020-09-12

Finshing Date

2020-09-18

Rights Statement

© 2020 International Joint Conferences on Artificial Intelligence Organization

Usage metrics

    Conference Papers

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC