Skip navigation
Skip navigation

Probabilistic reasoning in a classical logic

Ng, Kee Siong; Lloyd, John

Description

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.

CollectionsANU Research Publications
Date published: 2009
Type: Journal article
URI: http://hdl.handle.net/1885/38330
Source: Journal of Applied Logic
DOI: 10.1016/j.jal.2007.11.008

Download

File Description SizeFormat Image
01_Ng_Probabilistic_reasoning_in_a_2009.pdf226.08 kBAdobe PDF    Request a copy
02_Ng_Probabilistic_reasoning_in_a_2009.pdf460.26 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator