Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.13/1164
Título: On the iteration of Katsuno and Mendelzon update
Autor: Rodrigues, Sara Xavier Reis Gonçalves
Orientador: Fermé, Eduardo Leopoldo
Palavras-chave: 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
Data de Defesa: Nov-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.
URI: http://hdl.handle.net/10400.13/1164
Designação: Mestrado em Matemática
Aparece nas colecções:Dissertações de Mestrado

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
MestradoSaraRodrigues.pdf1,06 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.