Package net.sf.tweety.arg.saf.syntax

Class StructuredArgumentationFramework

  • 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 StructuredArgumentationFramework
extends net.sf.tweety.arg.dung.syntax.DungTheory
    This class represents a structured argumentation framework, i.e. a set of basic arguments and an attack relation.
    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
      Collection<net.sf.tweety.logics.pl.syntax.Proposition> getAllPropositions()  
      net.sf.tweety.arg.dung.syntax.DungSignature getSignature()  
      boolean isAttackedBy​(net.sf.tweety.arg.dung.syntax.Argument arg1, net.sf.tweety.arg.dung.syntax.Argument arg2)  
      net.sf.tweety.arg.dung.syntax.DungTheory toDungTheory()
      Constructs a (pure) Dung theory from this structured argumentation framework.

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

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

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

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

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

        iterator

    • Constructor Detail

      • StructuredArgumentationFramework

        public StructuredArgumentationFramework()
        Creates a new empty structured argumentation framework.

    • Method Detail

      • getSignature

        public net.sf.tweety.arg.dung.syntax.DungSignature getSignature()
        Overrides:
        getSignature in class net.sf.tweety.commons.BeliefSet<net.sf.tweety.arg.dung.syntax.Argument,​net.sf.tweety.arg.dung.syntax.DungSignature>

      • getAllPropositions

        public Collection<net.sf.tweety.logics.pl.syntax.Proposition> getAllPropositions()

      • isAttackedBy

        public boolean isAttackedBy​(net.sf.tweety.arg.dung.syntax.Argument arg1,
                            net.sf.tweety.arg.dung.syntax.Argument arg2)
        Overrides:
        isAttackedBy in class net.sf.tweety.arg.dung.syntax.DungTheory

      • toDungTheory

        public net.sf.tweety.arg.dung.syntax.DungTheory toDungTheory()
        Constructs a (pure) Dung theory from this structured argumentation framework. The set of arguments of this theory comprises of all possible argument structures of this framework, and the attack relation is determined by their attack relation.
        Returns:
        a Dung theory.