Class KernelContractionOperator<T extends Formula>
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator<T>
-
- net.sf.tweety.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
-
-
Field Summary
Fields Modifier and Type Field Description private IncisionFunction<T>
incisionFunction
The incision function of the kernel contraction.private KernelProvider<T>
kernelProvider
Used to determine kernels.
-
Constructor Summary
Constructors Constructor Description KernelContractionOperator(IncisionFunction<T> incisionFunction, KernelProvider<T> kernelProvider)
Creates a new kernel contraction operator with the given incision function.
-
Method Summary
-
Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
contract
-
-
-
-
Field Detail
-
incisionFunction
private IncisionFunction<T extends Formula> incisionFunction
The incision function of the kernel contraction.
-
kernelProvider
private KernelProvider<T extends Formula> kernelProvider
Used to determine kernels.
-
-
Constructor Detail
-
KernelContractionOperator
public KernelContractionOperator(IncisionFunction<T> incisionFunction, KernelProvider<T> kernelProvider)
Creates a new kernel contraction operator with the given incision function.- Parameters:
incisionFunction
- some incision function.kernelProvider
- the kernel provider for determining kernels.
-
-
Method Detail
-
contract
public java.util.Collection<T> contract(java.util.Collection<T> base, java.util.Collection<T> formulas)
Description copied from class:MultipleBaseContractionOperator
Contracts the first collection of formulas by the second collection of formulas.- Specified by:
contract
in classMultipleBaseContractionOperator<T extends Formula>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the contracted collection.
-
-