Package org.tweetyproject.lp.asp.beliefdynamics.selectiverevision

Class ScepticalLiteralTransformationFunction

java.lang.Object

org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction

All Implemented Interfaces:

MultipleTransformationFunction<ASPRule>

public class ScepticalLiteralTransformationFunction
extends Object
implements MultipleTransformationFunction<ASPRule>

This class represents the sceptical transformation function for literals as introduced in [1]. [1] Homann, Sebastian: Master thesis: Argumentationsbasierte selektive Revision von erweiterten logischen Programmen.

Author:

Sebastian Homann

Constructor Summary

Constructors

Constructor	Description
ScepticalLiteralTransformationFunction(Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)	Creates a new sceptical transformation function for literals.

Method Summary

Modifier and Type	Method	Description
Collection<ASPRule>	transform(Collection<ASPRule> formulas)	Transforms the given set of formulas for selective revision.
Collection<ASPRule>	transform(ASPRule rule)	"Transforms" the single rule by either accepting or rejecting it.

Methods inherited from class java.lang.Object

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

Constructor Details

ScepticalLiteralTransformationFunction

public ScepticalLiteralTransformationFunction(Collection<ASPRule> beliefSet,
 AttackStrategy attackRelation,
 AttackStrategy defenseRelation)

Creates a new sceptical transformation function for literals.

Parameters:

beliefSet - The belief set used for this transformation function.

attackRelation - the notion of attack used for attacking arguments

defenseRelation - the notion of attack used to attack attacking arguments

Method Details

transform

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

Description copied from interface: MultipleTransformationFunction

Transforms the given set of formulas for selective revision.

Specified by:

transform in interface MultipleTransformationFunction<ASPRule>

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.

transform

public Collection<ASPRule> transform(ASPRule rule)

"Transforms" the single rule by either accepting or rejecting it.

Parameters:

rule - a single elp rule

Returns:

the rule if it is acceptable for the given attack-relations and beliefbase, an empty collection otherwise