Class 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
    • 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 rule by either accepting or rejecting it.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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 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 rule by either accepting or rejecting it.
        Parameters:
        rule - a single elp rule
        Returns:
        the rule if it is acceptable for the given attack-relations and beliefbase, an empty collection otherwise