Interface BaseRevisionOperator<T extends Formula>

Type Parameters:
T - The type of formulas that this operator works on.
All Known Implementing Classes:
ArgumentativeRevisionOperator, CredibilityRevision, CredibilityRevision, CredibilityRevisionIterative, CredibilityRevisionNonIterative, CrMasArgumentativeRevisionOperator, CrMasRevisionWrapper, CrMasSimpleRevisionOperator, ELPBaseRevisionOperator, LeviBaseRevisionOperator, LeviMultipleBaseRevisionOperator, MultipleBaseRevisionOperator, MultipleSelectiveRevisionOperator, ParameterisedArgumentativeSelectiveRevisionOperator, PreferenceHandling, SelectiveRevisionOperator

public interface BaseRevisionOperator<T extends Formula>
This is the interface for a classic belief base revision operator, ie. an operator that takes some set of formulas and a single formula and revises the former by the latter.
Author:
Matthias Thimm
  • Method Summary

    Modifier and Type
    Method
    Description
    revise(Collection<T> base, T formula)
    Revises the given collection of formulas by the given formula.
  • Method Details

    • revise

      Collection<T> revise(Collection<T> base, T formula)
      Revises the given collection of formulas by the given formula.
      Parameters:
      base - some collection of formulas.
      formula - a formula
      Returns:
      the revised collection.