Class CrMasArgumentativeRevisionOperator

  • All Implemented Interfaces:
    BaseRevisionOperator<InformationObject<PlFormula>>

    public class CrMasArgumentativeRevisionOperator
    extends MultipleBaseRevisionOperator<InformationObject<PlFormula>>
    This class is an exemplary instantiation of a revision operator based on deductive argumentation and credibilities 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 credibility categorizer
    Author:
    Matthias Thimm