public abstract class Reasoner
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private BeliefBase |
beliefBase
The knowledge base on which reasoning is performed.
|
Constructor and Description |
---|
Reasoner(BeliefBase beliefBase)
Creates a new reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
BeliefBase |
getKnowledgeBase()
Returns the knowledge base of this reasoner.
|
abstract Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
private BeliefBase beliefBase
public Reasoner(BeliefBase beliefBase)
beliefBase
- a knowledge base.public abstract Answer query(Formula query)
query
- a query.public BeliefBase getKnowledgeBase()