Package net.sf.tweety.beliefdynamics.operators

Class Summary

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.