Iterating revision

Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


In the previous chapter we presented some operators that could be used to perform revision in the AGM sense and action updates complying with Katsuno and Mendelzon's semantical characterisation of these operations. It is well known that even though the postulates capture the intuitions behind rational changes of belief and the expected properties of the execution of actions, they are severely limited by the lack of extra information supporting the representation of the current state of affairs or beliefs. Some of these limitations were discussed in Chapter 2 in the sections related to the iteration of the revision process. In particular, the realisation of the initial corpus of beliefs (or the description of the world in the case of action updates) into a unit with little structure (a formula in the finite case or a theory, otherwise) brings several difficulties to reasoning about more sophisticated scenarios.

Original languageEnglish
Title of host publicationRevision, Acceptability and Context - Theoretical and Algorithmic Aspects
PublisherSpringer Verlag
Number of pages33
ISBN (Print)9783642141584
StatePublished - 2010
Externally publishedYes

Publication series

NameCognitive Technologies
ISSN (Print)1611-2482


Dive into the research topics of 'Iterating revision'. Together they form a unique fingerprint.

Cite this