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

Class NaiveLiteralTransformationFunction

java.lang.Object

org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction

All Implemented Interfaces:

MultipleTransformationFunction<ASPRule>

public class NaiveLiteralTransformationFunction
extends Object
implements MultipleTransformationFunction<ASPRule>

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	Description
NaiveLiteralTransformationFunction(Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)	Creates a new naive 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 fact by either accepting or rejecting it.

Methods inherited from class java.lang.Object

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

Constructor Details

NaiveLiteralTransformationFunction

public NaiveLiteralTransformationFunction(Collection<ASPRule> beliefSet,
 AttackStrategy attackRelation,
 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 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 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