Package net.sf.tweety.arg.adf.reasoner
Class AbstractDialecticalFrameworkReasoner
- java.lang.Object
-
- net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
,QualitativeReasoner<AbstractDialecticalFramework,Argument>
,Reasoner<java.lang.Boolean,AbstractDialecticalFramework,Argument>
- Direct Known Subclasses:
AdmissibleReasoner
,CompleteReasoner
,ConflictFreeReasoner
,GroundReasoner
,ModelReasoner
,NaiveReasoner
,PipelineReasoner
,PreferredReasoner
,StableReasoner
public abstract class AbstractDialecticalFrameworkReasoner extends java.lang.Object implements QualitativeReasoner<AbstractDialecticalFramework,Argument>, ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
Ancestor class for all adf reasoner TODO: may be replaced with an interface with default implementations- Author:
- Mathias Hofer
-
-
Field Summary
Fields Modifier and Type Field Description private Pipeline<?>
computationPipeline
-
Constructor Summary
Constructors Constructor Description AbstractDialecticalFrameworkReasoner(Pipeline<?> computationPipeline)
-
Method Summary
Modifier and Type Method Description Interpretation
getModel(AbstractDialecticalFramework adf)
Returns a single (dedicated) model of the given belief base.java.util.Collection<Interpretation>
getModels(AbstractDialecticalFramework adf)
Returns a characterizing model of the given belief basejava.util.Iterator<Interpretation>
modelIterator(AbstractDialecticalFramework adf)
java.lang.Boolean
query(AbstractDialecticalFramework beliefbase, Argument formula)
Queries the given belief base for the given formula.java.lang.Boolean
query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.
-
-
-
Field Detail
-
computationPipeline
private Pipeline<?> computationPipeline
-
-
Constructor Detail
-
AbstractDialecticalFrameworkReasoner
public AbstractDialecticalFrameworkReasoner(Pipeline<?> computationPipeline)
- Parameters:
computationPipeline
-
-
-
Method Detail
-
query
public java.lang.Boolean query(AbstractDialecticalFramework beliefbase, Argument formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<AbstractDialecticalFramework,Argument>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,AbstractDialecticalFramework,Argument>
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
query
public java.lang.Boolean query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.- Parameters:
beliefbase
- an AAFformula
- a single argumentinferenceMode
- either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS- Returns:
- "true" if the argument is accepted
-
getModels
public java.util.Collection<Interpretation> getModels(AbstractDialecticalFramework adf)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
- Parameters:
adf
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public Interpretation getModel(AbstractDialecticalFramework adf)
Description copied from interface:ModelProvider
Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.- Specified by:
getModel
in interfaceModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
- Parameters:
adf
- some belief base- Returns:
- a selected model of the belief base.
-
modelIterator
public java.util.Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)
-
-