Package net.sf.tweety.beliefdynamics

Class CredibilityRevision<T extends Formula>

  • Type Parameters:
    T - The type of formulas of the belief bases
    All Implemented Interfaces:
    BaseRevisionOperator<T>
    Direct Known Subclasses:
    CredibilityRevisionIterative, CredibilityRevisionNonIterative
    public abstract class CredibilityRevision<T extends Formula>
extends MultipleBaseRevisionOperator<T>
    Abstract base class for a revision process on belief bases of type TBeliefBase, it provides a method to revise one belief base with another and a method to revise a ordered list of belief bases. The ordering of the list defines the credibility of the different belief bases.
    Author:
    Tim Janus

    • Method Summary

      Modifier and Type Method Description
      abstract java.util.Collection<T> revise​(java.util.Collection<T> beliefBase1, java.util.Collection<T> beliefBase2)
      Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.
      java.util.Collection<T> revise​(java.util.Collection<T> base, T formula)
      Revises the given belief base with the given formula, the credibility of the formula is higher.
      abstract java.util.Collection<T> revise​(java.util.List<java.util.Collection<T>> orderedBeliefBases)
      Revises the belief bases in the orderer list into one belief base.

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • CredibilityRevision

        public CredibilityRevision()

    • Method Detail

      • revise

        public java.util.Collection<T> revise​(java.util.Collection<T> base,
                                      T formula)
        Revises the given belief base with the given formula, the credibility of the formula is higher.
        Specified by:
        revise in interface BaseRevisionOperator<T extends Formula>
        Overrides:
        revise in class MultipleBaseRevisionOperator<T extends Formula>
        Parameters:
        base - Collection of formulas forming the basis belief base.
        formula - The formula representing the knowledge used for revision.
        Returns:
        A new belief base containing the revised knowledge.

      • revise

        public abstract java.util.Collection<T> revise​(java.util.Collection<T> beliefBase1,
                                               java.util.Collection<T> beliefBase2)
        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 MultipleBaseRevisionOperator<T extends 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.

      • revise

        public abstract java.util.Collection<T> revise​(java.util.List<java.util.Collection<T>> orderedBeliefBases)
        Revises the belief bases in the orderer list into one belief base.
        Parameters:
        orderedBeliefBases - 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.