کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
397565 | 1438522 | 2007 | 21 صفحه PDF | دانلود رایگان |
In previous work, I have introduced nonmonotonic probabilistic logics under variable-strength inheritance with overriding. They are formalisms for probabilistic reasoning from sets of strict logical, default logical, and default probabilistic sentences, which are parameterized through a value λ ∈ [0, 1] that describes the strength of the inheritance of default probabilistic knowledge. In this paper, I continue this line of research. I give a precise picture of the complexity of deciding consistency of strength λ and of computing tight consequences of strength λ. Furthermore, I present algorithms for these tasks, which are based on reductions to the standard problems of deciding satisfiability and of computing tight logical consequences in model–theoretic probabilistic logic. Finally, I describe the system nmproblog, which includes a prototype implementation of these algorithms.
Journal: International Journal of Approximate Reasoning - Volume 44, Issue 3, March 2007, Pages 301-321