Package | Description |
---|---|
net.sf.tweety.beliefdynamics.kernels | |
net.sf.tweety.logics.pl |
Modifier and Type | Field and Description |
---|---|
private EntailmentRelation<T> |
KernelContractionOperator.entailmentRelation
Used to determine kernels.
|
Constructor and Description |
---|
KernelContractionOperator(IncisionFunction<T> incisionFunction,
EntailmentRelation<T> entailmentRelation)
Creates a new kernel contraction operator with the given incision function.
|
Modifier and Type | Class and Description |
---|---|
class |
ClassicalEntailment
This class implements classical entailment for propositional logic.
|
Modifier and Type | Field and Description |
---|---|
private EntailmentRelation<PropositionalFormula> |
ClassicalInference.entailment
The actual reasoning mechanism.
|
Constructor and Description |
---|
ClassicalInference(BeliefBase beliefBase,
EntailmentRelation<PropositionalFormula> entailment) |