Controlled revision - An algorithmic approach for belief revision

Dov Gabbay, Gabriella Pigozzi, John Woods

Research output: Contribution to journalArticlepeer-review

13 Scopus citations


This paper provides algorithmic options for belief revision of a database receiving an infinite stream of inputs. At stage n, the database is Δn, receiving the input An. The revision algorithms for moving to the new database Δn+1 = Δn ⊗ An take into account the history of previous revisions actually executed as well as possible revision options which were discarded at the time but may now be pursued. The appropriate methodology for carrying this out is Labelled Deductive Systems.

Original languageEnglish
Pages (from-to)15-35
Number of pages21
JournalJournal of Logic and Computation
Issue number1
StatePublished - Feb 2003
Externally publishedYes


Dive into the research topics of 'Controlled revision - An algorithmic approach for belief revision'. Together they form a unique fingerprint.

Cite this