public class RelevanceReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private ClBeliefSet |
extension
The extension of the knowledgebase.
|
Constructor and Description |
---|
RelevanceReasoner(BeliefBase beliefBase)
Creates a new relevance reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
private ClBeliefSet |
computeExtension()
Computes the extended knowledge base this reasoner bases on.
|
ClBeliefSet |
getExtension()
Returns the extended knowledge base this reasoner bases on.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private ClBeliefSet extension
public RelevanceReasoner(BeliefBase beliefBase)
beliefBase
- a knowledge base.public Answer query(Formula query)
Reasoner
public ClBeliefSet getExtension()
private ClBeliefSet computeExtension()