| Class | Description |
|---|---|
| ClassicalEntailment |
This class implements classical entailment for propositional logic.
|
| ClassicalInference |
This class implements the classical inference operator.
|
| NaiveReasoner |
Naive classical inference (checks all interpretations for satisfiability).
|
| PlBeliefSet |
This class represents a knowledge base of propositional formulae.
|
| SatReasoner |
Uses the default SAT reasoner to perform reasoning in propositional logic
|