Probabilities on sentences in an expressive logic
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]
|Collections||ANU Research Publications|
|Source:||Journal of Applied Logic|
|Hutter et al Probabilities on Sentences 2013.pdf||588.9 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.