A methodology for iterated theory change

Dov Gabbay, Odinaldo Rodrigues

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

6 Scopus citations


In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].

Original languageEnglish
Title of host publicationPractical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
EditorsDov M. Gabbay, Hans Jurgen Ohlbach
PublisherSpringer Verlag
Number of pages15
ISBN (Print)3540613137, 9783540613138
StatePublished - 1996
Externally publishedYes
EventInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996 - Bonn, Germany
Duration: 3 Jun 19967 Jun 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Conference on Formal and Applied Practical Reasoning, FAPR 1996

Bibliographical note

Publisher Copyright:
© Springer-Vedag Berlin Heidelberg 1996.


Dive into the research topics of 'A methodology for iterated theory change'. Together they form a unique fingerprint.

Cite this