Package org.tweetyproject.beliefdynamics

Class MultipleBaseRevisionOperator<T extends Formula>

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T>
Type Parameters:
T - The type of formulas that this operator works on.
All Implemented Interfaces:
BaseRevisionOperator<T>
Direct Known Subclasses:
ArgumentativeRevisionOperator, CredibilityRevision, CrMasArgumentativeRevisionOperator, CrMasRevisionWrapper, CrMasSimpleRevisionOperator, ELPBaseRevisionOperator, LeviMultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator, ParameterisedArgumentativeSelectiveRevisionOperator
public abstract class MultipleBaseRevisionOperator<T extends Formula> extends Object implements BaseRevisionOperator<T>
This is the interface for a classic multiple belief base revision operator, ie. an operator that takes some set of formulas and another set of formulas and revises the former by the latter.
Author:
Matthias Thimm

  • Constructor Details

    • MultipleBaseRevisionOperator

      public MultipleBaseRevisionOperator()

  • Method Details

    • revise

      public Collection<T> revise(Collection<T> base, T formula)
      Description copied from interface: BaseRevisionOperator
      Revises the given collection of formulas by the given formula.
      Specified by:
      revise in interface BaseRevisionOperator<T extends Formula>
      Parameters:
      base - some collection of formulas.
      formula - a formula
      Returns:
      the revised collection.

    • revise

      public abstract Collection<T> revise(Collection<T> base, Collection<T> formulas)
      Revises the first collection of formulas by the second collection of formulas.
      Parameters:
      base - some collection of formulas.
      formulas - some formulas.
      Returns:
      the revised collection.