Class CredibilityRevisionNonIterative<T extends net.sf.tweety.commons.Formula>

  • 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 Detail

      • CredibilityRevisionNonIterative

        public CredibilityRevisionNonIterative()
    • Method Detail

      • revise

        public Collection<T> revise​(Collection<T> beliefBase1,
                                    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 class CredibilityRevision<T extends net.sf.tweety.commons.Formula>
        Parameters:
        beliefBase1 - The lower priority belief base
        beliefBase2 - The higher priority belief base
        Returns:
        The belief base which is the result of the revision.