Probabilistic reasoning in a classical logic (Q2390656)

The authors offer a view on how probability is related to logic. They argue that using higher-order logic, one can reason directly about probability densities. They develop a reasoning system which is a subset of a more general system called Bach. They therefore use a higher-order logic based on Church's theory of types. After that they give some examples as to how to reason in their system. Next they show how to represent Markov random fields, Bayesian networks and the Monty Hall Problem. Finally, they briefly discuss complexity issues of their reasoning system. It should be noted that the framework presented here is also able to handle classical non-probabilistic problems.