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 and 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