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.PropositionalFormula>

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

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

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Collection<net.sf.tweety.logics.pl.syntax.PropositionalFormula>	transform(Collection<net.sf.tweety.logics.pl.syntax.PropositionalFormula> 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.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.PropositionalFormula> transform(Collection<net.sf.tweety.logics.pl.syntax.PropositionalFormula> 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.PropositionalFormula>

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.