Algorithmic context revision

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

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


In Chapter 3, we provided a number of operations for belief change. The revision operator was then used to analyse the process of iteration in Chapter 4, making use of the fact that consecutive inputs to a database (belief base) naturally give rise to a linear order on the beliefs in that database. We dropped the linearity restriction in Chapter 5 and considered alternatives for dealing with the extra structure available in the database. However, in all of the above, we have not looked into (or attempted to modify) the particular characteristics of the logic L used for the reasoning, apart from the obvious considerations on consistency of the database itself.

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

Publication series

NameCognitive Technologies
ISSN (Print)1611-2482


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

Cite this