Williamson, Jon (2008) Objective Bayesian Probabilistic Logic. Journal of Algorithms, 63 (4). pp. 167-183. ISSN 0196-6774. (doi:10.1016/j.jalgor.2008.07.001) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:20878)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. | |
Official URL: http://dx.doi.org/10.1016/j.jalgor.2008.07.001 |
Abstract
This paper develops connections between objective Bayesian epistemology - which holds that the strengths of an agent's beliefs should be representable by probabilities, should be calibrated with evidence of empirical probability, and should otherwise be equivocal - and probabilistic logic. After introducing objective Bayesian epistemology over propositional languages, the formalism is extended to handle predicate languages. A rather general probabilistic logic is formulated and then given a natural semantics in terms of objective Bayesian epistemology. The machinery of objective Bayesian nets and objective credal nets is introduced and this machinery is applied to provide a calculus for probabilistic logic that meshes with the objective Bayesian semantics.
Item Type: | Article |
---|---|
DOI/Identification number: | 10.1016/j.jalgor.2008.07.001 |
Uncontrolled keywords: | Objective Bayesianism; Maximum entropy; Maxent; Probabilistic logic; Probability logic; Bayesian network; Bayesian net; Credal network; Credal net |
Subjects: |
B Philosophy. Psychology. Religion > B Philosophy (General) B Philosophy. Psychology. Religion > BC Logic |
Divisions: | Divisions > Division of Arts and Humanities > School of Culture and Languages |
Funders: | Leverhulme Trust (https://ror.org/012mzw131) |
Depositing User: | Jon Williamson |
Date Deposited: | 21 Jul 2009 10:13 UTC |
Last Modified: | 12 Jul 2022 10:39 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/20878 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):