Skip navigation
Skip navigation

Probabilities on sentences in an expressive logic

Hutter, Marcus; Lloyd, John W.; Ng, Kee Siong; Uther, William T.B.


Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth values. The main technical problem studied in this paper is...[Show more]

CollectionsANU Research Publications
Date published: 2013-03-18
Type: Journal article
Source: Journal of Applied Logic
DOI: 10.1016/j.jal.2013.03.003


File Description SizeFormat Image
Hutter et al Probabilities on Sentences 2013.pdf588.9 kBAdobe PDFThumbnail

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

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator