Class NaiveLiteralTransformationFunction
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
-
- All Implemented Interfaces:
MultipleTransformationFunction<ASPRule>
public class NaiveLiteralTransformationFunction extends java.lang.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(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)
Creates a new naive transformation function for literals.
-
-
-
Constructor Detail
-
NaiveLiteralTransformationFunction
public NaiveLiteralTransformationFunction(java.util.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 argumentsdefenseRelation
- the notion of attack used to attack attacking arguments
-
-
Method Detail
-
transform
public java.util.Collection<ASPRule> transform(java.util.Collection<ASPRule> formulas)
Description copied from interface:MultipleTransformationFunction
Transforms the given set of formulas for selective revision.- Specified by:
transform
in interfaceMultipleTransformationFunction<ASPRule>
- Parameters:
formulas
- a set of formulas.- Returns:
- a set of formulas.
-
transform
public java.util.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
-
-