Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions
Autor(a) principal: | |
---|---|
Data de Publicação: | 2015 |
Outros Autores: | , |
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/3445 |
Resumo: | t In some recent works (Reis 2011, Ferme and Reis, J. Philos. Log. ´ 41, 29–52, 2012, Ferme and Reis, Rev. Symb. Log. ´ 6, 460–487, 2013) two new kinds of multiple contraction functions have been proposed, namely the system of spheres-based multiple contractions and the epistemic entrenchment-based multiple contractions, as generalizations (to the case of multiple contraction) of the well-known classes of systems of spheres-based and of epistemic entrenchment-based (singleton) contractions. Additionally, a representa tion theorem for the class of epistemic entrenchment-based multiple contraction has been proposed, and it has been shown that the two newly proposed constructions are equivalent, in the sense that a multiple contraction function is a system of spheres-based multiple contrac tion if and only if it is an epistemic entrenchment-based multiple contraction. In this paper we present two axiomatic characterizations for those multiple contraction functions which differ from the one mentioned above and, in particular, make use of some more intuitive postulates. |
id |
RCAP_af5a5ae55c26396f260d2bac1a70d516 |
---|---|
oai_identifier_str |
oai:digituma.uma.pt:10400.13/3445 |
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 |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractionsBelief changeTheory contractionMultiple contractionSystem of spheresEpistemic entrenchmentAxiomatic characterization.Faculdade de Ciências Exatas e da Engenhariat In some recent works (Reis 2011, Ferme and Reis, J. Philos. Log. ´ 41, 29–52, 2012, Ferme and Reis, Rev. Symb. Log. ´ 6, 460–487, 2013) two new kinds of multiple contraction functions have been proposed, namely the system of spheres-based multiple contractions and the epistemic entrenchment-based multiple contractions, as generalizations (to the case of multiple contraction) of the well-known classes of systems of spheres-based and of epistemic entrenchment-based (singleton) contractions. Additionally, a representa tion theorem for the class of epistemic entrenchment-based multiple contraction has been proposed, and it has been shown that the two newly proposed constructions are equivalent, in the sense that a multiple contraction function is a system of spheres-based multiple contrac tion if and only if it is an epistemic entrenchment-based multiple contraction. In this paper we present two axiomatic characterizations for those multiple contraction functions which differ from the one mentioned above and, in particular, make use of some more intuitive postulates.SpringerDigitUMaReis, Maurício D. L.Peppas, PavlosFermé, Eduardo2021-05-27T14:36:19Z2015-01-01T00:00:00Z2015-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.13/3445engReis, M. D., Peppas, P., & Fermé, E. (2016). Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions. Annals of Mathematics and Artificial Intelligence, 78(3), 181-203.10.1007/s10472-015-9454-xinfo: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/3445Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T15:06:29.985977Repositó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 |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
title |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
spellingShingle |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions Reis, Maurício D. L. Belief change Theory contraction Multiple contraction System of spheres Epistemic entrenchment Axiomatic characterization . Faculdade de Ciências Exatas e da Engenharia |
title_short |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
title_full |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
title_fullStr |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
title_full_unstemmed |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
title_sort |
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions |
author |
Reis, Maurício D. L. |
author_facet |
Reis, Maurício D. L. Peppas, Pavlos Fermé, Eduardo |
author_role |
author |
author2 |
Peppas, Pavlos Fermé, Eduardo |
author2_role |
author author |
dc.contributor.none.fl_str_mv |
DigitUMa |
dc.contributor.author.fl_str_mv |
Reis, Maurício D. L. Peppas, Pavlos Fermé, Eduardo |
dc.subject.por.fl_str_mv |
Belief change Theory contraction Multiple contraction System of spheres Epistemic entrenchment Axiomatic characterization . Faculdade de Ciências Exatas e da Engenharia |
topic |
Belief change Theory contraction Multiple contraction System of spheres Epistemic entrenchment Axiomatic characterization . Faculdade de Ciências Exatas e da Engenharia |
description |
t In some recent works (Reis 2011, Ferme and Reis, J. Philos. Log. ´ 41, 29–52, 2012, Ferme and Reis, Rev. Symb. Log. ´ 6, 460–487, 2013) two new kinds of multiple contraction functions have been proposed, namely the system of spheres-based multiple contractions and the epistemic entrenchment-based multiple contractions, as generalizations (to the case of multiple contraction) of the well-known classes of systems of spheres-based and of epistemic entrenchment-based (singleton) contractions. Additionally, a representa tion theorem for the class of epistemic entrenchment-based multiple contraction has been proposed, and it has been shown that the two newly proposed constructions are equivalent, in the sense that a multiple contraction function is a system of spheres-based multiple contrac tion if and only if it is an epistemic entrenchment-based multiple contraction. In this paper we present two axiomatic characterizations for those multiple contraction functions which differ from the one mentioned above and, in particular, make use of some more intuitive postulates. |
publishDate |
2015 |
dc.date.none.fl_str_mv |
2015-01-01T00:00:00Z 2015-01-01T00:00:00Z 2021-05-27T14:36:19Z |
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/3445 |
url |
http://hdl.handle.net/10400.13/3445 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
Reis, M. D., Peppas, P., & Fermé, E. (2016). Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions. Annals of Mathematics and Artificial Intelligence, 78(3), 181-203. 10.1007/s10472-015-9454-x |
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 |
publisher.none.fl_str_mv |
Springer |
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_ |
1799129935462268928 |