Iterated Belief Change The Case of Expansion into Inconsistency

Autor(es)

Ferme, Eduardo ; Wassermann, Renata ; IEEE

• Tipo de documento: Artigo Científico
• Fonte: 2017 6TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS); v. N/A, p. 6-pg., 2017-01-01.

Resumo

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. (AU)

• Processo FAPESP: 16/13354-3 - Combinações de bases de crenças e aplicações em ontologias
• Beneficiário: Renata Wassermann
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional