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
ConstructorDescriptionNaiveLiteralTransformationFunction
(Collection<ASPRule> beliefSet, AttackStrategy attackRelation, AttackStrategy defenseRelation) Creates a new naive transformation function for literals. -
Method Summary
Modifier and TypeMethodDescriptiontransform
(Collection<ASPRule> formulas) Transforms the given set of formulas for selective revision."Transforms" the single fact by either accepting or rejecting it.
-
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 argumentsdefenseRelation
- the notion of attack used to attack attacking arguments
-
-
Method Details
-
transform
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
"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
-