public class CompleteReasoner extends AbstractExtensionReasoner
Modifier and Type | Field and Description |
---|---|
private boolean |
useSatSolver
Whether to use the standard SAT solver instead of the brute force approach.
|
Constructor and Description |
---|
CompleteReasoner(BeliefBase beliefBase)
Creates a new complete reasoner for the given knowledge base using sceptical inference.
|
CompleteReasoner(BeliefBase beliefBase,
boolean useSatSolver)
Creates a new complete reasoner for the given knowledge base using sceptical inference.
|
CompleteReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new complete reasoner for the given knowledge base.
|
CompleteReasoner(BeliefBase beliefBase,
int inferenceType,
boolean useSatSolver)
Creates a new complete reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Extension> |
computeExtensions()
Computes the extensions this reasoner bases upon.
|
protected java.util.Set<Extension> |
computeExtensionsBySatSolving()
Computes the extensions by reducing the problem to SAT solving
|
private java.util.Set<Extension> |
getCompleteExtensions(Extension ext,
java.util.Collection<Argument> remaining)
Auxiliary method to compute all complete extensions
|
protected PlBeliefSet |
getPropositionalCharacterisationBySemantics(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 . |
getExtensions, getInferenceType, getPropositionalCharacterisation, getReasonerForSemantics, query
getKnowledgeBase
private boolean useSatSolver
public CompleteReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public CompleteReasoner(BeliefBase beliefBase, boolean useSatSolver)
beliefBase
- The knowledge base for this reasoner.useSatSolver
- whether to use the standard SAT solver instead of the brute force approach.public CompleteReasoner(BeliefBase beliefBase, int inferenceType, boolean useSatSolver)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.useSatSolver
- whether to use the standard SAT solver instead of the brute force approach.public CompleteReasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.public java.util.Set<Extension> computeExtensions()
AbstractExtensionReasoner
computeExtensions
in class AbstractExtensionReasoner
protected java.util.Set<Extension> computeExtensionsBySatSolving()
private java.util.Set<Extension> getCompleteExtensions(Extension ext, java.util.Collection<Argument> remaining)
arguments
- a set of argumentsremaining
- arguments that still have to be considered to be part of an extensionprotected PlBeliefSet getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
AbstractExtensionReasoner
getPropositionalCharacterisation
.getPropositionalCharacterisationBySemantics
in class AbstractExtensionReasoner
in
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.getPropositionalCharacterisation
.