Class CrMasArgumentativeRevisionOperator
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<InformationObject<PlFormula>>
-
- net.sf.tweety.beliefdynamics.operators.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
-
-
Constructor Summary
Constructors Constructor Description CrMasArgumentativeRevisionOperator()
-
Method Summary
Modifier and Type Method Description java.util.Collection<InformationObject<PlFormula>>
revise(java.util.Collection<InformationObject<PlFormula>> base, java.util.Collection<InformationObject<PlFormula>> formulas)
Revises the first collection of formulas by the second collection of formulas.-
Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
revise
-
-
-
-
Method Detail
-
revise
public java.util.Collection<InformationObject<PlFormula>> revise(java.util.Collection<InformationObject<PlFormula>> base, java.util.Collection<InformationObject<PlFormula>> formulas)
Description copied from class:MultipleBaseRevisionOperator
Revises the first collection of formulas by the second collection of formulas.- Specified by:
revise
in classMultipleBaseRevisionOperator<InformationObject<PlFormula>>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the revised collection.
-
-