On the iteration of Katsuno and Mendelzon update

Rodrigues, Sara Xavier Reis Gonçalves

http://hdl.handle.net/10400.13/1164

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
MestradoSaraRodrigues.pdf		1.04 MB	Adobe PDF	Download

Send Feedback

Authors

Rodrigues, Sara Xavier Reis Gonçalves

Advisor(s)

Fermé, Eduardo Leopoldo

Abstract(s)

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.

Keywords

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 de Ciências Exatas e da Engenharia