Probabilistic soft logic


Probabilistic Soft Logic is a SRL framework for modeling probabilistic and relational domains.
It is applicable to a variety of machine learning problems, such as collective classification, entity resolution, link prediction, and ontology alignment.
PSL combines two tools: first-order logic, with its ability to succinctly represent complex phenomena, and probabilistic graphical models, which capture the uncertainty and incompleteness inherent in real-world knowledge.
More specifically, PSL uses "soft" logic as its logical component and Markov random fields as its statistical model.
PSL provides sophisticated inference techniques for finding the most likely answer.
The "softening" of the logical formulas makes inference a polynomial time operation rather than an NP-hard operation.

Description

The SRL community has introduced multiple approaches that combine graphical models and first-order logic to allow the development of complex probabilistic models with relational structures.
A notable example of such approaches is Markov logic networks.
Like MLNs, PSL is a modelling language for learning and predicting in relational domains.
Unlike MLNs, PSL uses soft truth values for predicates in an interval between .
This allows for the underlying inference to be solved quickly as a convex optimization problem.
This is useful in problems such as collective classification, link prediction, social network modelling, and object identification/entity resolution/record linkage.
Probabilistic Soft Logic was first released in 2009 by Lise Getoor and Matthias Broecheler.
This first version focused heavily on reasoning about similarities between entities.
Later versions of PSL would still keep the ability to reason about similarities, but generalize the language to be more expressive.
In 2017, a Journal of Machine Learning Research article detailing PSL and the underlying graphical model was published along with the release of a new major version of PSL.
The major new features in PSL 2.0.0 was a new type of rule mainly used in specifying constraints and a command-line interface.

Syntax and Semantics

Terminology

A PSL model is composed of a series of weighted rules and constraints.
PSL supports two types of rules: Logical and Arithmetic.
Logical rules are composed of an implication with only a single atom or a conjunction of atoms in the body and a single atom or a disjunction of atoms in the head.
Since PSL uses soft logic, hard logic operators are replaced with Łukasiewicz soft logical operators.
An example of a logical rule expression is:

Similar & HasLabel -> HasLabel

This rule can be interpreted to mean: If A and B are similar and A has the label X, then there is evidence that B also has the label X.
Arithmetic rules are relations of two linear combinations of atoms.
Restricting each side to a linear combination ensures that the resulting potential is convex.
The following relational operators are supported: =, <=, and >=.

Similar = Similar

This rule encodes the notion that similarity is symmetric in this model.
A commonly used feature of arithmetic rules is the summation operation.
The summation operation can be used to aggregate multiple atoms.
When used, the atom is replaced with the sum of all possible atoms where the non-summation variables are fixed.
Summation variables are made by prefixing a variable with a +.
Fox example:

HasLabel = 1.0

If the possible values for X are label1, label2, and label3, then the above rule is equivalent to:

HasLabel + HasLabel + HasLabel = 1.0

Both of these rules force the sum of all possible labels for an entity to sum to 1.0.
This type of rule is especially useful for collective classification problems, where only one class can be selected.

Semantics

HL-MRF

A PSL program defines a family of probabilistic graphical models that are parameterized by data.
More specifically, the family of graphical models it defines belongs to a special class of Markov random field known as a Hinge-Loss Markov Field.
An HL-MRF determines a density function over a set of continuous variables with joint domain using set of evidence, weights, and potential functions of the form where is a linear function and.
The conditional distribution of given the observed data is defined as
Where is the partition function.
This density is a logarithmically convex function, and thus the common inference task in PSL of finding a maximum a posteriori estimation of the joint state of is a convex problem.
This allows inference in PSL to be achievable in polynomial-time.

Open/Closed Predicates -- Closed World Assumption

Predicates in PSL can be labeled as open or closed.
When a predicate is labeled closed, PSL makes the closed-world assumption: any predicates that are not explicitly provided to PSL are assumed to be false.
In other words, the closed world assumption presumes that a predicate that is partially true is also known to be partially true.
For example, if we had the following constants in the data for representing people: and the following constant for movies:, and we provided PSL with the predicate data and was labeled closed, then PSL would assume that even though this data was never explicitly provided to the system.
If a predicate is labeled as open, then PSL does not make the closed-world assumption. Instead, PSL will attempt to collectively infer the unobserved instances.

Grounding

Data is used to instantiate several potential functions in a process called grounding.
The resulting potential functions are then used to define the HL-MRF.
Grounding predicates in PSL is the process of making all possible substitutions of the variables in each predicate with the existing constants in the data, resulting in a collection of ground atoms,.
Then, all possible substitutions of the ground atoms for the predicates in the rules are made to create ground rules.
Each of the ground rules are interpreted as either potentials or hard constraints in the induced HL-MRF.
A logical rule is translated as a continuous relaxation of Boolean connectives using Łukasiewicz logic.
A ground logical rule is transformed into its disjunctive normal form.
Let be the set of indices of the variables that correspond to atoms that are not negated, and, likewise the set of indices corresponding to atoms that are negated, in the disjunctive clause.
Then the logical rule maps to the inequality:
If the logical rule is weighted with a weight and exponentiated with, then the potential
is added to the HL-MRF with a weight parameter of.
An arithmetic rule is manipulated to and the resulting potential takes the form.

Interfaces

PSL is available via three different language interfaces: CLI, Java, and Python.
PSL's command line interface is the recommended way to use PSL.
It supports all the features commonly used in a reproducible form that does not require compilation.
Since PSL is written in Java, the PSL Java interface is the most expansive and users can call directly into the core of PSL.
The Java interface is available through the Maven central repository.
The PSL Python interface is available through PyPi
and uses pandas DataFrames to pass data between PSL and the user.
PSL previously provided a Groovy interface.
It has been deprecated in 2.2.1 release of PSL, and is scheduled to be removed in the 2.3.0 release.

Examples

The LINQS lab, developers of the official PSL implementation, maintain a collection of PSL examples.
These examples cover both synthetic and real-world datasets and include examples from academic publications using PSL.
Below is a toy example from this repository that can be used to infer relations in a social network.
Along with each rule is a comment describing the motivating intuition behind the statements.

/* People living in the same location are more likely to know one another. */
20: Lived & Lived & -> Knows ^2
/* People who have not lived in the same location are not likely to know one another. */
5: Lived & Lived & & -> !Knows ^2
/* Two people with similar interests are more likely to know one another. */
10: Likes & Likes & -> Knows ^2
/* People in the same circles tend to know one another. */
5: Knows & Knows & -> Knows ^2
/* Knowing one another is symmetric. */
Knows = Knows.
/* By default, assume that two arbitrary people do not know one another. */
5: !Knows ^2