public abstract class AbstractPropositionalLogicReasoner extends java.lang.Object implements QualitativeReasoner<PlBeliefSet,PropositionalFormula>, KernelProvider<PropositionalFormula>
Constructor and Description |
---|
AbstractPropositionalLogicReasoner() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<java.util.Collection<PropositionalFormula>> |
getKernels(java.util.Collection<PropositionalFormula> formulas,
PropositionalFormula formula)
Retrieves the set of kernels for the given formula
from the given set of formulas.
|
boolean |
isEquivalent(PropositionalFormula p1,
PropositionalFormula p2)
Checks whether the two formulas are equivalent
|
abstract java.lang.Boolean |
query(PlBeliefSet beliefbase,
PropositionalFormula formula)
Queries the given belief base for the given formula.
|
boolean |
query(PropositionalFormula formula,
PropositionalFormula formula2)
Checks whether the first formula entails the second.
|
public abstract java.lang.Boolean query(PlBeliefSet beliefbase, PropositionalFormula formula)
Reasoner
query
in interface QualitativeReasoner<PlBeliefSet,PropositionalFormula>
query
in interface Reasoner<java.lang.Boolean,PlBeliefSet,PropositionalFormula>
beliefbase
- a belief baseformula
- a formulapublic boolean query(PropositionalFormula formula, PropositionalFormula formula2)
formula
- some formulaformula
- a formulapublic boolean isEquivalent(PropositionalFormula p1, PropositionalFormula p2)
p1
- p2
- public java.util.Collection<java.util.Collection<PropositionalFormula>> getKernels(java.util.Collection<PropositionalFormula> formulas, PropositionalFormula formula)
KernelProvider
getKernels
in interface KernelProvider<PropositionalFormula>
formulas
- a set of formulas.formula
- a formula.