An anytime deduction heuristic for first order probabilistic logic

This thesis describes an anytime deduction heuristic to address the decision and optimization form of the First Order Probabilistic Logic problem which was revived by Nilsson in 1986. Reasoning under uncertainty is always an important issue for AI applications, e.g., expert systems, automated theore...

Full description

Bibliographic Details
Main Author: Shahriar, Md. Istiaque
Format: Others
Published: 2008
Online Access:http://spectrum.library.concordia.ca/976310/1/MR63162.pdf
Shahriar, Md. Istiaque <http://spectrum.library.concordia.ca/view/creators/Shahriar=3AMd=2E_Istiaque=3A=3A.html> (2008) An anytime deduction heuristic for first order probabilistic logic. Masters thesis, Concordia University.