A decidable class of inferences in first-order objective Bayesian inductive logic

DOI10.1016/J.APAL.2025.103714MaRDI QIDQ6846018zbMATH OpenFDO

Authors Jürgen Landes, Soroush Rafiee Rad, Jon Williamson

Publication date 12 March 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103714

zbMATH Keywords

Bayesian networkdecidabilityinductive logicmaximum entropyobjective Bayesianismtruth table

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Probability and inductive logic (03B48) Quantifier elimination, model completeness, and related topics (03C10) Other infinitary logic (03C75) Reasoning under uncertainty in the context of artificial intelligence (68T37) Measures of information, entropy (94A17)

Cites work

• An efficient algorithm to compute maximum entropy densities
• Calibration and Convexity: Response to Gregory Wheeler
• Computability of optimizers
• Concerning measures in first order calculi
• Decidability and expressiveness for first-order logics of probability
• Decidability and Undecidability in Probability Logic
• Determining maximal entropy functions for objective Bayesian inductive logic
• Efficient numerical approximation of maximum entropy estimates
• scientific article; zbMATH DE number 107482 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 1095142 (Why is no real title available?)
• scientific article; zbMATH DE number 2168557 (Why is no real title available?)
• scientific article; zbMATH DE number 2107836 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• scientific article; zbMATH DE number 4188971 (Why is no real title available?)
• scientific article; zbMATH DE number 3078481 (Why is no real title available?)
• In defence of objective Bayesianism
• Lectures on inductive logic
• Objective Bayesian Calibration and the Problem of Non-convex Evidence
• Objective Bayesian nets
• Objective Bayesian Nets for Integrating Consistent Datasets
• Objective Bayesian probabilistic logic
• On a problem of formal logic.
• Probabilistic characterisation of models of first-order theories
• Probabilistic logic
• Probabilistic logics and probabilistic networks
• Pure inductive logic
• Rules of proof for maximal entropy inference
• The Uncertain Reasoner's Companion
• Towards the entropy-limit conjecture
• Über Möglichkeiten im Relativkalkül.

Cited in

(1)

• Discovering maximum entropy knowledge

This page was built for publication: A decidable class of inferences in first-order objective Bayesian inductive logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6846018)