A methodology for iterated Theory Change

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

6 Citations (Scopus)

Abstract

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
Pages193-207
Number of pages15
VolumeN/A
EditionN/A
ISBN (Print)9783540613138
DOIs
Publication statusPublished - 1996

Publication series

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

Fingerprint

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

Cite this