A methodology for iterated Theory Change

Research output: Chapter in Book/Report/Conference proceedingConference paper

6 Citations (Scopus)


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
Subtitle of host publicationInternational Conference on Formal and Applied Practical Reasoning, FAPR'96
EditorsD. M. Gabbay, Hans Jurgen Ohlbach
Place of PublicationBerlin and New York
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages15
ISBN (Print)9783540613138
Publication statusPublished - 1996

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


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

Cite this