Class SimpleNaiveSetAfReasoner
java.lang.Object
org.tweetyproject.arg.setaf.reasoners.AbstractSetAfReasoner
org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner
org.tweetyproject.arg.setaf.reasoners.SimpleNaiveSetAfReasoner
- All Implemented Interfaces:
ModelProvider<Argument,
,SetAf, Extension<SetAf>> PostulateEvaluatable<Argument>
,QualitativeReasoner<SetAf,
,Argument> Reasoner<Boolean,
SetAf, Argument>
Reasoner for naive extensions. naive extensions are maximal conflict-free sets
- Author:
- Lars Bengel, Sebastian Franke
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetMaximalConflictFreeSets
(SetAf bbase, Collection<Argument> candidates) computes all maximal conflict-free sets of bbaseReturns a single (dedicated) model of the given belief base.Returns a characterizing model of the given belief baseboolean
Methods inherited from class org.tweetyproject.arg.setaf.reasoners.AbstractExtensionSetAfReasoner
getSimpleReasonerForSemantics, query, query
-
Constructor Details
-
SimpleNaiveSetAfReasoner
public SimpleNaiveSetAfReasoner()
-
-
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.
-
getMaximalConflictFreeSets
public Collection<Extension<SetAf>> getMaximalConflictFreeSets(SetAf bbase, Collection<Argument> candidates) computes all maximal conflict-free sets of bbase- Parameters:
bbase
- an argumentation frameworkcandidates
- a set of arguments- Returns:
- conflict-free sets in bbase
-
isInstalled
public boolean isInstalled()- Returns:
- if the solver is installed
-