public class ClassicalInference extends Reasoner
Modifier and Type | Field and Description |
---|---|
private EntailmentRelation<PropositionalFormula> |
entailment
The actual reasoning mechanism.
|
Constructor and Description |
---|
ClassicalInference(BeliefBase beliefBase,
EntailmentRelation<PropositionalFormula> entailment) |
Modifier and Type | Method and Description |
---|---|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private EntailmentRelation<PropositionalFormula> entailment
public ClassicalInference(BeliefBase beliefBase, EntailmentRelation<PropositionalFormula> entailment)