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