On the logic of theory change iteration of KM-update

Fermé, Eduardo; Gonçalves, Sara

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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
On the logic of theory change iteration.pdf		915.46 KB	Adobe PDF	Download

Send Feedback

Authors

Fermé, Eduardo

Gonçalves, Sara

Abstract(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.