Bayesian probability explained

Bayesian probability (or) is an interpretation of the concept of probability, in which, instead of frequency or propensity of some phenomenon, probability is interpreted as reasonable expectation[1] representing a state of knowledge[2] or as quantification of a personal belief.[3]

The Bayesian interpretation of probability can be seen as an extension of propositional logic that enables reasoning with hypotheses;[4] [5] that is, with propositions whose truth or falsity is unknown. In the Bayesian view, a probability is assigned to a hypothesis, whereas under frequentist inference, a hypothesis is typically tested without being assigned a probability.

Bayesian probability belongs to the category of evidential probabilities; to evaluate the probability of a hypothesis, the Bayesian probabilist specifies a prior probability. This, in turn, is then updated to a posterior probability in the light of new, relevant data (evidence).[6] The Bayesian interpretation provides a standard set of procedures and formulae to perform this calculation.

The term Bayesian derives from the 18th-century mathematician and theologian Thomas Bayes, who provided the first mathematical treatment of a non-trivial problem of statistical data analysis using what is now known as Bayesian inference.[7] Mathematician Pierre-Simon Laplace pioneered and popularized what is now called Bayesian probability.

Bayesian methodology

Bayesian methods are characterized by concepts and procedures as follows:

Objective and subjective Bayesian probabilities

Broadly speaking, there are two interpretations of Bayesian probability. For objectivists, who interpret probability as an extension of logic, probability quantifies the reasonable expectation that everyone (even a "robot") who shares the same knowledge should share in accordance with the rules of Bayesian statistics, which can be justified by Cox's theorem.[8] For subjectivists, probability corresponds to a personal belief. Rationality and coherence allow for substantial variation within the constraints they pose; the constraints are justified by the Dutch book argument or by decision theory and de Finetti's theorem. The objective and subjective variants of Bayesian probability differ mainly in their interpretation and construction of the prior probability.

History

The term Bayesian derives from Thomas Bayes (1702–1761), who proved a special case of what is now called Bayes' theorem in a paper titled "An Essay Towards Solving a Problem in the Doctrine of Chances".[9] In that special case, the prior and posterior distributions were beta distributions and the data came from Bernoulli trials. It was Pierre-Simon Laplace (1749–1827) who introduced a general version of the theorem and used it to approach problems in celestial mechanics, medical statistics, reliability, and jurisprudence.[10] Early Bayesian inference, which used uniform priors following Laplace's principle of insufficient reason, was called "inverse probability" (because it infers backwards from observations to parameters, or from effects to causes).[11] After the 1920s, "inverse probability" was largely supplanted by a collection of methods that came to be called frequentist statistics.[11]

In the 20th century, the ideas of Laplace developed in two directions, giving rise to objective and subjective currents in Bayesian practice.Harold Jeffreys' Theory of Probability (first published in 1939) played an important role in the revival of the Bayesian view of probability, followed by works by Abraham Wald (1950) and Leonard J. Savage (1954). The adjective Bayesian itself dates to the 1950s; the derived Bayesianism, neo-Bayesianism is of 1960s coinage.[12] [13] [14] In the objectivist stream, the statistical analysis depends on only the model assumed and the data analysed.[15] No subjective decisions need to be involved. In contrast, "subjectivist" statisticians deny the possibility of fully objective analysis for the general case.

In the 1980s, there was a dramatic growth in research and applications of Bayesian methods, mostly attributed to the discovery of Markov chain Monte Carlo methods and the consequent removal of many of the computational problems, and to an increasing interest in nonstandard, complex applications.[16] While frequentist statistics remains strong (as demonstrated by the fact that much of undergraduate teaching is based on it [17]), Bayesian methods are widely accepted and used, e.g., in the field of machine learning.[18]

Justification

The use of Bayesian probabilities as the basis of Bayesian inference has been supported by several arguments, such as Cox axioms, the Dutch book argument, arguments based on decision theory and de Finetti's theorem.

Axiomatic approach

Richard T. Cox showed that Bayesian updating follows from several axioms, including two functional equations and a hypothesis of differentiability.[19] The assumption of differentiability or even continuity is controversial; Halpern found a counterexample based on his observation that the Boolean algebra of statements may be finite.[20] Other axiomatizations have been suggested by various authors with the purpose of making the theory more rigorous.[21]

Dutch book approach

See main article: Dutch book. Bruno de Finetti proposed the Dutch book argument based on betting. A clever bookmaker makes a Dutch book by setting the odds and bets to ensure that the bookmaker profits—at the expense of the gamblers—regardless of the outcome of the event (a horse race, for example) on which the gamblers bet. It is associated with probabilities implied by the odds not being coherent.

However, Ian Hacking noted that traditional Dutch book arguments did not specify Bayesian updating: they left open the possibility that non-Bayesian updating rules could avoid Dutch books. For example, Hacking writes[22] [23] "And neither the Dutch book argument, nor any other in the personalist arsenal of proofs of the probability axioms, entails the dynamic assumption. Not one entails Bayesianism. So the personalist requires the dynamic assumption to be Bayesian. It is true that in consistency a personalist could abandon the Bayesian model of learning from experience. Salt could lose its savour."

In fact, there are non-Bayesian updating rules that also avoid Dutch books (as discussed in the literature on "probability kinematics"[24] following the publication of Richard C. Jeffrey's rule, which is itself regarded as Bayesian[25]). The additional hypotheses sufficient to (uniquely) specify Bayesian updating are substantial[26] and not universally seen as satisfactory.[27]

Decision theory approach

A decision-theoretic justification of the use of Bayesian inference (and hence of Bayesian probabilities) was given by Abraham Wald, who proved that every admissible statistical procedure is either a Bayesian procedure or a limit of Bayesian procedures.[28] Conversely, every Bayesian procedure is admissible.[29]

Personal probabilities and objective methods for constructing priors

Following the work on expected utility theory of Ramsey and von Neumann, decision-theorists have accounted for rational behavior using a probability distribution for the agent. Johann Pfanzagl completed the Theory of Games and Economic Behavior by providing an axiomatization of subjective probability and utility, a task left uncompleted by von Neumann and Oskar Morgenstern: their original theory supposed that all the agents had the same probability distribution, as a convenience.[30] Pfanzagl's axiomatization was endorsed by Oskar Morgenstern: "Von Neumann and I have anticipated ... [the question whether probabilities] might, perhaps more typically, be subjective and have stated specifically that in the latter case axioms could be found from which could derive the desired numerical utility together with a number for the probabilities (cf. p. 19 of The Theory of Games and Economic Behavior). We did not carry this out; it was demonstrated by Pfanzagl ... with all the necessary rigor".[31]

Ramsey and Savage noted that the individual agent's probability distribution could be objectively studied in experiments. Procedures for testing hypotheses about probabilities (using finite samples) are due to Ramsey (1931) and de Finetti (1931, 1937, 1964, 1970). Both Bruno de Finetti[32] [33] and Frank P. Ramsey[34] acknowledge their debts to pragmatic philosophy, particularly (for Ramsey) to Charles S. Peirce.

The "Ramsey test" for evaluating probability distributions is implementable in theory, and has kept experimental psychologists occupied for a half century.[35] This work demonstrates that Bayesian-probability propositions can be falsified, and so meet an empirical criterion of Charles S. Peirce, whose work inspired Ramsey. (This falsifiability-criterion was popularized by Karl Popper.[36] [37])

Modern work on the experimental evaluation of personal probabilities uses the randomization, blinding, and Boolean-decision procedures of the Peirce-Jastrow experiment.[38] Since individuals act according to different probability judgments, these agents' probabilities are "personal" (but amenable to objective study).

Personal probabilities are problematic for science and for some applications where decision-makers lack the knowledge or time to specify an informed probability-distribution (on which they are prepared to act). To meet the needs of science and of human limitations, Bayesian statisticians have developed "objective" methods for specifying prior probabilities.

Indeed, some Bayesians have argued the prior state of knowledge defines the (unique) prior probability-distribution for "regular" statistical problems; cf. well-posed problems. Finding the right method for constructing such "objective" priors (for appropriate classes of regular problems) has been the quest of statistical theorists from Laplace to John Maynard Keynes, Harold Jeffreys, and Edwin Thompson Jaynes. These theorists and their successors have suggested several methods for constructing "objective" priors (Unfortunately, it is not always clear how to assess the relative "objectivity" of the priors proposed under these methods):

Each of these methods contributes useful priors for "regular" one-parameter problems, and each prior can handle some challenging statistical models (with "irregularity" or several parameters). Each of these methods has been useful in Bayesian practice. Indeed, methods for constructing "objective" (alternatively, "default" or "ignorance") priors have been developed by avowed subjective (or "personal") Bayesians like James Berger (Duke University) and José-Miguel Bernardo (Universitat de València), simply because such priors are needed for Bayesian practice, particularly in science.[39] The quest for "the universal method for constructing priors" continues to attract statistical theorists.

Thus, the Bayesian statistician needs either to use informed priors (using relevant expertise or previous data) or to choose among the competing methods for constructing "objective" priors.

See also

Bibliography

(Partly reprinted in Book: Peter Gärdenfors . Gärdenfors, Peter . Sahlin, Nils-Eric . 1988 . Decision, Probability, and Utility: Selected Readings . Cambridge University Press . 0-521-33658-9.)

Notes and References

  1. Cox . R.T. . Richard Threlkeld Cox . 10.1119/1.1990764 . Probability, Frequency, and Reasonable Expectation . American Journal of Physics . 14 . 1 . 1–10 . 1946 . 1946AmJPh..14....1C .
  2. Book: Jaynes, E.T. . 1986 . Bayesian Methods: General Background . Maximum-Entropy and Bayesian Methods in Applied Statistics . Justice, J. H. . Cambridge . Cambridge University Press. 10.1.1.41.1055 .
  3. Book: de Finetti . Bruno . Theory of Probability: A critical introductory treatment . 2017 . John Wiley & Sons Ltd. . Chichester. 9781119286370.
  4. Book: Hailperin . Theodore . Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications . 1996 . Associated University Presses. London. 0934223459.
  5. Book: Howson, Colin . The Logic of Bayesian Probability . 137–159 . D. . Corfield . J. . Williamson . Foundations of Bayesianism . Dordrecht . Kluwer . 2001 . 1-4020-0223-8 .
  6. Web site: John Allen Paulos . Paulos . John Allen . The Mathematics of Changing Your Mind [by Sharon Bertsch McGrayne] ]. https://ghostarchive.org/archive/20220101/https://www.nytimes.com/2011/08/07/books/review/the-theory-that-would-not-die-by-sharon-bertsch-mcgrayne-book-review.html . 2022-01-01 . limited . Book Review . New York Times . 5 August 2011 . 2011-08-06.
  7. Book: Stigler . Stephen M. . The history of statistics . March 1990 . Harvard University Press . 9780674403413.
  8. Book: Cox . Richard T. . The algebra of probable inference. 1961 . Johns Hopkins Press; Oxford University Press [distributor] . Baltimore, MD; London, UK . 9780801869822 . Reprint.
  9. Book: McGrayne, Sharon Bertsch . 2011 . The Theory that Would not Die . registration . .
  10. Book: Stigler, Stephen M. . 1986 . The History of Statistics . https://archive.org/details/historyofstatist00stig . registration . Harvard University Press . Chapter 3. 9780674403406 .
  11. Fienberg, Stephen. E. . 2006 . When did Bayesian Inference become "Bayesian"? . https://web.archive.org/web/20140910070556/http://ba.stat.cmu.edu/journal/2006/vol01/issue01/fienberg.pdf . 10 September 2014 . Bayesian Analysis . 1 . 1 . 5, 1–40. 10.1214/06-BA101 . free .
  12. The works of Wald, Statistical Decision Functions (1950) and Savage, The Foundation of Statistics (1954) are commonly regarded starting points for current Bayesian approaches . Recent developments of the so-called Bayesian approach to statistics . Marshall Dees . Harris . Legal-Economic Research . University of Iowa . Agricultural Law Center . 1959 . 125 (fn. #52), 126.
  13. Book: This revolution, which may or may not succeed, is neo-Bayesianism. Jeffreys tried to introduce this approach, but did not succeed at the time in giving it general appeal. . Annals of the Computation Laboratory of Harvard University . 31 . 1962 . 180.
  14. It is curious that even in its activities unrelated to ethics, humanity searches for a religion. At the present time, the religion being 'pushed' the hardest is Bayesianism. . Oscar . Kempthorne . The Classical Problem of Inference—Goodness of Fit . Fifth Berkeley Symposium on Mathematical Statistics and Probability . 1967 . 235.
  15. Book: Bernardo . J.M. . Bayesian Thinking - Modeling and Computation . Handbook of Statistics . 2005 . 9780444515391 . 25 . 17–90 . Reference analysis . Handbook of Statistics . 10.1016/S0169-7161(05)25002-2 . José-Miguel Bernardo.
  16. Wolpert, R.L. . 2004 . A conversation with James O. Berger . Statistical Science . 9 . 205–218. 10.1214/088342304000000053 . free .
  17. José-Miguel Bernardo . Bernardo, José M. . 2006 . A Bayesian mathematical statistics primer . https://ghostarchive.org/archive/20221009/http://www.ime.usp.br/~abe/ICOTS7/Proceedings/PDFs/InvitedPapers/3I2_BERN.pdf . 2022-10-09 . live . ICOTS-7 . Bern.
  18. Book: Bishop, C.M. . Pattern Recognition and Machine Learning . Springer . 2007.
  19. Book: C. Ray . Smith . Gary . Erickson . From Rationality and Consistency to Bayesian Probability . 29–44 . Maximum Entropy and Bayesian Methods . John . Skilling . Dordrecht . Kluwer . 1989 . 0-7923-0224-9 . 10.1007/978-94-015-7860-8_2 .
  20. Halpern, J. . A counterexample to theorems of Cox and Fine . Journal of Artificial Intelligence Research . 10 . 67–85. https://ghostarchive.org/archive/20221009/http://www.cs.cornell.edu/info/people/halpern/papers/cox.pdf . 2022-10-09 . live. 10.1613/jair.536 . 1999 . 1538503 . free .
  21. Dupré, Maurice J. . Tipler, Frank J. . New axioms for rigorous Bayesian probability . Bayesian Analysis . 4 . 2009 . 3 . 599–606. 10.1214/09-BA422 . 10.1.1.612.3036 .
  22. Hacking (1967), Section 3, page 316
  23. Hacking (1988, page 124)
  24. Skyrms . Brian . 1987-01-01 . Dynamic Coherence and Probability Kinematics . Philosophy of Science . 54 . 1 . 1–20 . 10.1086/289350 . 187470 . 10.1.1.395.5723 . 120881078 . dmy-all.
  25. Encyclopedia: Bayes' Theorem . stanford.edu . dmy-all. Joyce. James. The Stanford Encyclopedia of Philosophy . 30 September 2003 .
  26. Book: Probability in Physics . limited . Fuchs . Christopher A. . Schack . Rüdiger . Bayesian Conditioning, the Reflection Principle, and Quantum Decoherence . 2012-01-01 . Springer Berlin Heidelberg . 9783642213281 . Ben-Menahem . Yemima . The Frontiers Collection . 233–247 . en . 1103.5950 . 10.1007/978-3-642-21329-8_15 . 119215115 . Hemmo . Meir . dmy-all.
  27. Book: van Frassen, Bas . Bas van Fraassen . 1989 . Laws and Symmetry . Oxford University Press . 0-19-824860-1.
  28. Book: Wald, Abraham . Statistical Decision Functions . Wiley . 1950.
  29. Book: Bernardo, José M. . Smith, Adrian F.M. . Bayesian Theory . John Wiley . 1994 . 0-471-92416-4.
  30. Pfanzagl (1967, 1968)
  31. Morgenstern (1976, page 65)
  32. Galavotti . Maria Carla. Maria Carla Galavotti . 1989-01-01 . Anti-Realism in the Philosophy of Probability: Bruno de Finetti's Subjectivism . Erkenntnis . 31 . 2/3 . 239–261 . 10.1007/bf01236565 . 20012239 . 170802937 . dmy-all.
  33. Galavotti . Maria Carla. Maria Carla Galavotti . 1991-12-01 . The notion of subjective probability in the work of Ramsey and de Finetti . Theoria . en . 57 . 3 . 239–259 . 10.1111/j.1755-2567.1991.tb00839.x . 1755-2567 . dmy-all.
  34. Book: Frank Ramsey: Truth and Success . Dokic . Jérôme . Engel . Pascal . Routledge . 2003 . 9781134445936.
  35. Davidson et al. (1957)
  36. Encyclopedia: Stanford Encyclopedia of Philosophy. Karl Popper . Stephen . Thornton . 7 August 2018. Metaphysics Research Lab, Stanford University .
  37. Book: Popper, Karl . 2002 . The Logic of Scientific Discovery . Google Books . 2nd . Routledge . 0-415-27843-0 . 57 . 1959 . en. (translation of 1935 original, in German).
  38. Peirce & Jastrow (1885)
  39. Book: Bernardo, J. M. . 2005 . Handbook of Statistics . https://ghostarchive.org/archive/20221009/http://www.uv.es/~bernardo/RefAna.pdf . 2022-10-09 . live . Reference Analysis . 25 . D.K. . Dey . C. R. Rao . C. R. . Rao . Amsterdam . Elsevier . 17–90.