確率論理のソースを表示

'''確率論理'''（かくりつろんり、Probabilistic logic）は、[[確率論]]と[[演繹論理]]を組み合わせて不確実性を取り扱う学問。確率論理では、これまでの真理値表は確率表現により拡張される。

== 提案されているもの ==
確率論理に関して多くの提案がなされている。

* 「''確率論理''」という言葉は、1986年にNils Nilssonより出された論文<ref name="N86">Nilsson, N. J., 1986, "Probabilistic logic," ''Artificial Intelligence'' 28(1): 71-87. [http://ai.stanford.edu/%7Enilsson/OnlinePubs-Nils/PublishedPapers/problogic.pdf]</ref>のなかで初めて使用された。 ここで提案されている意味論的一般化から確率論的[[論理包含]]が導かれ、全命題の確率が0か1である場合、通常の論理包含へと還元される。 この一般化は、有限個の命題の一貫性が保たれうるどのような論理体系にも適用される。

* [[:en:probabilistic argumentation]]理論<ref name="KM95">Kohlas, J., and Monney, P.A., 1995. ''A Mathematical Theory of Hints. An Approach to the Dempster-Shafer Theory of Evidence''. Vol. 425 in Lecture Notes in Economics and Mathematical Systems. Springer Verlag.</ref><ref name="HO5">Haenni, R, 2005, "Towards a Unifying Theory of Logical and Probabilistic Reasoning," ISIPTA'05, 4th International Symposium on Imprecise Probabilities and Their Applications: 193-202. [http://www.iam.unibe.ch/~run/papers/haenni05d.pdf]</ref>では、確率は直接論理命題に付与されていない。 代わりに命題に含まれる変数 <math>V</math>の部分集合 <math>W</math> が、対応するsub-[[:en:σ-algebra]]上に[[確率空間]]を定義すると仮定する。ここから変数<math>V</math>に関して2つの確率測度が導かれる。ひとつは''degree of support''、もうひとつは''degree of possibility''である。 Degrees of support は非加法的な''probabilities of provability''とみなすことが出来、(<math>V=\{\}</math>に関する)通常の[[論理包含]]および (<math>V=W</math>に関する)古典的[[事後確率]] の概念を一般化する。 数学的に、この考察は[[:en:Dempster-Shafer theory]]と同一である。

== 応用範囲 ==
*[[:en:Argumentation theory]]
*[[人工知能]]
*[[バイオインフォマティクス]]
*[[:en:Formal epistemology]]
*[[ゲーム理論]]
*[[科学哲学]]
*[[心理学]]
*[[統計学]]

== 関連項目 ==
* [[:en:Statistical relational learning]]
* [[ベイズ推定]], [[ベイジアンネットワーク]], [[ベイズ確率]]
* [[:en:Cox's theorem]]
* [[:en:Dempster-Shafer theory]]
* [[ファジィ論理]]
* [[:en:Imprecise probability]]
* [[論理学]], [[演繹論理]], [[非単調論理]]
* [[:en:Probabilistic database]]
* [[確率]], [[確率論]]
* [[:en:Probabilistic argumentation]]
* [[:en:Reasoning]]
* [[:en:Subjective logic]]
* [[不確かさ|不確実性]]
* [[:en:Upper and lower probabilities]]

== 脚注 ==
{{reflist}}

== 参考文献 ==
* E. W. Adams, 1998. ''A Primer of Probability Logic''. CSLI Publications (Univ. of Chicago Press).
* F. Bacchus, 1990. "Representing and reasoning with Probabilistic Knowledge. A Logical Approach to Probabilities". The MIT Press.
* [[ルドルフ・カルナップ|Rudolf Carnap]], 1950. ''Logical Foundations of Probability''. University of Chicago Press.
* Chuaqui, R., 1991. ''Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference''. Number 166 in Mathematics Studies. North-Holland.
* Hajek, Alan, 2001, "Probability, Logic, and Probability Logic," in Goble, Lou, ed., ''The Blackwell Guide to Philosophical Logic'', Blackwell.
* Henry Kyburg, 1970. ''Probability and Inductive Logic'' Macmillan.
* H. E. Kyburg, 1974. ''The Logical Foundations of Statistical Inference'', Dordrecht: Reidel.
* H. E. Kyburg and C. M. Teng, 2001. ''Uncertain Inference'', Cambridge: Cambridge University Press.
* Romeijn, J. W., 2005. ''Bayesian Inductive Logic''. PhD thesis, Faculty of Philosophy, University of Groningen, Netherlands. [http://www.philos.rug.nl/~romeyn/paper/2005_romeijn_-_thesis.pdf]
* Williamson, J., 2002, "Probability Logic," in D. Gabbay, R. Johnson, H. J. Ohlbach, and J. Woods, eds., ''Handbook of the Logic of Argument and Inference: the Turn Toward the Practical''. Elsevier: 397-424.

== 外部リンク ==
* [http://www.kent.ac.uk/secl/philosophy/jw/2006/progicnet.htm ''Progicnet'': Probabilistic Logic And Probabilistic Networks]
* [http://www.unik.no/people/josang/sl/ Subjective logic demonstrations]
* [http://www.sipta.org/ ''The Society for Imprecise Probability'']

{{DEFAULTSORT:かくりつろんり}}
[[Category:確率論]]
[[Category:非古典論理]]
[[Category:形式認識論]]
[[Category:数学に関する記事]]