Class ArgumentativeRevisionOperator

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<PlFormula>
org.tweetyproject.beliefdynamics.operators.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