Class  Description 

ArgumentativeRevisionOperator 
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

CrMasArgumentativeRevisionOperator 
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

CrMasSimpleRevisionOperator 
This revision operator accepts only those pieces of information for revision where the credibility
of the source is at least as high as the credibility of the agent which proves the complement.

RandomKernelContractionOperator 
This class implements a simple kernel base contraction for propositional logic with
an incision function that randomly selects its incisions.
