Unifying logical and probabilistic reasoning

Authors:
Rolf Haenni
Affiliations:
Institute of Computer Science and Apllied Mathemathics, University of Berne, Berne, Switzerland
Venue:
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2005

Citing 13
Cited 0

Probabilistic logic

Artificial Intelligence
Higher order probability and intervals

International Journal of Approximate Reasoning
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
An analysis of first-order logics of probability

Artificial Intelligence
Uncertainty, belief, and probability

Computational Intelligence
Understanding evidential reasoning

International Journal of Approximate Reasoning - Special issue: The belief functions revisited: questions and answers
The transferable belief model

Artificial Intelligence
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Probability and logic

Journal of Applied Logic - Special issue on combining probability and logic
Probabilistic argumentation systems a new way to combine logic with probability

Journal of Applied Logic - Special issue on combining probability and logic
Bayesian Nets And Causality: Philosophical And Computational Foundations

Bayesian Nets And Causality: Philosophical And Computational Foundations
Using probabilistic argumentation for key validation in public-key cryptography

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most formal techniques of automated reasoning are either rooted in logic or in probability theory. These areas have a long tradition in science, particularly among philosophers and mathematicians. More recently, computer scientists have discovered logic and probability theory to be the two key techniques for building intelligent systems which rely on reasoning as a central component. Despite numerous attempts to link logical and probabilistic reasoning, a satisfiable unified theory of reasoning is still missing. This paper analyses the connection between logical and probabilistic reasoning, it discusses their respective similarities and differences, and proposes a new unified theory of reasoning in which both logic and probability theory are contained as special cases.