net.sf.tweety.logics.ml

Class AbstractMlnReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.ml.AbstractMlnReasoner

Direct Known Subclasses:

AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, IteratingMlnReasoner, NaiveMlnReasoner, SimpleSamplingMlnReasoner

public abstract class AbstractMlnReasoner
extends Reasoner

This class provides common methods for MLN reasoner.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private FolSignature	signature The signature of the reasoner.

Constructor Summary

Constructors

Constructor and Description
AbstractMlnReasoner(BeliefBase beliefBase) Creates a new reasoner for the given Markov logic network.
AbstractMlnReasoner(BeliefBase beliefBase, FolSignature signature) Creates a new reasoner for the given Markov logic network.

Method Summary

Modifier and Type	Method and Description
protected double	computeWeight(HerbrandInterpretation hInt) Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.
protected abstract double	doQuery(FolFormula query) Performs the actual querying.
protected FolSignature	getSignature() Returns the signature used for reasoning.
protected int	numberOfGroundSatisfactions(FolFormula formula, HerbrandInterpretation hInt) Computes the number of instantiations of the formula, wrt.
Answer	query(Formula query) This method determines the answer of the given query wrt.
abstract void	reset() Resets this reasoner (removes cached files etc.)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

signature

private FolSignature signature

The signature of the reasoner.

Constructor Detail

AbstractMlnReasoner

public AbstractMlnReasoner(BeliefBase beliefBase)

Creates a new reasoner for the given Markov logic network.

Parameters:

beliefBase - a Markov logic network.

AbstractMlnReasoner

public AbstractMlnReasoner(BeliefBase beliefBase,
                           FolSignature signature)

Creates a new reasoner for the given Markov logic network.

Parameters:

beliefBase - a Markov logic network.

signature - another signature (if the probability distribution should be defined on that one (that one should subsume the signature of the Markov logic network)

Method Detail

getSignature

protected FolSignature getSignature()

Returns the signature used for reasoning.

Returns:

the signature used for reasoning.

reset

public abstract void reset()

Resets this reasoner (removes cached files etc.)

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.

computeWeight

protected double computeWeight(HerbrandInterpretation hInt)

Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.

Parameters:

hInt - a Herbrand interpretation

Returns:

the (unnormalized) weight of the given Herbrand interpretation

numberOfGroundSatisfactions

protected int numberOfGroundSatisfactions(FolFormula formula,
                                          HerbrandInterpretation hInt)

Computes the number of instantiations of the formula, wrt. the given signature, that are satisfied in the given Herbrand interpretation.

Parameters:

formula - some fol formula.

hInt - a Herbrand interpretation.

Returns:

the number of instantiations of the formula, wrt. the given signature, that are satisfied in the given Herbrand interpretation.

doQuery

protected abstract double doQuery(FolFormula query)

Performs the actual querying.

Parameters:

query - a fol formula guaranteed to be ground.

Returns:

the answer of the query.