Bayesova vjerovatnoća

Bajesova verovatnoća je tumačenje koncepta verovatnoće. Za razliku od tumačenja verovatnoće kao frekvencije ili sklonosti neke pojave, Bajesova verovatnoća je količina koju dodelimo predstavljenom stanju znanja[1] ili stanju verovanja.[2] U Bajesovom mišljenju, verovatnoća je dodeljena hipotezi, dok pod frekventističkim zaključkom, hipoteza se obično testira bez dodeljene verovatnoće.

Bajesova interpretacija verovatnoće može se posmatrati kao proširenje iskazne logike koja omogućava obrazloženje sa hipotezama, odnosno predloga čija je istina ili laž neizvesna.

Bajesova verovatnoća spada u kategoriju dokazne verovatnoće; da proceni verovatnoću hipoteze, Bajesova verovatnoća navodi neke prethodne verovatnoće, koje se zatim ažuriraju u svetlu novih, relevantnih podataka (dokaza).[3] Bajesovo tumačenje daje standardan skup postupaka i formula za obavljanje ovog obračuna.

Termin "Bajesova" potiče iz 18. veka matematičar i teolog Tomas Bajes, koji je obezbedio prvi matematički tretman netrivijalnom problemu Bajesovog zaključivanja.[4] Matematičar Pjer Simon Laplas je razvio i popularisao ono što se sada zove Bajesova verovatnoće.[5]

Uopšteno govoreći, postoje dva pogleda na Bajesovu verovatnoću koja tumači koncept verovatnoće na različite načine. Prema objektivističkom mišljenju, pravila Bajesove statistike mogu biti opravdana zahtevima racionalnosti i doslednosti i mogu se tumačiti kao nastavak logike.[1][6] Prema subjektivističkom mišljenju, verovatnoća je kvantifikovana kao "lično uverenje".[2]

Bajesova metodologija

uredi

Bajesove metode odlikuju se sledećim koncepatima i procedurama:

  • Korišćenje slučajnih promenljivih, ili uopšte, nepoznatih količina, za modeliranje svih izvora[7] nesigurnosti u statističkim modelima. To uključuje nesigurnost koja proizilazi iz nedostatka informacija (vidi epistemičku neizvesnost).
  • Potreba da se utvrdi prethodna raspodela verovatnoće uzimajući u obzir raspoložive (prethodno) informacije.
  • Sekvencijalna upotreba Bajesove formule: kada više podataka postane dostupno, izračunati poslednju raspodelu koristeći Bajesovu formulu; kasnije, distribucija poslednje postaje prva sledeće.
  • Za frekventiste hipoteza je predlog (koji mora biti istinit ili lažan), tako da je frekuentistička verovatnoća hipoteze jedan ili nula. U Bajesovoj statistici, verovatnoća dodeljena hipotezi može da se razlikuje od 0 ili 1 ako je vrednost istine neizvesna.

Objektivne i subjektivne Bajesove verovatnoće

uredi

Uopšteno govoreći, postoje dva pogleda na Bajesove verovatnoće koje tumače koncept 'verovatnoće' na različite načine. Za objektiviste, verovatnoća objektivno meri verodostojnost iskaza, odnosno verovatnoća predloga odgovara u razumnom verovanju svima (čak i robotu) koji dele isto znanje koje treba da dele u skladu sa pravilima Bajesova statistike, koji se može opravdati zahtevima racionalnosti i doslednosti.[1][6] Za subjektiviste, verovatnoća odgovara "ličnom uverenju".[2] Za subjektiviste, racionalnost i koherentnost ograničavaju verovatnoću koju predmet može imati, ali dozvoljavaju značajne varijacije u okviru tih ograničenja. Objektivne i subjektivne varijante Bajesove verovatnoće razlikuju se uglavnom u njihovom tumačenju i izgradnji prethodne verovatnoće.

Istorija

uredi

Termin Bajesova se odnosi na Tomasa Bajesa (1702-1761), koji je pokazao poseban slučaj onoga što se sada zove Bajesova teorema u radu pod nazivom "Esej ka rešavanju problema u doktrini prilika".[8] U tom posebnom slučaju, prve i poslednje distribucije su bile Beta distribucije i podaci koji dolaze iz Bernulijevog suđenja. Pjer Simon Laplas (1749-1827), je uveo opštu verziju teoreme i koristi je da pristupi problemu u nebeskoj mehanici, medicinskoj statistici, pouzdanosti i praksom.[4] Rano Bajesov zaključak, koji koristi jedinstvene dosije sledeći Laplasov princip nedovoljnog razloga, nazvan je "inverzna verovatnoća" (jer unazad se zaključuje iz posmatranja parametra, ili od efekata do uzroka).[9] Nakon 1920., "inverzna verovatnoća" je u velikoj meri zamenjena kolekcijom metoda koje se zovu frekuentistička statistika.[9]

U 20. veku, Laplasove ideje su dalje razvijane u dva različita pravca, što dovodi do objektivnih i subjektivnih struja u Bajesovoj praksi. Teorija verovatnoće (prvi put objavljena 1939. godine) Harolda Džefrisa igrala je važnu ulogu u oživljavanju Bajesovog pogleda na verovatnoću, zatim dela Abrahama Volda (1950) i Leonarda J. Sevidža (1954). Sam pridev Bajesova datira još iz 1950-ih; izveden Bajesinizm, Neo-Bajesinizam je iz 1960-ih.[10] U objektivističkom toku, statistička analiza zavisi samo od modela koji pretpostavlja i analizira podatke.[11] Subjektivne odluke ne treba da budu uključene. Nasuprot tome, "subjektivistički" statističari negiraju mogućnost potpuno objektivnu analizu za opštem slučaju.

1980-ih godina, došlo je do dramatičnog porasta u istraživanju i primeni Bajesovih metoda, uglavnom im se pripisuje otkriće umetanja metoda, koje je uklonilo mnoge računarske probleme, i sve je veći interes za nestandardne, kompleksne aplikacije.[12] Uprkos rastu Bajesovih istraživanja, većina diplomskih nastava se i dalje zasniva na frekventističkoj statistici.[13][nedostaje referenca] Ipak, Bajesove metode su široko prihvaćene i koriste se na polju mašinskog učenja.[14]

Opravdanje Bajesove verovatnoće

uredi

Upotreba Bajesove verovatnoće kao osnova za Bajesovo zaključivanje je podržana od strane nekoliko argumenata, kao što su Koksove aksiome, Holandska knjiga argumenta, argumente zasnovane na teoriji odlučivanja i de Finetijevoj teoremi.

Aksiomatski pristup

uredi

Ričard T. Koks pokazao je da[6] Bajesova teorema sledi iz nekoliko aksioma, uključujući i dve funkcionale jednačine i hipoteze diferencijabilnosti. Pretpostavka diferencijabilnosti ili čak kontinuiteta je kontroverzna; Halpern je smatrao na osnovu svog zapažanja da je Bulova algebra izjava konačna.[15] Predložene su druge aksiome različitih autora kako bi teorija bila rigoroznija.[7]

Pristup Holandske knjige

uredi

Holandska knjiga argumenta je predložena od strane de Finetija, a zasniva se na klađenju. holandska knjiga je postignut kada pametan kockar postavlja niz opklada koje garantuju dobitak, bez obzira na ishod opklade. Ako kladionica prati pravila Bajesove kalkulacije u izgradnji svojih šansi, holandska knjiga ne može biti postignuta.

Međutim, Ijan Hoking napomenuo je da tradicionalna holandska knjiga argumenta ne precizira Bajesovo ažuriranje: ostavili su otvorenu mogućnost da Bajesova pravila ne mogu izbeći holandske knjige. Na primer, piše Hoking[16] "Ni holandska knjiga argument niti bilo koji drugi dokaz verovatnoće aksioma, podrazumeva dinamičnu pretpostavku. Ni jedan ne podrazumeva Bajesovu. Dakle, pojedinac zahteva dinamičku pretpostavku da bi bila Bajesova. Tačno je da u konzistenciji da bi A pojedinac mogao da napusti Bajesov model učenja iz iskustva. So bi mogla da izgubi svoj ukus. "

Ustvari, postoje ne-Baiesova pravila ažuriranja da se izbegne holandska knjiga (kao što je objašnjeno u literaturi o "verovatnoći kinematike" nakon objavljivanja pravila Ričarda C. Džefrisa, koje se i samo smatra Bajesovim[17]). Dovoljno je navesti (jedinstveno) dodatne hipoteze Bajesovog ažuriranja koje su znatne, komplikovane, i nezadovoljavajuće.[18]

Pristup teorije odluke

uredi

Opravdanje teorije odluke pri korišćenju Bajesovog zaključivanja (i samim tim Bajesove verovatnoće) je dao Abraham Vold, koji je dokazao da je svaki statistički prihvatljiv postupak ili Bajesov postupak ili ograničenje od Bajesovih procedura.[19] Nasuprot tome, svaki Bajesova postupak je prihvatljiv.[20]

Lične verovatnoće i objektivne metode za

uredi

Prateći rad na očekivanoj korisnoj teoriji Remzi i fon Nojman, donosioci teoretičari su činili racionalnog ponašanja, koristeći raspodelu verovatnoće za agenta. Johan Pfanzal završio je Teoriju igara i ekonomskog ponašanja pružajući aksiomatizaciju subjektivne verovatnoće i korisnost, što je zadatak koji ostaje nedovršen od fon Nojman i Oskar Morgensterna: njihova prvobitna teorija pretpostavlja da su svi agenti imali istu raspodelu verovatnoće, kao pogodnost.[21] Pfanzalovu aksiomatizaciju je odobrio Oskar Morgenstern: "Fon Nojman i ja smo predvideli" na pitanje da li su verovatnoće "Možda, možda i više nego obično, budi subjektivan i da je posebno naveo da nisu mogli biti u ovom drugom slučaju aksioma od kojih bi mogao izvući željeni numeričke uslužni . zajedno sa brojem za verovatnoće (vidi pp. 19 od teorije igara i ekonomskog ponašanja) Nismo nose ovo, to je pokazano Pfanzagl ... sa svom potrebnom strogosti ".

Remzi i Sevidž ističu da bi raspodela svake verovatnoće agenta mogla da se objektivno razmatra u eksperimentima. Uloga suda i neslaganja u nauci je priznata od Aristotela pa čak i jasnija sa Fransisom Bejkonom. Objektivnost nauke ne leži u psihologiji individualnih naučnika, ali u procesu nauke, a naročito u statističkim metodama, kao što je navedeno od strane C. S. Persa.[22] Podsetimo se da su objektivni metodi za falsifikovanje predloga u vezi sa ličnim verovatnoćama korišćeni pola veka, kao što je već pomenuto. Procedure za testiranje hipoteze o verovatnoći (koristeći konačne uzorke) su zbog Remzija (1931) i de Finetija (1931, 1937, 1964, 1970). Bruno de Fineti i Frank S. Remzi priznali su dugove pragmatične filozofije, posebno Čarlsu S. Persu.

"Remzijev test" za procenu verovatnoće raspodele je implementiran u teoriji, a eksperimentom su psiholozi bili okupirani pola veka.[23] Ovaj rad pokazuje da je Bajesova-verovatnoća propozicije falsifikovana, i tako ispunjava empirijski kriterijum Čarsla S. Persa, čiji je rad inspirisao Remzija. (Ovaj kriterijum je popularizovao Karl Poper.)[24][25])

Moderan rad na eksperimentalnoj proceni ličnih verovatnoća koristi randomizovanje, zaslepljuje i procedure Bulove odluke Pirs-Jastrovog eksperimenta.[26] Pošto se pojedinci ponašaju prema različitim verovatnoćama presude, verovatnoće ovih agenata su "lične" (ali podložni objektivnoj studije).

Lične verovatnoće su problematične za nauku i za neke aplikacije gde donosioci odluka nemaju znanja ili vremena da navedu informisane distribucije verovatnoće (na kojima su spremni da deluju). Da bi se zadovoljile potrebe nauke i ljudskih ograničenja, Bajesovi statističari su razvili "objektivne" metode za određivanje prethodne verovatnoće.

Zaista, neki su tvrdili da prethodno stanje znanja definiše (jedinstvenu) pre verovatnoće-distribuciju za "obične" statističke probleme; uporedi dobro postavljeno probleme. Pronalaženje pravog metoda za izgradnju takvog "objektivnog" dosijea (za odgovarajuće klase redovnih problema) je potraga statističkih teoretičara od Laplasa do Džona Mejnarda Kejnsa, Harold Džefris, i Edvin Tomson Džejnes: Ovi teoretičari i njihovi naslednici su predložili nekoliko metoda za izgradnju "objektivnih" dosijea:

Svaka od ovih metoda doprinosi korisne dosije za "obične" probleme, i svaki pre može nositi neke izazove statističkih modela (sa "nepravilnosti" ili nekoliko parametara). Svaka od ovih metoda postignuta značajna Bajesovoj praksi. Zaista, metode za izgradnju "objektivno" dosijea (alternativno, "uobičajeno" ili "neznanje") dosijei su razvijeni od strane priznatih subjektivnih (ili "lično") pristalica Bajesove teorije kao što su Džejms Berger (Djuk univerzitet) i Hose-Migel Bernardo (Univerzitet u Valensiji), jednostavno zato što su potrebni takvi za Bajesovu praksu, posebno u nauci.[27] Potraga za "univerzalnim metodama za izgradnju dosijea" nastavlja da privlači statističke teoretičare.[27]

Dakle, Bajesov statističar mora da se koristi informacijama prethodnika (koristeći odgovarajuću stručnost ili prethodne podatke) ili da bira između konkurentskih metoda za izgradnju "objektivnog" dosijea.

Povezano

uredi
  • Bertran paradoks - paradoks u klasičnom verovatnoće, rešen E. T. Džejnis u kontekstu Bajesove verovatnoće
  • De Finetijeva igra - postupak za ocenu nečije subjektivne verovatnoće
  • QBism - kontroverzna primena Bajesove verovatnoće u kvantnoj mehanici
  • Neizvesnost
  • Esej ka rešavanju problema u doktrinu šanse

Reference

uredi
  1. 1,0 1,1 1,2 Jaynes, E.T. "Bayesian Methods: General Background."
  2. 2,0 2,1 2,2 de Finetti, B. (1974) Theory of probability (2 vols.
  3. Paulos, John Allen.
  4. 4,0 4,1 Stigler, Stephen M. (1986) The history of statistics.
  5. Stigler, Stephen M. (1986) The history of statistics., Harvard University press. str. 97–98, 131.
  6. 6,0 6,1 6,2 Cox, Richard T. Algebra of Probable Inference, The Johns Hopkins University Press, 2001
  7. 7,0 7,1 Dupré, Maurice J., Tipler, Frank T. New Axioms For Bayesian Probability[mrtav link], Bayesian Analysis (2009), Number 3. str. 599–606
  8. McGrayne, Sharon Bertsch. (2011).
  9. 9,0 9,1 Fienberg, Stephen.
  10. "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.
  11. Bernardo, J.M. (2005), Reference analysis, Handbook of statistics, 25, 17–90
  12. Wolpert, R.L. (2004) A conversation with James O. Berger, Statistical science, 9, 205–218
  13. Bernardo, José M. (2006) A Bayesian mathematical statistics primer.
  14. Bishop, C.M. Pattern Recognition and Machine Learning.
  15. Halpern, J. A counterexample to theorems of Cox and Fine, Journal of Artificial Intelligence Research, 10: 67–85.
  16. Hacking (1967, Section 3. str. 316), Hacking ( (1988). str. 124)
  17. "Bayes' Theorem". stanford.edu.
  18. van Frassen, B. (1989) Laws and Symmetry, Oxford University Press.
  19. Wald, Abraham.
  20. Bernardo, José M., Smith, Adrian F.M. Bayesian Theory.
  21. Pfanzagl (1967, 1968)
  22. Stigler, Stephen M. (1978).
  23. Davidson et al. (1957)
  24. "Karl Popper" in Stanford Encyclopedia of Philosophy
  25. Popper 2002: str. 57
  26. Peirce & Jastrow (1885)
  27. 27,0 27,1 Bernardo, J. M. (2005).

Literatura

uredi