public abstract class AbstractSatExtensionReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
AbstractSatExtensionReasoner(SatSolver solver)
Instantiates a new reasoner that uses the given SAT solver
|
Modifier and Type | Method and Description |
---|---|
Extension |
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.
|
java.util.Collection<Extension> |
getModels(DungTheory bbase)
Returns a characterizing model of the given belief base
|
PlBeliefSet |
getPropositionalCharacterisation(DungTheory aaf)
Creates a propositional representation of the set of labelings of the given
Dung theory that are consistent with the given semantics.
|
protected abstract 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, see
getPropositionalCharacterisation . |
getSimpleReasonerForSemantics, query, query
private SatSolver solver
public AbstractSatExtensionReasoner(SatSolver solver)
solver
- some AT solverpublic java.util.Collection<Extension> getModels(DungTheory bbase)
ModelProvider
getModels
in interface ModelProvider<Argument,DungTheory,Extension>
getModels
in class AbstractExtensionReasoner
bbase
- some belief basepublic PlBeliefSet getPropositionalCharacterisation(DungTheory aaf)
aaf
- a Dung Theryprotected abstract PlBeliefSet getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
getPropositionalCharacterisation
.aaf
- the Dung theoryin
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.getPropositionalCharacterisation
.public Extension getModel(DungTheory bbase)
ModelProvider
getModel
in interface ModelProvider<Argument,DungTheory,Extension>
getModel
in class AbstractExtensionReasoner