Package net.sf.tweety.beliefdynamics
Class CredibilityRevisionNonIterative<T extends 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>
- Direct Known Subclasses:
CredibilityRevision
public abstract class CredibilityRevisionNonIterative<T extends 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
-
Methods inherited from class net.sf.tweety.beliefdynamics.CredibilityRevision
revise, revise
-
-
-
-
Method Detail
-
revise
public java.util.Collection<T> revise(java.util.Collection<T> beliefBase1, java.util.Collection<T> beliefBase2)
Description copied from class:CredibilityRevision
Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.- Specified by:
revise
in classCredibilityRevision<T extends Formula>
- Parameters:
beliefBase1
- The lower priority belief basebeliefBase2
- The higher priority belief base- Returns:
- The belief base which is the result of the revision.
-
-