Package | Description |
---|---|
net.sf.tweety.beliefdynamics | |
net.sf.tweety.beliefdynamics.kernels | |
net.sf.tweety.beliefdynamics.operators |
Constructor and Description |
---|
LeviMultipleBaseRevisionOperator(MultipleBaseContractionOperator<T> contraction,
MultipleBaseExpansionOperator<T> expansion)
Creates a new Levi base revision with the given contraction and expansion operators.
|
Modifier and Type | Class and Description |
---|---|
class |
KernelContractionOperator<T extends Formula>
This class implements kernel contraction for belief bases [Hansson:2001].
|
Modifier and Type | Class and Description |
---|---|
class |
RandomKernelContractionOperator
This class implements a simple kernel base contraction for propositional logic with
an incision function that randomly selects its incisions.
|