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

  • Type Parameters:
    T - The type of the belief bases
    All Implemented Interfaces:
    BaseRevisionOperator<T>

    public abstract class CredibilityRevisionIterative<T extends net.sf.tweety.commons.Formula>
    extends CredibilityRevision<T>
    Implements the list based method of the Revision interface by iterative calling the revision method which revise two belief bases. Acts as a base class for iterative revision processes.
    Author:
    Tim Janus
    • Constructor Detail

      • CredibilityRevisionIterative

        public CredibilityRevisionIterative()
    • Method Detail

      • revise

        public Collection<T> revise​(List<Collection<T>> ordererList)
        Description copied from class: CredibilityRevision
        Revises the belief bases in the orderer list into one belief base.
        Specified by:
        revise in class CredibilityRevision<T extends net.sf.tweety.commons.Formula>
        Parameters:
        ordererList - An orderer list of belief bases which assumes that belief bases with a lower index have a lower priority.
        Returns:
        The belief base which is the result of the revision.