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

来源：

JOURNAL OF APPLIED LOGIC | 2009年 / 7卷 / 02期

基金：

澳大利亚研究理事会;

关键词：

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

← 1 2 3 4 5 →