Groupe d’études et de recherche en analyse des décisions


Models and Algorithms for Probabilistic and Bayesian Logic

, , et

An overview is given, with new results, of mathematical models and algorithms for probabilistic logic, probabilistic entailment and various extensions. Analytical and numerical solutions are considered, the former leading to automated generation of theorems in the theory of probabilities. Ways to restore consistency and relationship with belief networks (Andersen and Hooker's Bayesian logic) are also studied.

, 18 pages