Package | Description |
---|---|
net.sf.tweety.beliefdynamics | |
net.sf.tweety.beliefdynamics.kernels | |
net.sf.tweety.beliefdynamics.operators |
Modifier and Type | Class and Description |
---|---|
class |
MultipleBaseContractionOperator<T extends Formula>
This is the interface for a classic multiple belief base contraction operator, ie.
|
Modifier and Type | Field and Description |
---|---|
private BaseContractionOperator<T> |
LeviMultipleBaseRevisionOperator.contraction
The contraction operator of this Levi revision.
|
private BaseContractionOperator<T> |
LeviBaseRevisionOperator.contraction
The contraction operator of this Levi revision.
|
Constructor and Description |
---|
LeviBaseRevisionOperator(BaseContractionOperator<T> contraction,
BaseExpansionOperator<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.
|