Package net.sf.tweety.beliefdynamics.kernels

Interface Summary

Interface	Description
IncisionFunction<T extends Formula>	This interface models an incision function for kernel contraction, ie a function that incises each of the kernel sets of some set.

Class Summary

Class	Description
KernelContractionOperator<T extends Formula>	This class implements kernel contraction for belief bases [Hansson:2001].
RandomIncisionFunction<T extends Formula>	This class implements an incision function that just randomly selects a minimal incision.