net.sf.tweety.logics.ml

Class IteratingMlnReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.ml.AbstractMlnReasoner

net.sf.tweety.logics.ml.IteratingMlnReasoner

public class IteratingMlnReasoner
extends AbstractMlnReasoner

This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<FolFormula,java.lang.Double>	archive For archiving previous results.
private long	numberOfIterations The number of iterations.
private AbstractMlnReasoner	reasoner The reasoner inside this reasoner.

Constructor Summary

Constructors

Constructor and Description
IteratingMlnReasoner(AbstractMlnReasoner reasoner, long numberOfIterations) Creates a new IteratingMlnReasoner for the given MLN reaasoner.

Method Summary

Modifier and Type	Method and Description
protected double	doQuery(FolFormula query) Performs the actual querying.
void	reset() Resets this reasoner (removes cached files etc.)

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

reasoner

private AbstractMlnReasoner reasoner

The reasoner inside this reasoner.

numberOfIterations

private long numberOfIterations

The number of iterations.

archive

private java.util.Map<FolFormula,java.lang.Double> archive

For archiving previous results.

Constructor Detail

IteratingMlnReasoner

public IteratingMlnReasoner(AbstractMlnReasoner reasoner,
                            long numberOfIterations)

Creates a new IteratingMlnReasoner for the given MLN reaasoner.

Parameters:

reasoner - some MLN reasoner.

numberOfIterations - the number of iterations for the reasoner

Method Detail

reset

public void reset()

Description copied from class: AbstractMlnReasoner

Resets this reasoner (removes cached files etc.)

Specified by:

reset in class AbstractMlnReasoner

doQuery

protected 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.