On the logic of theory change iteration of KM-update

Fermé, Eduardo; Gonçalves, Sara

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

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
On the logic of theory change iteration.pdf		915.46 KB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Fermé, Eduardo

Gonçalves, Sara

Resumo(s)

We present a model for iterating the Katsuno and Mendelzon Update (KM-Update) process, which is inspired by models developed for iterated belief revision in the AGM framework. Our model adapts the postulates of belief revision proposed by Darwiche and Pearl, including the independence postulate. We characterize two classes of iterated update operators based on natural and lexicographic revision. The semantics of our models are characterized using the framework of possible worlds.