A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Unifying Logical and Probabilistic Reasoning
[chapter]
2005
Lecture Notes in Computer Science
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
doi:10.1007/11518655_66
fatcat:sxnlzzuj7nbijjte7vrgnkeo6y