| Full text | |
| Author(s): |
Ferme, Eduardo
;
Wassermann, Renata
;
IEEE
Total Authors: 3
|
| Document type: | Journal article |
| Source: | 2017 6TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS); v. N/A, p. 6-pg., 2017-01-01. |
| Abstract | |
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) | |
| FAPESP's process: | 16/13354-3 - Belief base merging and applications to ontologies |
| Grantee: | Renata Wassermann |
| Support Opportunities: | Research Grants - Visiting Researcher Grant - International |