Package net.sf.tweety.lp.asp.beliefdynamics.baserevision

Interface ConsolidationOperator<T extends net.sf.tweety.commons.Formula>

  • Type Parameters:
    T - The type of formulas this consolidation operator works on.
    All Known Implementing Classes:
    ScreenedMaxichoiceConsolidation
    public interface ConsolidationOperator<T extends net.sf.tweety.commons.Formula>
    This interface represents an consolidation operator for belief bases as defined in [KKI12].
    Author:
    Sebastian Homann

    • Method Summary

      Modifier and Type Method Description
      Collection<T> consolidate​(Collection<T> p)
      Returns a consolidation of set p, i.e.

    • Method Detail

      • consolidate

        Collection<T> consolidate​(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