Package net.sf.tweety.arg.dung.reasoner
Class SimpleSemiStableReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
-
- net.sf.tweety.arg.dung.reasoner.SimpleSemiStableReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<java.lang.Boolean,DungTheory,Argument>
public class SimpleSemiStableReasoner extends AbstractExtensionReasoner
This reasoner for Dung theories performs inference on the semi-stable extensions.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description SimpleSemiStableReasoner()
-
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.
-
-