Skip to main content
Log in

Bayesian Belief Revision Based on Agent’s Criteria

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In the literature of belief revision, it is widely accepted that: there is only one revision phase in belief revision which is well characterized by the Bayes’ Rule, Jeffrey’s Rule, etc.. However, as I argue in this article, there are at least four successive phases in belief revision, namely first/second order evaluation and first/second order revision. To characterize these phases, I propose mainly four rules of belief revision based on agent’s criteria, and make one composition rule to characterize belief revision as a whole.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Alchourrón, C., P. Gärdenfors, and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic 50(2), 510–530, 1985.

    Article  Google Scholar 

  2. Barber, D., Bayesian Reasoning and Machine Learning, Cambridge University Press, 2014.

  3. Bayes, T., An essay towards solving a problem in the doctrine of chances, Philosophical Transactions of the Royal Society of London 53: 370–418, 1764.

    Google Scholar 

  4. Besnard, P., and A. Hunter, Elements of Argumentation, The MIT Press, 2008.

  5. Bradley, R., The kinematics of belief and desire, Synthese 156: 513–535, 2007.

    Article  Google Scholar 

  6. Bradley, R., A unified Bayesian decision theory, Theory and Decision 63:233–263, 2007.

    Article  Google Scholar 

  7. Brown, W., Z. Gyenis, and M. Rédei, The modal logic of Bayesian belief revision, Journal of Philosophical Logic 48(5): 809–824, 2019.

    Article  Google Scholar 

  8. Carnap, R., Logical Foundations of Probability, 2nd edn., University of Chicago Press, Chicago, 1962.

  9. Darwiche, A., and J. Pearl, On the logic of iterated belief revision, Artificial Intelligence 89: 1–29, 1997.

    Article  Google Scholar 

  10. de Finetti, B., Foresight: its logical laws, its subjective sources, in S. Kotz, and N.L. Johnson, (eds.), Studies in Subjective Probability, translated by H. E. Kyburg and H. E. Smokler, Wiley, New York, 1964, pp. 134–174.

  11. Dempster, A. P., A generalization of Bayesian inference, Journal of the Royal Statistical Society 30(2): 205–247, 1968.

    Google Scholar 

  12. Dietrich, F., C. List, and R. Bradley, Belief revision generalized: A joint characterization of Bayes’ and Jeffrey’s rules, Journal of Economic Theory 162: 352–371, 2016.

    Article  Google Scholar 

  13. Domotor, Z., Higher order probabilities, Philosophical Studies 40(1): 31–46, 1981.

    Article  Google Scholar 

  14. Dubois, D., J. Lang, and H. Prade, Possibilistic logic, in D. M. Gabbay, C. J. Hogger, and J. A. Robinson, (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, Clarendon Press, 1994, pp. 439–513.

  15. Dung, P. M., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games, Artificial Intelligence 77: 321–357, 1995.

    Article  Google Scholar 

  16. Earman, J., Bayes or Bust: A Critical Examination of Bayesian Confirmation Theory, Cambridge, MIT Press, MA, 1992.

  17. Falappa, M. A., G. Kern-Isberner, M. D. L. Reis, and G. R. Simari, Prioritized and non-prioritized multiple change on belief bases, Journal of Philosophical Logic 41: 77–113, 2012.

    Article  Google Scholar 

  18. Fermé, E., and S. O. H., AGM 25 years: Twenty-five years of research in belief change, Journal of Philosophical Logic 40: 295–331, 2011.

    Article  Google Scholar 

  19. Fermé, E., K. Saez, and P. Sanz, Multiple kernel contraction, Studia Logica 73: 183–195, 2003.

    Article  Google Scholar 

  20. Fitelson, B., Studies in Bayesian Confirmation Theory, Ph.D. thesis, University of Wisconsin-Madison, 2001.

  21. Fuhrmann, A., and S. Hansson, A survey of multiple contraction, Journal of Logic, Language, and Information 3: 39–76, 1994.

    Article  Google Scholar 

  22. Gaifman, H., A theory of higher order probabilities, in Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Morgan Kaufmann Publishers Inc., Monterey, California, 1986, pp. 275–292.

  23. Gärdenfors, P., Knowledge in Flux: Modeling the dynamics of epistemic states, MIT Press, Cambridge, 1988.

  24. Glymour, C., Theory and Evidence, Princeton University Press, 1980.

  25. Gyenis, Z., On the modal logic of Jeffrey conditionalization, Logica Universalis 12: 351–374, 2018.

    Article  Google Scholar 

  26. Hacking, I., An Introduction to Probability and Inductive Logic, Cambridge University Press, 2001.

  27. Hansson, S. O., Kernel contraction, Journal of Symbolic Logic 59: 845–859, 1994.

    Article  Google Scholar 

  28. Hansson, S. O., A survey of non-prioritized belief revision, Erkenntnis 50: 413–427, 1999.

    Article  Google Scholar 

  29. Hansson, S. O., A Textbook of Belief Dynamics: Theory Change and Database Updating, Kluwer Academic Publishers, Dordrecht, 1999.

    Book  Google Scholar 

  30. Hansson, S. O., E. Fermé, J. Cantwell, and M. Falappa, Credibility-limited revision, Journal of Symbolic Logic 66 (4): 1581–1596, 2001.

    Article  Google Scholar 

  31. Howson, C., Bayesian rules of updating, Erkenntnis 45 (2/3): 195–208, 1996.

  32. Howson, C., and A. Franklin, Bayesian conditionalization and probability kinematics, The British Journal for the Philosophy of Science 45(2): 451–466, 1994.

    Article  Google Scholar 

  33. Jeffrey, R., The Logic of Decision, 2nd edn., University of Chicago Press, Chicago, 1990.

  34. Jeffrey, R., Alias Smith and Jones: The testimony of the senses, Erkenntnis 26: 391–399, 1987.

    Article  Google Scholar 

  35. Jeffrey, R., Conditioning, kinematics, and exchangeability, in B. Skyrms, and W. Harper, (eds.), Causation, Chance, and Credence, vol. 1, Kluwer Academic Publishers, 1988.

  36. Jeffrey, R., Conditioning, kinematics, and exchangeability, in Probability and the Art of Judgement, chap. 7, Cambridge University Press, 1992, pp. 117–153.

  37. Keynes, J.M., A Treatise on Probability, Macmillan and Co., 1921.

  38. Lakatos, I., Falsification and the methodology of scientific research programmes, in I. Lakatos, and A. Musgrave, (eds.), Criticism and the Growth of Knowledge, Cambridge University Press, 1970.

  39. Leitgeb, H., The Stability of Belief, Oxford University Press, 2017.

  40. Mork, J. C., Uncertainty, credal sets and second order probability, Synthese 190(3): 353–378, 2013.

    Article  Google Scholar 

  41. Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Francisco, CA, 1988.

    Google Scholar 

  42. Peppas, P., Belief revision, in F. van Harmelen, V. Lifschitz, and B. Porter, (eds.), Handbook of Knowledge Representation, chap. 8, Elsevier, 2008.

  43. Ramsey, F. P., Truth and probability, in D. H. Mellor, (ed.), Philosophical Papers, Cambridge University Press, 1990.

  44. Sahlin, N. E., On second order probability and the notion of epistemic risk, in B. P. Stigum, and F. Wenstøp, (eds.), Foundations of Utility and Risk Theory with Applications, vol. 37, Reidel, Dordrecht, 1983, pp. 95–104.

    Chapter  Google Scholar 

  45. Sahlin, N. E., On higher order beliefs, in J.-P. Dubucs, (ed.), Philosophy of Probability, Kluwer Academic Publishers, 1993, pp. 13–34.

  46. Savage, L. J., The Foundations of Statistics, 2nd edn., Dover, New York, 1972.

    Google Scholar 

  47. Schurz, G., Impossibility results for rational belief, Noûs 53 (1): 134–159, 2019.

    Article  Google Scholar 

  48. Shafer, G., A Mathematical Theory of Evidence, Princeton University Press, 1976.

  49. Spohn, W., Ordinal conditional functions: A dynamic theory of epistemic states, in W. Harper, and B. Skyrms, (eds.), Causation in Decision, Belief Change and Statistics, vol. 2, D. Reidel, Dordrecht, 1988, pp. 105–134.

    Chapter  Google Scholar 

  50. Teller, P., Conditionalization, observation, and change of preference, in W. Harper, and C. A. Hooker, (eds.), Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science, vol. 1, D. Reidel, Dordrecht, 1976, pp. 205–259.

    Google Scholar 

  51. Theodoridis, S., Machine Learning: A Bayesian and Optimization Perspective, Academic Press, 2015.

  52. van Fraassen, B., A demonstration of the Jeffrey conditionalization rule, Erkenntnis 24: 17–24, 1986.

    Article  Google Scholar 

  53. Wetzel, L., Types and Tokens: On Abstract Objects, Cambridge, MIT Press, MA, 2009.

  54. Yuan, Y., Rational metabolic revision based on core beliefs, Synthese 194(6) 2121–2146, 2017.

    Article  Google Scholar 

  55. Yuan, Y., Bayesian confirmation or ordinary confirmation?, Studia Logica 108: 425–449, 2020.

    Article  Google Scholar 

  56. Yuan, Y., and S. JU., Rational evaluation in belief revision, Synthese 192(7): 2311–2336, 2015.

    Article  Google Scholar 

  57. Yuan, Y., S. JU., and X. Wen., Evaluative multiple revision based on core beliefs, Journal of Logic and Computation 25(3): 781–804, 2015.

    Article  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Social Science Foundation of China [16CZX051].

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yongfeng Yuan.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Jacek Malinowski

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yuan, Y. Bayesian Belief Revision Based on Agent’s Criteria. Stud Logica 109, 1311–1346 (2021). https://doi.org/10.1007/s11225-021-09951-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-021-09951-4

Keywords

Navigation