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

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(net.sf.tweety.logics.fol.syntax.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

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(net.sf.tweety.logics.fol.syntax.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.