Name: | Description: | Size: | Format: | |
---|---|---|---|---|
181.26 KB | Adobe PDF |
Advisor(s)
Abstract(s)
Constructing models that allow 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.
Description
Keywords
Belief change Belief states AGM Iteration . Faculdade de Ciências Exatas e da Engenharia
Citation
Fermé, E., & Wassermann, R. (2017). Iterated belief change: the case of expansion into inconsistency. In 2017 Brazilian Conference on Intelligent Systems (BRACIS) (pp. 420-425). IEEE.
Publisher
IEEE