Class KernelContractionOperator<T extends Formula>

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator<T>
org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator<T>
Type Parameters:
T - The type of formulas that this operator works on.
All Implemented Interfaces:
BaseContractionOperator<T>
Direct Known Subclasses:
RandomKernelContractionOperator

public class KernelContractionOperator<T extends Formula> extends MultipleBaseContractionOperator<T>
This class implements kernel contraction for belief bases [Hansson:2001]. That is, contraction is realized by determining the set of kernel for the contraction, ie. the set of all minimal proofs for the formulas to be contracted, and then removing one formula from each kernel using an incision function.
Author:
Matthias Thimm