Nonmonotonic Probabilistic Logics under Variable−Strength Inheritance with Overriding: Algorithms and Implementation in NMPROBLOG

<p>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 val...