On AGM for non-classical logics
type: Item
instance of: scholarly article
title: On AGM for non-classical logics
zbMATH Open document ID: 1227.03025
author: Renata Wassermann
published in: Journal of Philosophical Logic
publication date: 2011-05-11T00:00:00Z
review text: The purpose of this paper is to review some of the work that has been done adapting the AGM theory of belief change to contexts where the background logic is non-classical. It is not intended as an exhaustive survey of the field; for example, it does not discuss the case of intuitionistic logic. But it does cover quite a broad range of constructions. As the author remarks, the AGM partial meet account already has some generality; it applies not only to classical consequence but to any compact supraclassical consequence satisfying disjunction in the premises. The paper begins by reviewing some results on what remains of the AGM account if we simply generalize those conditions. However, the greater part of the review concerns specific non-classical logics for belief change. They are of two main groups: those with a computational motivation, and those with a relevantist rationale. From a computational point of view, the goal is to develop a formal account of belief change that cuts down on the complexity of calculating the background classical consequence relation. A first step in this direction was to restrict attention to belief bases, and a second step was to develop criteria for ignoring part of the base, so that classical consequence is applied only to a distinguished subset whose choice is conditioned by the proposition that is being eliminated or introduced. Another way of tackling the problem is to restrict the language in which the belief sets or bases, and the inserted or discarded formulae, may be expressed. The main candidates here are languages using only Horn clauses, and various kinds of description logic. The author explains the main proposals from the literature, with their known properties, but does not attempt to assess the extent to which complexity savings really ensue. The paper also reports on several constructions that have been carried out from a relevantist perspective. There the goal is to replace the background classical consequence by one o…
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5886898
zbMATH Keywords: AGM
zbMATH Keywords: belief change
zbMATH Keywords: nonclassical logic
zbMATH Keywords: partial meet contraction
MaRDI profile type: Publication
full work available at URL: s10992-011-9178-2
OpenAlex ID: W2129214558
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Q3039305
cites work: First degree entailments
cites work: Q4085699
cites work: Relevance Sensitive Non-Monotonic Inference on Belief Sequences
cites work: Relevance sensitive belief structures
cites work: Approximate belief revision
cites work: Belief change and inconsistency
cites work: Q5728439
cites work: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
cites work: SOFSEM 2006: Theory and Practice of Computer Science
cites work: Theory contraction through base contraction
cites work: Q3107917
cites work: Two modellings for theory change
cites work: Reversing the Levi identity
cites work: Kernel contraction
cites work: A textbook of belief dynamics. Theory change and database updating
cites work: Local change
cites work: Propositional calculus for contradictory deductive systems
cites work: Propositional relevance through letter-sharing
cites work: A paraconsistent theory of belief revision
cites work: Reasoning and revision in hybrid representation systems
cites work: Q4518818
cites work: Base Revision for Ontology Debugging
cites work: Change, choice and inference. A study of belief revision and nonmonotonic reasoning
cites work: Tractable reasoning via approximation
cites work: Q4546712
cites work: Generalized change and the meaning of rationality postulates
DOI: 10.1007/S10992-011-9178-2
description: scientific article; zbMATH DE number 5886898