The AGM theory and inconsistent belief change

Koji Tanaka

Research output: Contribution to journalArticle

12 Citations (Scopus)

Abstract

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply to Grove's sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination.
Original languageEnglish
Pages (from-to)113-150
Number of pages38
JournalLogique et Analyse
Volume48
Issue number189-192
Publication statusPublished - 2005

Fingerprint Dive into the research topics of 'The AGM theory and inconsistent belief change'. Together they form a unique fingerprint.

Cite this