Probabilistic Logic Programming under Inheritance with Overriding
Artificial Intelligence
2013-01-14 v1
Abstract
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.
Cite
@article{arxiv.1301.2290,
title = {Probabilistic Logic Programming under Inheritance with Overriding},
author = {Thomas Lukasiewicz},
journal= {arXiv preprint arXiv:1301.2290},
year = {2013}
}
Comments
Appears in Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI2001)