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 | 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.
|