Class 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
    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<ASPRule> transform​(java.util.Collection<ASPRule> formulas)
      Transforms the given set of formulas for selective revision.
      java.util.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 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 arguments
        defenseRelation - the notion of attack used to attack attacking arguments
    • Method Detail

      • 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