On the iteration of Katsuno and Mendelzon update
| Contribuinte(s) |
Fermé, Eduardo Leopoldo |
|---|---|
| Data(s) |
19/05/2016
18/06/2016
01/11/2015
|
| Resumo |
In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models. |
| Identificador | |
| Idioma(s) |
eng |
| Direitos |
embargoedAccess |
| Palavras-Chave | #Matemática #Crença #Revisão #Atualização #Modelos matemáticos #Katsuno #Mendelzon #Iteração #Técnica matemática #Análise numérica #Semântica #Formal #Mundos possíveis #Raciocínio lógico-matemático #Belief change #Belief update #Katsuno and Mendelzon Update #Iteration #Possible World Semantic #Matemática #. #Faculdade das Ciências Exatas e da Engenharia #Domínio/Área Científica::Ciências Naturais::Matemáticas |
| Tipo |
masterThesis |
