On the logic of theory change: iteration of expansion

Fermé, Eduardo; Wassermann, Renata

http://hdl.handle.net/10400.13/3442

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
On the logic of theory change iteration of expansion.pdf		847.45 KB	Adobe PDF	Download

Send Feedback

Authors

Fermé, Eduardo

Wassermann, Renata

Abstract(s)

Constructing models that allow for iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is no work in the literature that deals with expansions into inconsistency in a supraclassical framework. In this paper, we provide a semantics for iterated expansion, as well as its axiomatic characterization. We extend the model to two well-known families of iterated belief change (natural and lexicographic). Iteration of expansion can be combined with existent models of iteration of revision and contraction. Since we are able to accommodate different inconsistent belief states, iteration of expansion allows us to define new belief change functions that are currently only defined for belief bases: semi-revision, external revision, as well as consolidation.