A carregar...
Publicação
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 431.46 KB | Adobe PDF |
Orientador(es)
Resumo(s)
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.
Descrição
Palavras-chave
Belief change Theory contraction Multiple contraction System of spheres Epistemic entrenchment Axiomatic characterization . Faculdade de Ciências Exatas e da Engenharia
Contexto Educativo
Citação
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.
Editora
Springer