Package net.sf.tweety.beliefdynamics
Class CredibilityRevisionNonIterative<T extends net.sf.tweety.commons.Formula>
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<T>
-
- net.sf.tweety.beliefdynamics.CredibilityRevision<T>
-
- net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative<T>
-
- Type Parameters:
T- The type of the belief base
- All Implemented Interfaces:
BaseRevisionOperator<T>
public abstract class CredibilityRevisionNonIterative<T extends net.sf.tweety.commons.Formula> extends CredibilityRevision<T>
Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases. It acts as base class for revision approaches which support the revision of multiple belief bases in one step.- Author:
- Tim Janus
-
-
Constructor Summary
Constructors Constructor Description CredibilityRevisionNonIterative()
-
Method Summary
Modifier and Type Method Description Collection<T>revise(Collection<T> beliefBase1, Collection<T> beliefBase2)Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.-
Methods inherited from class net.sf.tweety.beliefdynamics.CredibilityRevision
revise, revise
-
-
-
-
Method Detail
-
revise
public Collection<T> revise(Collection<T> beliefBase1, Collection<T> beliefBase2)
Description copied from class:CredibilityRevisionRevises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.- Specified by:
revisein classCredibilityRevision<T extends net.sf.tweety.commons.Formula>- Parameters:
beliefBase1- The lower priority belief basebeliefBase2- The higher priority belief base- Returns:
- The belief base which is the result of the revision.
-
-