Class | Description |
---|---|
AbstractPropositionalLogicReasoner |
Abstract class for propositional logic reasoners.
|
NaiveReasoner |
Naive classical inference (checks all interpretations for satisfiability).
|
SatReasoner |
Uses the default SAT reasoner to perform reasoning in propositional logic
|