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:
AdmissibleInterpretationReasoner
,NaiveInterpretationReasoner
,SatModelReasoner
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
-
-
Constructor Summary
Constructors Constructor Description AbstractDialecticalFrameworkReasoner()
-
Method Summary
Modifier and Type Method Description abstract Interpretation
getModel(AbstractDialecticalFramework bbase)
Returns a single (dedicated) model of the given belief base.abstract java.util.Collection<Interpretation>
getModels(AbstractDialecticalFramework bbase)
Returns a characterizing model of the given belief basejava.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.
-
-
-
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 abstract java.util.Collection<Interpretation> getModels(AbstractDialecticalFramework bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Argument,AbstractDialecticalFramework,Interpretation>
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public abstract Interpretation getModel(AbstractDialecticalFramework bbase)
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:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
-