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

Class AbstractDialecticalFrameworkReasoner

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>, net.sf.tweety.commons.Reasoner<Boolean,AbstractDialecticalFramework,Argument>

Direct Known Subclasses:

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

public abstract class AbstractDialecticalFrameworkReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>, net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

Ancestor class for all adf reasoner TODO: may be replaced with an interface with default implementations

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFrameworkReasoner(Pipeline<?> computationPipeline)

Method Summary

Modifier and Type	Method	Description
Interpretation	getModel(AbstractDialecticalFramework adf)
Collection<Interpretation>	getModels(AbstractDialecticalFramework adf)
Iterator<Interpretation>	modelIterator(AbstractDialecticalFramework adf)
Boolean	query(AbstractDialecticalFramework beliefbase, Argument formula)
Boolean	query(AbstractDialecticalFramework beliefbase, Argument formula, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDialecticalFrameworkReasoner

public AbstractDialecticalFrameworkReasoner(Pipeline<?> computationPipeline)

Parameters:

computationPipeline -

Method Detail

query

public Boolean query(AbstractDialecticalFramework beliefbase,
                     Argument formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,AbstractDialecticalFramework,Argument>

query

public Boolean query(AbstractDialecticalFramework beliefbase,
                     Argument formula,
                     net.sf.tweety.commons.InferenceMode inferenceMode)

Queries the given AAF for the given argument using the given inference type.

Parameters:

beliefbase - an AAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the argument is accepted

getModels

public Collection<Interpretation> getModels(AbstractDialecticalFramework adf)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

getModel

public Interpretation getModel(AbstractDialecticalFramework adf)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

modelIterator

public Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)