net.sf.tweety.beliefdynamics.selectiverevision.argumentative

Class ArgumentativeTransformationFunction

java.lang.Object

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

All Implemented Interfaces:

MultipleTransformationFunction<PropositionalFormula>

public class ArgumentativeTransformationFunction
extends java.lang.Object
implements MultipleTransformationFunction<PropositionalFormula>

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and 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 and Description
ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical) Creates a new argumentative transformation function.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<PropositionalFormula>	transform(java.util.Collection<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

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<PropositionalFormula> transform(java.util.Collection<PropositionalFormula> formulas)

Description copied from interface: MultipleTransformationFunction

Transforms the given set of formulas for selective revision.

Specified by:

transform in interface MultipleTransformationFunction<PropositionalFormula>

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.