Negative probabilities in probabilistic logic programs

https://doi.org/10.1016/j.ijar.2016.10.001Get rights and content
Under an Elsevier user license
open archive

Highlights

  • Negative probabilities are essential for representing some distributions by PLPs.

  • Negative probabilities are a more expressive alternative to negations in PLP.

  • A representation for probabilistic values gives additive algebra for combining rules.

  • A canonical rule representation of CPDs using negative probabilities.

Abstract

We consider probabilistic logic programs (PLPs) for non-extreme distributions. We show that in the relational case with fixed populations, PLPs cannot represent many non-extreme distributions, even using negations. We introduce negative rule probabilities in PLPs, and show they make the language strictly more expressive. In addition, they render negations unnecessary: negations in PLPs can be translated to rules with negative probabilities, thus avoiding the problem of logical inconsistency. Furthermore, this translation keeps the PLP size compact (assuming the number of negations per rule is small). This translation algorithm also allows algorithms for exact inference that do not support negations to be applicable to PLPs with negations.

The noise probabilities for non-exclusive rules are difficult to interpret and unintuitive to manipulate. To alleviate this we define “probability-strengths”, an alternative representation for probabilistic values, which results in an intuitive additive algebra for combining rules.

For acyclic propositional PLPs we prove what constraints on the strengths allow for proper distributions on the non-noise variables and allow for all non-extreme distributions to be represented. We show how arbitrary CPDs can be converted into this form in a canonical way.

Keywords

Negative probability
Cyclic logic programs
Representation
Negation
Canonical

Cited by (0)

This paper is part of the virtual special issue on the Probabilistic Logic Programming 2015, edited by Joost Vennekens and Fabrizio Riguzzi.