Probabilistic reasoning in a classical logic

被引:4
作者
Ng, K. S. [1 ]
Lloyd, J. W. [1 ]
机构
[1] Australian Natl Univ, Coll Engn & Comp Sci, Canberra, ACT 0200, Australia
基金
澳大利亚研究理事会;
关键词
Probabilistic reasoning; Classical logic; Higher-order logic; Integrating logic and probability; KNOWLEDGE;
D O I
10.1016/j.jal.2007.11.008
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We offer a view on how probability is related to logic. Specifically, we argue against the widely held belief that standard classical logics have no direct way of modelling the certainty of assumptions in theories and no direct way of stating the certainty of theorems proved from these (uncertain) assumptions. The argument rests on the observation that probability densities, being functions, can be represented and reasoned with naturally and directly in (classical) higher-order logic. (C) 2007 Elsevier B.V. All rights reserved.
引用
收藏
页码:218 / 238
页数:21
相关论文
共 49 条
  • [1] The generalized distributive law
    Aji, SM
    McEliece, RJ
    [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 2000, 46 (02) : 325 - 343
  • [2] Models for machine learning and data mining in functional programming
    Allison, L
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2005, 15 : 15 - 32
  • [3] [Anonymous], 1986, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
  • [4] [Anonymous], 2004, Learning Bayesian Networks
  • [5] [Anonymous], P DEXA 94
  • [6] Baral C, 2004, LECT NOTES ARTIF INT, V2923, P21
  • [7] Billingsley P., 1986, PROBABILITY MEASURE
  • [8] Bishop C. M., 2009, Pattern Recognition and Machine Learning
  • [9] Buntine W. L., 1992, THESIS U TECHNOLOGY
  • [10] Church Alonzo, 1940, J SYMBOLIC LOGIC, V5, P56, DOI 10.2307/2266170