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.
    • Method Detail

      • consolidate

        java.util.Collection<T> consolidate​(java.util.Collection<T> p)
        Returns a consolidation of set p, i.e. a consistent subset of p.
        Parameters:
        p - a belief base
        Returns:
        the consolidated belief base