Probabilistic reasoning in a classical logic

DOI10.1016/J.JAL.2007.11.008MaRDI QIDQ2390656zbMATH OpenOpenAlexFDO

Authors K. S. Ng, John W. Lloyd

Publication date 3 August 2009

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2007.11.008

zbMATH Keywords

higher-order logic integrating logic and probability probabilistic reasoning probability densities type theory

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

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.

Recommendations

Cites work

Cited in

(10)

Describes a project that uses

Uses Software

This page was built for publication: Probabilistic reasoning in a classical logic

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