Reasoning about Changing Information
Patrick Blackburn, Jan O. M. Jaspars, Maarten de Rijke · UvA-DARE (University of Amsterdam) · 1996
The purpose of these notes is two-fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourr'on-Gardenfors-Makinson (AGM) approach, and to discuss some of the alternatives, and extensions that have been proposed to it over the past few years; (ii) to relate the AGM approach to other `information-oriented' branches of logic, including intuitionistic logic, non-monotonic reasoning, verisimilitude, and modal and dynamic logic. Keywords: Theory change, knowledge representation, modal logic, dynamic logic. Computing Review Categories: F.4.0, F.4.1, I.2.3, I.2.4. 1 Introduction In these notes we study a number of approaches to theory change alias belief revision alias belief change alias theory revision. This enterprise is about coping with changing information, either because new facts have become known, or because the world has changed. If the newly obtained information is consistent with our old theory, there's no proble...