Class RandomKernelContractionOperator

java.lang.Object
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