T
- the language of the underlying ABA theorypublic abstract class GeneralABAReasoner<T extends Formula> extends Reasoner
Modifier and Type | Field and Description |
---|---|
private int |
inferenceType |
Constructor and Description |
---|
GeneralABAReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new general reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
abstract java.util.Collection<java.util.Collection<Assumption<T>>> |
computeExtensions() |
int |
getInferenceType() |
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
void |
setInferenceType(int inferenceType) |
getKnowledgeBase
public GeneralABAReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public int getInferenceType()
public void setInferenceType(int inferenceType)
inferenceType
- the inferenceType to setpublic abstract java.util.Collection<java.util.Collection<Assumption<T>>> computeExtensions()