On the logic of theory change: iteration of expansion

Detalhes bibliográficos
Autor(a) principal: Fermé, Eduardo
Data de Publicação: 2018
Outros Autores: Wassermann, Renata
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10400.13/3442
Resumo: 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.
id RCAP_1d4f9225881ece5c332e9e30d229fb37
oai_identifier_str oai:digituma.uma.pt:10400.13/3442
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling On the logic of theory change: iteration of expansionBelief changeBelief statesAGMIteration.Faculdade de Ciências Exatas e da EngenhariaConstructing 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.Springer OpenDigitUMaFermé, EduardoWassermann, Renata2021-05-27T11:27:39Z2018-01-01T00:00:00Z2018-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.13/3442engFermé, E., & Wassermann, R. (2018). On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, 24(1), 1-9.10.1186/s13173-018-0072-4info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-05T12:56:24Zoai:digituma.uma.pt:10400.13/3442Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T15:06:29.813034Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv On the logic of theory change: iteration of expansion
title On the logic of theory change: iteration of expansion
spellingShingle On the logic of theory change: iteration of expansion
Fermé, Eduardo
Belief change
Belief states
AGM
Iteration
.
Faculdade de Ciências Exatas e da Engenharia
title_short On the logic of theory change: iteration of expansion
title_full On the logic of theory change: iteration of expansion
title_fullStr On the logic of theory change: iteration of expansion
title_full_unstemmed On the logic of theory change: iteration of expansion
title_sort On the logic of theory change: iteration of expansion
author Fermé, Eduardo
author_facet Fermé, Eduardo
Wassermann, Renata
author_role author
author2 Wassermann, Renata
author2_role author
dc.contributor.none.fl_str_mv DigitUMa
dc.contributor.author.fl_str_mv Fermé, Eduardo
Wassermann, Renata
dc.subject.por.fl_str_mv Belief change
Belief states
AGM
Iteration
.
Faculdade de Ciências Exatas e da Engenharia
topic Belief change
Belief states
AGM
Iteration
.
Faculdade de Ciências Exatas e da Engenharia
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-01-01T00:00:00Z
2018-01-01T00:00:00Z
2021-05-27T11:27:39Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.13/3442
url http://hdl.handle.net/10400.13/3442
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Fermé, E., & Wassermann, R. (2018). On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, 24(1), 1-9.
10.1186/s13173-018-0072-4
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer Open
publisher.none.fl_str_mv Springer Open
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799129935457026048

Registros relacionados