Class RandomKernelContractionOperator
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator<T>
-
- net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator<PlFormula>
-
- net.sf.tweety.beliefdynamics.operators.RandomKernelContractionOperator
-
- All Implemented Interfaces:
BaseContractionOperator<PlFormula>
public class RandomKernelContractionOperator extends KernelContractionOperator<PlFormula>
This class implements a simple kernel base contraction for propositional logic with an incision function that randomly selects its incisions.
NOTE: results of this operator are not deterministic and may not be reproduced (however, each result is a valid kernel contraction)- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description RandomKernelContractionOperator()
Creates a new contraction operator.
-
Method Summary
-
Methods inherited from class net.sf.tweety.beliefdynamics.kernels.KernelContractionOperator
contract
-
Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
contract
-
-