Package net.sf.tweety.arg.dung.reasoner
Class StratifiedLabelingReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.StratifiedLabelingReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,StratifiedLabeling>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<java.lang.Boolean,DungTheory,Argument>
public class StratifiedLabelingReasoner extends AbstractDungReasoner implements ModelProvider<Argument,DungTheory,StratifiedLabeling>
This class implements a stratified labeling reasoner.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description StratifiedLabelingReasoner()
Creates a new reasoner using sceptical inference and grounded semantics.StratifiedLabelingReasoner(Semantics semantics)
Creates a new reasoner for the given semantics.
-
Method Summary
Modifier and Type Method Description StratifiedLabeling
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.java.util.Collection<StratifiedLabeling>
getModels(DungTheory bbase)
Returns a characterizing model of the given belief basejava.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.
-
-
-
Constructor Detail
-
StratifiedLabelingReasoner
public StratifiedLabelingReasoner(Semantics semantics)
Creates a new reasoner for the given semantics.- Parameters:
semantics
- a semantics
-
StratifiedLabelingReasoner
public StratifiedLabelingReasoner()
Creates a new reasoner using sceptical inference and grounded semantics.
-
-
Method Detail
-
getModels
public java.util.Collection<StratifiedLabeling> getModels(DungTheory bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<Argument,DungTheory,StratifiedLabeling>
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public StratifiedLabeling 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,StratifiedLabeling>
- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
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
-
-