public class OutputReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private java.util.Set<Proposition> |
output
The output of this reasoner.
|
private AbstractExtensionReasoner |
reasoner
The reasoner used for computing the extensions of the induced Dung theory.
|
Constructor and Description |
---|
OutputReasoner(BeliefBase beliefBase,
java.lang.Class<? extends AbstractExtensionReasoner> reasonerClass)
Creates a new reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Proposition> |
getOutput()
Returns the output this reasoner bases upon.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private java.util.Set<Proposition> output
private AbstractExtensionReasoner reasoner
public OutputReasoner(BeliefBase beliefBase, java.lang.Class<? extends AbstractExtensionReasoner> reasonerClass)
beliefBase
- a knowledge base.public Answer query(Formula query)
Reasoner
public java.util.Set<Proposition> getOutput()