Package org.tweetyproject.beliefdynamics.selectiverevision.argumentative

Class ArgumentativeTransformationFunction

java.lang.Object

org.tweetyproject.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction

All Implemented Interfaces:

MultipleTransformationFunction<PlFormula>

public class ArgumentativeTransformationFunction
extends Object
implements MultipleTransformationFunction<PlFormula>

This class implements the argumentative transformation functions proposed in [Kruempelmann:2011].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)	Creates a new argumentative transformation function.

Method Summary

Modifier and Type	Method	Description
Collection<PlFormula>	transform(Collection<PlFormula> formulas)	Transforms the given set of formulas for selective revision.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

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 Details

transform

public Collection<PlFormula> transform(Collection<PlFormula> formulas)

Description copied from interface: MultipleTransformationFunction

Transforms the given set of formulas for selective revision.

Specified by:

transform in interface MultipleTransformationFunction<PlFormula>

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.