Probabilistic reasoning in a classical logic (Q2390656): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:58, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Probabilistic reasoning in a classical logic |
scientific article |
Statements
Probabilistic reasoning in a classical logic (English)
0 references
3 August 2009
0 references
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.
0 references
probabilistic reasoning
0 references
higher-order logic
0 references
integrating logic and probability
0 references
probability densities
0 references
type theory
0 references