On the iteration of Katsuno and Mendelzon update
| Autor: | Rodrigues, Sara Xavier Reis Gonçalves |
|---|---|
| Přispěvatelé: | Fermé, Eduardo Leopoldo |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Matemática
Formal Mendelzon Raciocínio lógico-matemático Belief update Revisão Belief change Modelos matemáticos Katsuno and Mendelzon Update Faculdade de Ciências Exatas e da Engenharia Ciências Naturais::Matemáticas [Domínio/Área Científica] Possible world semantic Crença Técnica matemática Iteração Atualização Mundos possíveis Katsuno Semântica Análise numérica Iteration |
| Zdroj: | Repositório Científico de Acesso Aberto de Portugal Repositório Científico de Acesso Aberto de Portugal (RCAAP) instacron:RCAAP |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|