Package net.sf.tweety.arg.adf.reasoner

Class AbstractDialecticalFrameworkReasoner

java.lang.Object

net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

Direct Known Subclasses:

AdmissibleReasoner, CompleteReasoner, ConflictFreeReasoner, GroundReasoner, ModelReasoner, NaiveReasoner, PreferredReasoner, StableReasoner

public abstract class AbstractDialecticalFrameworkReasoner
extends java.lang.Object

Ancestor class for all adf reasoner

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFrameworkReasoner(Pipeline computationPipeline)

Method Summary

Modifier and Type	Method	Description
Interpretation	getModel(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>	getModels(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>	modelIterator(AbstractDialecticalFramework adf)
java.lang.Boolean	query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean	query(AbstractDialecticalFramework adf, Argument argument, InferenceMode inferenceMode)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDialecticalFrameworkReasoner

public AbstractDialecticalFrameworkReasoner(Pipeline computationPipeline)

Parameters:

computationPipeline - the pipeline which is used to compute the models

Method Detail

query

public java.lang.Boolean query(AbstractDialecticalFramework beliefbase,
                               Argument formula)

query

public java.lang.Boolean query(AbstractDialecticalFramework adf,
                               Argument argument,
                               InferenceMode inferenceMode)

Parameters:

adf - the ADF

argument - the query argument

inferenceMode - the mode of the query

Returns:

true iff the query was successful

getModels

public java.util.Collection<Interpretation> getModels(AbstractDialecticalFramework adf)

getModel

public Interpretation getModel(AbstractDialecticalFramework adf)

modelIterator

public java.util.Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)