T
- the language of the underlying ABA theorypublic class WellFoundedReasoner<T extends Formula> extends GeneralABAReasoner<T>
Constructor and Description |
---|
WellFoundedReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new well-founded reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<Assumption<T>>> |
computeExtensions() |
getInferenceType, query, setInferenceType
getKnowledgeBase
public WellFoundedReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public java.util.Collection<java.util.Collection<Assumption<T>>> computeExtensions()
computeExtensions
in class GeneralABAReasoner<T extends Formula>