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

Class NaiveLiteralTransformationFunction

java.lang.Object

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

All Implemented Interfaces:

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

public class NaiveLiteralTransformationFunction
extends Object
implements net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.Rule>

This class represents the naive 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 and Description
NaiveLiteralTransformationFunction(Collection<net.sf.tweety.lp.asp.syntax.Rule> beliefSet, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy defenseRelation) Creates a new naive transformation function for literals.

Method Summary

Modifier and Type	Method and Description
Collection<net.sf.tweety.lp.asp.syntax.Rule>	transform(Collection<net.sf.tweety.lp.asp.syntax.Rule> formulas)
Collection<net.sf.tweety.lp.asp.syntax.Rule>	transform(net.sf.tweety.lp.asp.syntax.Rule rule) "Transforms" the single fact 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

NaiveLiteralTransformationFunction

public NaiveLiteralTransformationFunction(Collection<net.sf.tweety.lp.asp.syntax.Rule> beliefSet,
                                          net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation,
                                          net.sf.tweety.arg.lp.semantics.attack.AttackStrategy defenseRelation)

Creates a new naive 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.Rule> transform(Collection<net.sf.tweety.lp.asp.syntax.Rule> formulas)

Specified by:

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

transform

public Collection<net.sf.tweety.lp.asp.syntax.Rule> transform(net.sf.tweety.lp.asp.syntax.Rule rule)

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

Parameters:

rule - a single fact

Returns:

the fact if its negation is not acceptable for the given attack-relations and belief base, an empty collection otherwise