Probabilities on sentences in an expressive logic

DOI10.1016/j.jal.2013.03.003zbMath1284.03161arXiv1209.2620OpenAlexW2163068690WikidataQ58012255 ScholiaQ58012255MaRDI QIDQ2446673

K. S. Ng, Marcus Hutter, William T. B. Uther, John W. Lloyd

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1209.2620

zbMATH Keywords

entropylearningknowledgehigher-order logicconfirmationinductionpriorCournotGaifmanprobability on sentences

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

Unnamed Item

Uses Software

• ETPS
• IBAL
• Church
• BLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A philosophical treatise of universal induction
• An analysis of first-order logics of probability
• Probabilistic modelling, inference and learning using logical theories
• The seven virtues of simple type theory
• Probabilistic logic
• I-divergence geometry of probability distributions and minimization problems
• An introduction to mathematical logic and type theory: To truth through proof.
• Probabilistic reasoning in a classical logic
• Markov logic networks
• Concerning measures in first order calculi
• Objective Bayesian probabilistic logic
• Probabilities over rich languages, testing and randomness
• Reasoning about knowledge and probability
• The Uncertain Reasoner's Companion
• Real Analysis and Probability
• First-Order Probabilistic Languages: Into the Unknown
• Completeness in the theory of types
• On the axiomatic treatment of probability