Class ScepticalLiteralTransformationFunction
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
-
- All Implemented Interfaces:
MultipleTransformationFunction<ASPRule>
public class ScepticalLiteralTransformationFunction extends java.lang.Object implements MultipleTransformationFunction<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(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation)
Creates a new sceptical transformation function for literals.
-
-
-
Constructor Detail
-
ScepticalLiteralTransformationFunction
public ScepticalLiteralTransformationFunction(java.util.Collection<ASPRule> beliefSet, AttackStrategy attackRelation, 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 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.
-
-