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

Class NaiveLiteralTransformationFunction

java.lang.Object

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

All Implemented Interfaces:

MultipleTransformationFunction<Rule>

public class NaiveLiteralTransformationFunction
extends java.lang.Object
implements MultipleTransformationFunction<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

Field Summary

Fields

Modifier and Type	Field and Description
private AttackStrategy	attackRelation
private Program	beliefSet
private AttackStrategy	defenseRelation

Constructor Summary

Constructors

Constructor and Description
NaiveLiteralTransformationFunction(java.util.Collection<Rule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation) Creates a new naive transformation function for literals.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<Rule>	transform(java.util.Collection<Rule> formulas) Transforms the given set of formulas for selective revision.
java.util.Collection<Rule>	transform(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

Field Detail

beliefSet

private Program beliefSet

attackRelation

private AttackStrategy attackRelation

defenseRelation

private AttackStrategy defenseRelation

Constructor Detail

NaiveLiteralTransformationFunction

public NaiveLiteralTransformationFunction(java.util.Collection<Rule> 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 Detail

transform

public java.util.Collection<Rule> transform(java.util.Collection<Rule> formulas)

Description copied from interface: MultipleTransformationFunction

Transforms the given set of formulas for selective revision.

Specified by:

transform in interface MultipleTransformationFunction<Rule>

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.

transform

public java.util.Collection<Rule> transform(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