Package net.sf.tweety.arg.dung.reasoner
Class AbstractExtensionReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<java.lang.Boolean,DungTheory,Argument>
- Direct Known Subclasses:
AbstractSatExtensionReasoner
,NaiveReasoner
,ProboReasoner
,QualifiedReasoner
,SccCF2Reasoner
,SCF2Reasoner
,SCOOCNaiveReasoner
,SemiQualifiedReasoner
,SimpleAdmissibleReasoner
,SimpleCompleteReasoner
,SimpleConflictFreeReasoner
,SimpleGroundedReasoner
,SimpleIdealReasoner
,SimplePreferredReasoner
,SimpleSccCompleteReasoner
,SimpleSemiStableReasoner
,SimpleStableReasoner
,SimpleStageReasoner
,Stage2Reasoner
,WeaklyAdmissibleReasoner
public abstract class AbstractExtensionReasoner extends AbstractDungReasoner implements ModelProvider<Argument,DungTheory,Extension>
Ancestor class for all extension-based reasoners.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractExtensionReasoner()
-
Method Summary
Modifier and Type Method Description abstract Extension
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.abstract java.util.Collection<Extension>
getModels(DungTheory bbase)
Returns a characterizing model of the given belief basestatic AbstractExtensionReasoner
getSimpleReasonerForSemantics(Semantics semantics)
Creates a reasoner for the given semantics.java.lang.Boolean
query(DungTheory beliefbase, Argument formula)
Queries the given belief base for the given formula.java.lang.Boolean
query(DungTheory 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(DungTheory beliefbase, Argument formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<DungTheory,Argument>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,DungTheory,Argument>
- Specified by:
query
in classAbstractDungReasoner
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
query
public java.lang.Boolean query(DungTheory 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
-
getSimpleReasonerForSemantics
public static AbstractExtensionReasoner getSimpleReasonerForSemantics(Semantics semantics)
Creates a reasoner for the given semantics.- Parameters:
semantics
- a semantics- Returns:
- a reasoner for the given Dung theory, inference type, and semantics
-
getModels
public abstract java.util.Collection<Extension> getModels(DungTheory bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Argument,DungTheory,Extension>
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public abstract Extension getModel(DungTheory 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,DungTheory,Extension>
- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
-