Abstract
This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decision-theoretic principle of Pareto-optimality to derive a notion of minimal belief change, for two different representations of belief: First, for beliefs represented by a theory – a deductively closed set of sentences or propositions – and second for beliefs represented by an axiomatic base for a theory. Three postulates exactly characterize Pareto-minimal revisions of theories, yielding a weaker set of constraints than the standard AGM postulates. The Levi identity characterizes Pareto-minimal revisions of belief bases: a change of belief base is Pareto-minimal if and only if the change satisfies the Levi identity (for “maxichoice” contraction operators). Thus for belief bases, Pareto-minimality imposes constraints that the AGM postulates do not. The Ramsey test is a well-known way of establishing connections between belief revision postulates and axioms for conditionals (“if p, then q”). Pareto-minimal theory change corresponds exactly to three characteristic axioms of counterfactual systems: a theory revision operator that satisfies the Ramsey test validates these axioms if and only if the revision operator is Pareto-minimal.
Similar content being viewed by others
REFERENCES
Alchourrón, C.E. and Makinson, D.: 1982, 'The Logic of Theory Change: Contraction Functions and Their Associated Revision Functions', Theoria 48, 14-37.
Arló Costa, H.: 1995, 'Epistemic Conditionals, Snakes and Stars', in Conditionals, from Philosophy to Computer Science, Vol. 5 of Studies in Logic and Computation, eds. Farinas del Cerro, G. Crocco, A. Herzig. Oxford University Press, Oxford.
Arló Costa, H.: 1998, 'Belief Revision Conditionals: basic iterated systems', forthcoming in Annals of Pure and Applied Logic.
Arló Costa, H.: 1990, 'Conditionals and Monotonic Belief Revisions: The Success Postulate', Studia Logica 49, 557-566.
Gärdenfors, P.: 1988, Knowledge In Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, MA.
Hansson, S.O.: 1998, 'Editorial: Belief Revision Theory Today', Journal of Logic, Language and Information Vol. 7, 2, 123-126.
Harman, G.: 1986, Change in View: Principles of Reasoning. MIT Press, Cambridge, MA.
Kelly, K., Schulte O. and Hendricks, V.: 1995, 'Reliable Belief Revision', Proceedings of the IX International Joint Congress for Logic, Methodology and the Philosophy of Science, Kluwer, Dordrecht.
Levi, I.: 1988, 'Iteration of Conditionals and the Ramsey Test', Synthese 76, 49-81.
Levi, I.: 1996, For the sake of the argument: Ramsey test conditionals, Inductive Inference, and Nonmonotonic Reasoning, Cambridge University Press, Cambridge.
Lewis, D.: 1973, Counterfactuals, Blackwell, Oxford.
Lewis, D.: 1976, 'Probabilities of Conditionals and Conditional Probabilities', The Philosophical Review LXXXV, 3, 297-315.
Martin, E. and Osherson, D.: 1998, Elements of Scientific Discovery, MIT Press, Cambridge, MA.
Katsuno, H. and Mendelzon, A. O. 1990: On the difference between updating a knowledge base and revising it, Technical Report on Knowledge Representation and Reasoning, KRR-TR-90-6, University of Toronto, Department of Computer Science.
Katsuno, H. and Mendelzon, A. O. 1991: 'On the Difference Between Updating a Knowledge Base and Revising It', in Proceedings of the Second International ConferencePARETO PRINCIPLE 361</del> on Principles of Knowledge Representation and Reasoning, pp. 387-394, Morgan Kaufmann Publishers, Los Altos, CA.
Nayak, A.: 1994, 'Iterated Belief Change Based on Epistemic Entrenchment', Erkenntnis 41, 353-390.
Osherson, D., Stob, M. and Weinstein, S. 1986: Systems That Learn, MIT Press, Cambridge, MA.
Putnam, H.: 1963, “Degree of Confirmation' and Inductive Logic”, in A. Schilpp (ed.), The Philosophy of Rudolf Carnap, Open Court, La Salle, Ill.
Rott, H.: 1998, 'Logic and Choice', in I. Gilboa (ed.), Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge, pp. 235-248. Morgan Kaufmann, San Francisco.
Rott, H. 1998: 'Two Dogmas of Belief Revision', Proceedings of the Third Conference on Logic and the Foundations of Game and Decision Theory. ICER, Turin, Italy.
Quine, W.: 1951, 'Two Dogmas of Empiricism', Philosophical Review 60, 20-43.
Stalnaker, R.: 1968, 'A Theory of Conditionals', in N. Resher (ed.), Studies in Logical Theory: 98-112 American Philosophical Quarterly Monograph Series, no. 2, Blackwell, Oxford.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schulte, O. Minimal Belief Change and the Pareto Principle. Synthese 118, 329–361 (1999). https://doi.org/10.1023/A:1005162303126
Issue Date:
DOI: https://doi.org/10.1023/A:1005162303126