Class ArgumentativeTransformationFunction
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
-
- All Implemented Interfaces:
MultipleTransformationFunction<PlFormula>
public class ArgumentativeTransformationFunction extends java.lang.Object implements MultipleTransformationFunction<PlFormula>
This class implements the argumentative transformation functions proposed in [Kruempelmann:2011].- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description private Accumulator
accumulator
The accumulator used by this transformation function.private PlBeliefSet
beliefSet
The belief set used by this transformation function.private Categorizer
categorizer
The categorizer used by this transformation function.private boolean
isSkeptical
Whether this transformation function is skeptical.
-
Constructor Summary
Constructors Constructor Description ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)
Creates a new argumentative transformation function.
-
-
-
Field Detail
-
categorizer
private Categorizer categorizer
The categorizer used by this transformation function.
-
accumulator
private Accumulator accumulator
The accumulator used by this transformation function.
-
isSkeptical
private boolean isSkeptical
Whether this transformation function is skeptical.
-
beliefSet
private PlBeliefSet beliefSet
The belief set used by this transformation function.
-
-
Constructor Detail
-
ArgumentativeTransformationFunction
public ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)
Creates a new argumentative transformation function.- Parameters:
categorizer
- The categorizer used by this transformation function.accumulator
- The accumulator used by this transformation function.beliefSet
- The belief set used by this transformation function.isSkeptical
- Whether this transformation function is skeptical.
-
-
Method Detail
-
transform
public java.util.Collection<PlFormula> transform(java.util.Collection<PlFormula> formulas)
Description copied from interface:MultipleTransformationFunction
Transforms the given set of formulas for selective revision.- Specified by:
transform
in interfaceMultipleTransformationFunction<PlFormula>
- Parameters:
formulas
- a set of formulas.- Returns:
- a set of formulas.
-
-