Class CredibilityRevision<T extends Formula>

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T>
org.tweetyproject.beliefdynamics.CredibilityRevision<T>
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
  • Constructor Details

    • CredibilityRevision

      public CredibilityRevision()
  • Method Details

    • revise

      public Collection<T> revise(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 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.
      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 Collection<T> revise(List<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.