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
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.arg.dung.reasoner.AbstractSatExtensionReasoner
solver
-
-
Constructor Summary
Constructors Constructor Description SatCompleteReasoner(SatSolver solver)
Constructs a new complete reasoner.
-
Method Summary
Modifier and Type Method Description protected PlBeliefSet
getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
Returns the semantic-specific propositional characterization of the underlying Dung theory, seegetPropositionalCharacterisation
.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
-
getPropositionalCharacterisationBySemantics
protected PlBeliefSet getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
Description copied from class:AbstractSatExtensionReasoner
Returns the semantic-specific propositional characterization of the underlying Dung theory, seegetPropositionalCharacterisation
.- Specified by:
getPropositionalCharacterisationBySemantics
in classAbstractSatExtensionReasoner
- Parameters:
aaf
- the Dung theoryin
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.- Returns:
- the semantic-specific propositional characterization of the underlying Dung
theory, see
getPropositionalCharacterisation
.
-
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
-
-