Package net.sf.tweety.beliefdynamics.selectiverevision.argumentative

Class ArgumentativeTransformationFunction

java.lang.Object

net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction

All Implemented Interfaces:

MultipleTransformationFunction<net.sf.tweety.logics.pl.syntax.PlFormula>

public class ArgumentativeTransformationFunction
extends Object
implements MultipleTransformationFunction<net.sf.tweety.logics.pl.syntax.PlFormula>

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

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ArgumentativeTransformationFunction(net.sf.tweety.arg.deductive.categorizer.Categorizer categorizer, net.sf.tweety.arg.deductive.accumulator.Accumulator accumulator, net.sf.tweety.logics.pl.syntax.PlBeliefSet beliefSet, boolean isSkeptical)	Creates a new argumentative transformation function.

Method Summary

Modifier and Type	Method	Description
Collection<net.sf.tweety.logics.pl.syntax.PlFormula>	transform(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> formulas)	Transforms the given set of formulas for selective revision.

Methods inherited from class java.lang.Object

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

Constructor Detail

ArgumentativeTransformationFunction

public ArgumentativeTransformationFunction(net.sf.tweety.arg.deductive.categorizer.Categorizer categorizer,
                                           net.sf.tweety.arg.deductive.accumulator.Accumulator accumulator,
                                           net.sf.tweety.logics.pl.syntax.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 Collection<net.sf.tweety.logics.pl.syntax.PlFormula> transform(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> formulas)

Description copied from interface: MultipleTransformationFunction

Transforms the given set of formulas for selective revision.

Specified by:

transform in interface MultipleTransformationFunction<net.sf.tweety.logics.pl.syntax.PlFormula>

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.