G-95-02
Models and Algorithms for Probabilistic and Bayesian Logic
, , et référence BibTeX
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.
Paru en janvier 1995 , 18 pages