Package net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Class ScepticalLiteralTransformationFunction

java.lang.Object

net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction

All Implemented Interfaces:

net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.ASPRule>

public class ScepticalLiteralTransformationFunction
extends Object
implements net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.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<net.sf.tweety.lp.asp.syntax.ASPRule> beliefSet, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy defenseRelation)	Creates a new sceptical transformation function for literals.

Method Summary

Modifier and Type	Method	Description
Collection<net.sf.tweety.lp.asp.syntax.ASPRule>	transform(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)
Collection<net.sf.tweety.lp.asp.syntax.ASPRule>	transform(net.sf.tweety.lp.asp.syntax.ASPRule rule)	"Transforms" the single rule by either accepting or rejecting it.

Methods inherited from class java.lang.Object

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

Constructor Detail

ScepticalLiteralTransformationFunction

public ScepticalLiteralTransformationFunction(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> beliefSet,
                                              net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation,
                                              net.sf.tweety.arg.lp.semantics.attack.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 Detail

transform

public Collection<net.sf.tweety.lp.asp.syntax.ASPRule> transform(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)

Specified by:

transform in interface net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.ASPRule>

transform

public Collection<net.sf.tweety.lp.asp.syntax.ASPRule> transform(net.sf.tweety.lp.asp.syntax.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