Uses of Class
org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator
-
Packages that use MultipleBaseContractionOperator Package Description org.tweetyproject.beliefdynamics org.tweetyproject.beliefdynamics.kernels org.tweetyproject.beliefdynamics.operators -
-
Uses of MultipleBaseContractionOperator in org.tweetyproject.beliefdynamics
Constructors in org.tweetyproject.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 org.tweetyproject.beliefdynamics.kernels
Subclasses of MultipleBaseContractionOperator in org.tweetyproject.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 org.tweetyproject.beliefdynamics.operators
Subclasses of MultipleBaseContractionOperator in org.tweetyproject.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.
-