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 net.sf.tweety.commons.Reasoner

This class provides common methods for MLN reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractMlnReasoner(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new reasoner for the given Markov logic network.
AbstractMlnReasoner(net.sf.tweety.commons.BeliefBase beliefBase, net.sf.tweety.logics.fol.syntax.FolSignature signature) Creates a new reasoner for the given Markov logic network.

Method Summary

Modifier and Type	Method and Description
protected double	computeWeight(net.sf.tweety.logics.fol.semantics.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(net.sf.tweety.logics.fol.syntax.FolFormula query) Performs the actual querying.
protected net.sf.tweety.logics.fol.syntax.FolSignature	getSignature() Returns the signature used for reasoning.
protected int	numberOfGroundSatisfactions(net.sf.tweety.logics.fol.syntax.FolFormula formula, net.sf.tweety.logics.fol.semantics.HerbrandInterpretation hInt) Computes the number of instantiations of the formula, wrt.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)
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

Constructor Detail

AbstractMlnReasoner

public AbstractMlnReasoner(net.sf.tweety.commons.BeliefBase beliefBase)

Creates a new reasoner for the given Markov logic network.

Parameters:

beliefBase - a Markov logic network.

AbstractMlnReasoner

public AbstractMlnReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                           net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner

computeWeight

protected double computeWeight(net.sf.tweety.logics.fol.semantics.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(net.sf.tweety.logics.fol.syntax.FolFormula formula,
                                          net.sf.tweety.logics.fol.semantics.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(net.sf.tweety.logics.fol.syntax.FolFormula query)

Performs the actual querying.

Parameters:

query - a fol formula guaranteed to be ground.

Returns:

the answer of the query.