Package net.sf.tweety.arg.dung.reasoner
Class SatCompleteReasoner
- java.lang.Object
-
- net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
-
- net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
-
- net.sf.tweety.arg.dung.reasoner.SatCompleteReasoner
-
- All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension>
,QualitativeReasoner<DungTheory,Argument>
,Reasoner<java.lang.Boolean,DungTheory,Argument>
public class SatCompleteReasoner extends AbstractSatExtensionReasoner
Uses a SAT solver to determine complete extensions.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description SatCompleteReasoner(SatSolver solver)
Constructs a new complete reasoner.
-
Method Summary
Modifier and Type Method Description java.lang.Boolean
query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.-
Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
getModel, getModels, getPropositionalCharacterisation
-
Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query
-
-
-
-
Constructor Detail
-
SatCompleteReasoner
public SatCompleteReasoner(SatSolver solver)
Constructs a new complete reasoner.- Parameters:
solver
- the SAT solver this reasoner uses.
-
-
Method Detail
-
query
public java.lang.Boolean query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
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
-
-