Probabilistic Logic Programming under Inheritance with Overriding
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 the principle of 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 program transformations for an increased efficiency.
Keywords: probabilistic logic programming, inheritance with overriding, probabilistic default r
PDF Link: /papers/01/p329-lukasiewicz.pdf
AUTHOR = "Thomas Lukasiewicz
TITLE = "Probabilistic Logic Programming under Inheritance with Overriding",
BOOKTITLE = "Proceedings of the Seventeenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-01)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "2001",
PAGES = "329--336"