<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-315

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

P. Blackburn, J. Jaspars and M. de Rijke, Reasoning about Changing Information (September 1, 1996).

Abstract

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 Alchourron-Gaerdenfors-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.

<%@ include file="cited.html" %>

P. Blackburn, J. Jaspars and M. de Rijke, "Reasoning about Changing Information", South African Computer Journal 19, pp. 2-26 (1997)

<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>