Interface ConsolidationOperator<T extends Formula>
-
- Type Parameters:
T
- The type of formulas this consolidation operator works on.
- All Known Implementing Classes:
ScreenedMaxichoiceConsolidation
public interface ConsolidationOperator<T extends Formula>
This interface represents an consolidation operator for belief bases as defined in [KKI12].- Author:
- Sebastian Homann
-
-
Method Summary
Modifier and Type Method Description java.util.Collection<T>
consolidate(java.util.Collection<T> p)
Returns a consolidation of set p, i.e.
-