Notes on the History of Ideas Behind AGM

  title={Notes on the History of Ideas Behind AGM},
  author={Peter G{\"a}rdenfors},
  journal={Journal of Philosophical Logic},
  • P. Gärdenfors
  • Published 8 February 2011
  • Philosophy
  • Journal of Philosophical Logic
The purpose of this paper is to present a part of the history of ideas that led up to the formulation of the AGM theory [1]. David Makinson [26] has already written an excellent survey of what was new in the theory. Some historical details are also included in his obituary of Carlos Alchourron [25]. Here I will present the story from my own perspective. During the academic year 1973-74, my last period as a Ph.D. student was spent in Princeton. Among other things, I participated in Carl Hempel's… 
“Merely a logician’s toy?” Belief revision confronting scientific theory change
Over the past 50 years, theory change has been a central issue in the philosophy of science. While in the 1960s and 1970s it was investigated mainly within the historicist approaches worked out by
Twenty-Five Years of Research in Belief Change
The 1985 paper by Carlos Alchourron (1931-1996), Peter Gardenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of
Main Issues in Belief Revision, Belief Merging and Information Fusion
This chapter focuses on the dynamics of information represented in logical or numerical formats, from pioneering works to recent developments, and proposes an overview of basic notions, main results and new research issues in this area.
Norm Change in the Common Law
An account of legal change in a common law system is developed and two formal models of this process are presented, finding that a court can make a consistent decision even if the case base is not consistent.
Adaptive conjoint analysis. Training data: Knowledge or beliefs?: A logical perspective of preferences as beliefs
This paper identified three kinds of beliefs, describe a mechanism of mapping answers to beliefs and provide the basis on belief update when new information occurs, and proposes an alternative model of preferences as belief instead as fully trust knowledge.
Practical argumentation in a mixed-initiative framework
An abstract accrual argumentation framework is proposed that re-evaluates the treatment and utilisation of preference values within argumentation and identifies the need for justification management in a setting where multi-agent performs negotiation or argumentation.
A non-linear dynamical approach to belief revision in cognitive behavioral therapy
A novel approach is applied to this process based on AGM theory of belief revision, named after its proponents, Carlos Alchourrón, Peter Gärdenfors and David Makinson, to define the necessary and sufficient conditions for belief revision.
Participatory Learning of Propositional Knowledge
  • R. Yager
  • Computer Science
    IEEE Transactions on Fuzzy Systems
  • 2012
The objective here is to extend the participatory learning paradigm (PLP) to environments in which the authors are interested in learning information and knowledge expressed in terms of declarative statements and to provide a version of the PLP that is appropriate for the task of learningdeclarative knowledge.
Merging in the Horn Fragment
This article provides a novel representation theorem for Horn merging by strengthening the standard merging postulates and presents concrete Horn merging operators satisfying all postulates.


The Foundations of Mathematics and Other Logical Essays
Although not yet 27 years of age at the time of his death, Ramsey left contributions to mathematics, logic, and economics which were of the greatest value for contemporary philosophy. The present
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
The authors investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated, and basic properties of these functions are established.
On the status of the postulate of recovery in the logic of theory change
We discuss the rather special status of the postulate of "recovery" among the six basic postulates for theory contraction as formulated and studied by Alchourr6n, Gdirdenfors and the author. Our
Hierarchies of Regulations and their Logic
The relations between derogation and delivery are investigated, showing that although the two processes appear and are generally assumed to be quite different from each other, nevertheless for finite inconsistent codes, the composite process of derogating and then selecting a remainder turns out to be equipowerful with delivery.
A Theory of Conditionals
This chapter was the first exposition and defense of an axiom system and model theory for a conditional logic in the possible worlds framework, a theory designed to model counterfactual propositions.
The Logic of Theory Change
The logic of theory change is one of the literary work in this world in suitable to be reading material and this book gives reference, but also it will show the amazing benefits of reading a book.
Ordinal Conditional Functions: A Dynamic Theory of Epistemic States
Many of the philosophically most interesting notions are overtly or covertly epistemological. Overtly epistemological notions are, of course, the concept of belief itself, the concept of subjective
Rational Conceptual Change
  • W. Harper
  • Economics
    PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association
  • 1976
This paper uses a generalization of the concept of conditional belief to extend the model so that rational revision of previously accepted evidence can be accommodated and produces learning models that can accommodate rational conceptual change.
A Unified View of Propositional Knowledge Base Updates
The semantics of revising knowledge bases represented by sets of proposi t ional sentences is analyzed from a model-theoretic point of view and it is shown that el iminat ion cannot be expressed as a contract ion, and recovery is in general impossible.
A Pragmatic Approach to Explanations
It is argued that it is not sufficient to consider only the sentences included in the explanans and explanandum when determining whether they constitute an explanation, but these sentences must