论文信息 - A Methodology for Iterated Theory Change

A Methodology for Iterated Theory Change

In this work, we propose some operators for theory change. We consider Belief Revision and Updates. The operators support combined iterations of revisions and updates and can be efficiently implemented. We show that the revision operator verifies the AGM postulates for Belief Revision and that the update one verifies the postulates for Updates proposed by Katsuno and Mendelzon [7].

Dov M. Gabbay | Odinaldo Rodrigues

[1] Hirofumi Katsuno,et al. On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[2] Yoav Shoham,et al. A Unified View of Belief Revision and Update , 1994, J. Log. Comput..

[3] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .

[4] Joachim Hertzberg,et al. How to do Things with Worlds: On Formalizing Actions and Plans , 1993, J. Log. Comput..

[5] Alvaro del Val. Computing Knowledge Base Updates , 1992, KR.

[6] David Makinson,et al. Five faces of minimality , 1993, Stud Logica.

[7] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[8] Hirofumi Katsuno,et al. Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[9] Mukesh Dalal,et al. Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.