Probabilistic Logic Programming under Inheritance with Overriding
<p>We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is don...
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Conference item |
| منشور في: |
Morgan Kaufmann
2001
|
| الملخص: | <p>We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze the semantic properties of the new entailment relations. We also present algorithms for probabilistic logic programming under inheritance with overriding, and we analyze its complexity in the propositional case.</p> |
|---|