Package net.sf.tweety.arg.dung.reasoner
Class SemiQualifiedReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
-
- net.sf.tweety.arg.dung.reasoner.SemiQualifiedReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<java.lang.Boolean,DungTheory,Argument>
public class SemiQualifiedReasoner extends AbstractExtensionReasoner
Reasoner for semi-qualified sigma-semantics. If sigma is a scc-decomposable semantics this reasoner will compute the qualified extensions for the semantics. In qualified semantics a undecided argument x is treated as out iff there are no other possible labelings where x is in. This means an argument y attacked by x and in a different scc can still be accepted(in) iff x is undecided or out in all possible labelings. see: TODO add reference- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description SemiQualifiedReasoner(Semantics semantics)
initialize reasoner with the given semantics as base function.
-
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
-
-
-
-
Constructor Detail
-
SemiQualifiedReasoner
public SemiQualifiedReasoner(Semantics semantics)
initialize reasoner with the given semantics as base function. Will only produce meaningful results if the given semantics is SCC-decomposable- Parameters:
semantics
- a scc-decomposable semantics
-
-
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.
-
-