Package net.sf.tweety.arg.dung.reasoner
Class SimpleSccCompleteReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
-
- net.sf.tweety.arg.dung.reasoner.SimpleSccCompleteReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<java.lang.Boolean,DungTheory,Argument>
public class SimpleSccCompleteReasoner extends AbstractExtensionReasoner
This reasoner for Dung theories performs inference on the complete extensions. Computes the set of all complete extensions, i.e., all admissible sets that contain all their acceptable arguments. Exploits the structure of the strongly-connected components (SCCs) to determine extensions.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description SimpleSccCompleteReasoner()
-
Method Summary
Modifier and Type Method Description Extension
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.java.util.Collection<Extension>
getModels(DungTheory bbase)
Returns a characterizing model of the given belief base-
Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query, query
-
-
-
-
Method Detail
-
getModels
public 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>
- Specified by:
getModels
in classAbstractExtensionReasoner
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public 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>
- Specified by:
getModel
in classAbstractExtensionReasoner
- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
-