Package net.sf.tweety.arg.social.syntax

Class SocialAbstractArgumentationFramework

  • All Implemented Interfaces:
    Comparable<net.sf.tweety.arg.dung.syntax.DungTheory>, Iterable<net.sf.tweety.arg.dung.syntax.Argument>, Collection<net.sf.tweety.arg.dung.syntax.Argument>, net.sf.tweety.commons.BeliefBase, net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument>
    public class SocialAbstractArgumentationFramework
extends net.sf.tweety.arg.dung.syntax.DungTheory
    This class implements a social abstract argumentation framework from [Joao Leite, Joao Martins. Social Abstract Argumentation. IJCAI 2011]
    Author:
    Matthias Thimm

    • Field Summary

      • Fields inherited from class net.sf.tweety.commons.BeliefSet

        EQUALS_USES_SIGNATURE, signature

      • Fields inherited from interface net.sf.tweety.graphs.Graph

        IGNORE_SELFLOOPS, INVERT_SELFLOOPS, REMOVE_SELFLOOPS

    • Method Summary

      Modifier and Type Method Description
      boolean add​(net.sf.tweety.arg.dung.syntax.Argument a)  
      boolean add​(net.sf.tweety.arg.dung.syntax.DungTheory theory)  
      int getNegative​(net.sf.tweety.arg.dung.syntax.Argument arg)
      Returns the number of negative votes of the given argument
      int getPositive​(net.sf.tweety.arg.dung.syntax.Argument arg)
      Returns the number of positive votes of the given argument
      boolean remove​(net.sf.tweety.arg.dung.syntax.Argument a)  
      String toString()  
      void voteDown​(net.sf.tweety.arg.dung.syntax.Argument arg)
      Adds a negative vote to the given argument.
      void voteDown​(net.sf.tweety.arg.dung.syntax.Argument arg, int number)
      Adds the given number of negative votes to the given argument
      void voteUp​(net.sf.tweety.arg.dung.syntax.Argument arg)
      Adds a positive vote to the given argument.
      void voteUp​(net.sf.tweety.arg.dung.syntax.Argument arg, int number)
      Adds the given number of positive votes to the given argument

      • Methods inherited from class net.sf.tweety.arg.dung.syntax.DungTheory

        add, add, add, addAllAttacks, addAttack, areAdjacent, compareTo, contains, containsAll, containsAttack, containsCycle, equals, existsDirectedPath, faf, getAdjacencyMatrix, getAttacked, getAttackers, getAttacks, getChildren, getComplementGraph, getComponents, getEdge, getEdges, getInducedSubgraphs, getMinimalSignature, getNeighbors, getNodes, getNumberOfNodes, getParents, getRestriction, getStronglyConnectedComponents, getSubgraphs, hasAttackBranch, hasDefenseBranch, hashCode, hasSelfLoops, instantiateSignature, isAttackBranch, isAttacked, isAttacked, isAttackedBy, isAttackedBy, isAttackingAllOtherArguments, isCoherent, isDefenseBranch, isIndirectAttack, isRelativelyCoherent, isStable, isSupport, isWeightedGraph, isWellFounded, prettyPrint, remove, removeAll

      • Methods inherited from class net.sf.tweety.commons.BeliefSet

        add, addAll, clear, getSignature, instantiateSet, isEmpty, iterator, remove, retainAll, setSignature, size, toArray, toArray

      • Methods inherited from interface net.sf.tweety.graphs.Graph

        iterator

    • Constructor Detail

      • SocialAbstractArgumentationFramework

        public SocialAbstractArgumentationFramework()
        Creates a new empty social abstract argumentation framework

      • SocialAbstractArgumentationFramework

        public SocialAbstractArgumentationFramework​(net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument> graph)
        Creates a new social abstract argumentation framework from the given graph.
        Parameters:
        graph - some graph

    • Method Detail

      • getPositive

        public int getPositive​(net.sf.tweety.arg.dung.syntax.Argument arg)
        Returns the number of positive votes of the given argument
        Parameters:
        arg - some argument
        Returns:
        the number of positive votes of the given argument

      • getNegative

        public int getNegative​(net.sf.tweety.arg.dung.syntax.Argument arg)
        Returns the number of negative votes of the given argument
        Parameters:
        arg - some argument
        Returns:
        the number of negative votes of the given argument

      • voteUp

        public void voteUp​(net.sf.tweety.arg.dung.syntax.Argument arg,
                   int number)
        Adds the given number of positive votes to the given argument
        Parameters:
        arg - some argument
        number - some number

      • voteUp

        public void voteUp​(net.sf.tweety.arg.dung.syntax.Argument arg)
        Adds a positive vote to the given argument.
        Parameters:
        arg - some argument

      • voteDown

        public void voteDown​(net.sf.tweety.arg.dung.syntax.Argument arg,
                     int number)
        Adds the given number of negative votes to the given argument
        Parameters:
        arg - some argument
        number - some number

      • voteDown

        public void voteDown​(net.sf.tweety.arg.dung.syntax.Argument arg)
        Adds a negative vote to the given argument.
        Parameters:
        arg - some argument

      • remove

        public boolean remove​(net.sf.tweety.arg.dung.syntax.Argument a)
        Overrides:
        remove in class net.sf.tweety.arg.dung.syntax.DungTheory

      • add

        public boolean add​(net.sf.tweety.arg.dung.syntax.Argument a)
        Specified by:
        add in interface Collection<net.sf.tweety.arg.dung.syntax.Argument>
        Specified by:
        add in interface net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument>
        Overrides:
        add in class net.sf.tweety.arg.dung.syntax.DungTheory

      • add

        public boolean add​(net.sf.tweety.arg.dung.syntax.DungTheory theory)
        Overrides:
        add in class net.sf.tweety.arg.dung.syntax.DungTheory

      • toString

        public String toString()
        Specified by:
        toString in interface net.sf.tweety.commons.BeliefBase
        Specified by:
        toString in interface net.sf.tweety.graphs.Graph<net.sf.tweety.arg.dung.syntax.Argument>
        Overrides:
        toString in class net.sf.tweety.arg.dung.syntax.DungTheory