Class ArgumentativeRevisionOperator

  • All Implemented Interfaces:
    BaseRevisionOperator<PlFormula>

    public class ArgumentativeRevisionOperator
    extends MultipleBaseRevisionOperator<PlFormula>
    This class is an exemplary instantiation of a revision operator based on deductive argumentation [Kruempelmann:2011] where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the classical categorizer
    Author:
    Matthias Thimm
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<PlFormula> revise​(java.util.Collection<PlFormula> base, java.util.Collection<PlFormula> formulas)
      Revises the first collection of formulas by the second collection of formulas.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ArgumentativeRevisionOperator

        public ArgumentativeRevisionOperator()