Class SCOOCNaiveReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
org.tweetyproject.arg.dung.reasoner.SCOOCNaiveReasoner
- All Implemented Interfaces:
ModelProvider<Argument,
,DungTheory, Extension<DungTheory>> PostulateEvaluatable<Argument>
,QualitativeReasoner<DungTheory,
,Argument> Reasoner<Boolean,
DungTheory, Argument>
reasoner for SCOOC-naive semantics. A naive extension E is strongly complete outside odd cycles (SCOOC)
iff every argument, which is not in an odd cycle, is either in E or attacked by E.
definition see:
Cramer, van der Torre: SCF2 – an Argumentation Semantics for Rational Human Judgments on Argument Acceptability:Technical Report 2019
- Author:
- Lars Bengel
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetModel
(DungTheory bbase) Returns a single (dedicated) model of the given belief base.getModels
(DungTheory bbase) Returns a characterizing model of the given belief baseboolean
the solver is natively installed and is therefore always installedMethods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query, query
-
Constructor Details
-
SCOOCNaiveReasoner
public SCOOCNaiveReasoner()
-
-
Method Details
-
getModels
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
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.- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
isInstalled
public boolean isInstalled()the solver is natively installed and is therefore always installed- Specified by:
isInstalled
in interfaceQualitativeReasoner<DungTheory,
Argument> - Overrides:
isInstalled
in classAbstractExtensionReasoner
- Returns:
- if the solver is installed
-