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
    Returns a consolidation of set p, i.e.
  • Method Details

    • 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