Class SatCompleteReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
org.tweetyproject.arg.dung.reasoner.SatCompleteReasoner
- All Implemented Interfaces:
ModelProvider<Argument,ArgumentationFramework,Extension>
,PostulateEvaluatable<Argument>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<Boolean,DungTheory,Argument>
Uses a SAT solver to determine complete extensions.
- Author:
- Matthias Thimm
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionquery(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractSatExtensionReasoner
getModel, getModels, getPropositionalCharacterisation
Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query
-
Constructor Details
-
SatCompleteReasoner
Constructs a new complete reasoner.- Parameters:
solver
- the SAT solver this reasoner uses.
-
-
Method Details
-
query
Description copied from class:AbstractExtensionReasoner
Queries the given AAF for the given argument using the given inference type.- Overrides:
query
in classAbstractExtensionReasoner
- Parameters:
beliefbase
- an AAFformula
- a single argumentinferenceMode
- either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS- Returns:
- "true" if the argument is accepted
-