net.sf.tweety.logics.ml

Class NaiveMlnReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.ml.AbstractMlnReasoner

net.sf.tweety.logics.ml.NaiveMlnReasoner

public class NaiveMlnReasoner
extends AbstractMlnReasoner

Author:

mthimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.io.File	archivedFile If the model has already been computed this file contains it.
private java.lang.String	tempDirectory Directory for temporary files.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
private java.io.File	computeModel() Computes the model of the given MLN.
double	doQuery(FolFormula query) Performs the actual querying.
private HerbrandInterpretation	parseInterpretation(java.lang.String str) Constructs a Herbrand interpretation from the given string
void	reset() Resets this reasoner (removes cached files etc.)
void	setTempDirectory(java.lang.String str) Sets the path of the directory for temporary files.

Methods inherited from class net.sf.tweety.logics.ml.AbstractMlnReasoner

computeWeight, getSignature, numberOfGroundSatisfactions, query

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

tempDirectory

private java.lang.String tempDirectory

Directory for temporary files.

archivedFile

private java.io.File archivedFile

If the model has already been computed this file contains it.

Constructor Detail

NaiveMlnReasoner

public NaiveMlnReasoner(BeliefBase beliefBase)

Creates a new NaiveMlnReasoner for the given Markov logic network.

Parameters:

beliefBase - a Markov logic network.

NaiveMlnReasoner

public NaiveMlnReasoner(BeliefBase beliefBase,
                        FolSignature signature)

Creates a new NaiveMlnReasoner 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

reset

public void reset()

Description copied from class: AbstractMlnReasoner

Resets this reasoner (removes cached files etc.)

Specified by:

reset in class AbstractMlnReasoner

setTempDirectory

public void setTempDirectory(java.lang.String str)

Sets the path of the directory for temporary files.

Parameters:

str - a file path

computeModel

private java.io.File computeModel()

Computes the model of the given MLN.

Returns:

a file where the model is stored.

doQuery

public double doQuery(FolFormula query)

Description copied from class: AbstractMlnReasoner

Performs the actual querying.

Specified by:

doQuery in class AbstractMlnReasoner

Parameters:

query - a fol formula guaranteed to be ground.

Returns:

the answer of the query.

parseInterpretation

private HerbrandInterpretation parseInterpretation(java.lang.String str)

Constructs a Herbrand interpretation from the given string

Parameters:

str - a string.

Returns:

a Herbrand interpretation