Package org.tweetyproject.lp.asp.beliefdynamics.baserevision

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