Class ArgumentStructure

  • All Implemented Interfaces:
    java.lang.Iterable<BasicArgument>, java.util.Collection<BasicArgument>, DungEntity, Formula, Node

    public class ArgumentStructure
    extends Argument
    implements java.util.Collection<BasicArgument>
    This class models an argument structure, i.e. a minimal (with respect to set inclusion) conflict-free sequence of basic arguments AS = [A1, ... ,An] such that for any Ai and for any p in supp(Ai) there is an Aj with j > i and claim(Aj) = p.
    Author:
    Matthias Thimm
    • Constructor Detail

      • ArgumentStructure

        @Deprecated
        public ArgumentStructure​(java.lang.String name)
        Deprecated.
        Deprecated for argument structures.
        Parameters:
        name - a string
      • ArgumentStructure

        public ArgumentStructure()
        Creates a new empty argument structure.
      • ArgumentStructure

        public ArgumentStructure​(java.util.List<BasicArgument> arguments)
        Creates a new argument structure with the given list of arguments.
        Parameters:
        arguments - a list of basic arguments.
    • Method Detail

      • isValid

        public boolean isValid​(StructuredArgumentationFramework saf)
        Checks whether this argument structure is valid wrt. to the given structured argumentation framework, i.e. whether it is a minimal (with respect to set inclusion) conflict-free sequence of basic arguments AS = [A1, ... ,An] such that for any Ai and for any p in supp(Ai) there is an Aj with j > i and claim(Aj) = p.
        Parameters:
        saf - a structured argumentation framework.
        Returns:
        "true" iff this argument structure is valid.
      • attacks

        public boolean attacks​(ArgumentStructure other,
                               StructuredArgumentationFramework saf)
        Checks whether this argument structure attacks the other argument structure, i.e. whether getTop(this) attacks some basic argument "a" in "other" wrt. "saf".
        Parameters:
        other - an argument structure
        saf - a structured argumentation framework
        Returns:
        "true" if this attacks "other".
      • getClaim

        public Proposition getClaim()
        Returns the claim of this argument structure, i.e. the claim of its first basic argument.
        Returns:
        the claim of this argument structure or "null" if it is empty.
      • getTop

        public BasicArgument getTop()
        Returns the first basic arguments of this argument structure
        Returns:
        the first basic argument or "null" if this is empty.
      • addAll

        public boolean addAll​(java.util.Collection<? extends BasicArgument> c)
        Specified by:
        addAll in interface java.util.Collection<BasicArgument>
      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Collection<BasicArgument>
      • contains

        public boolean contains​(java.lang.Object o)
        Specified by:
        contains in interface java.util.Collection<BasicArgument>
      • containsAll

        public boolean containsAll​(java.util.Collection<?> c)
        Specified by:
        containsAll in interface java.util.Collection<BasicArgument>
      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Collection<BasicArgument>
      • iterator

        public java.util.Iterator<BasicArgument> iterator()
        Specified by:
        iterator in interface java.util.Collection<BasicArgument>
        Specified by:
        iterator in interface java.lang.Iterable<BasicArgument>
      • remove

        public boolean remove​(java.lang.Object o)
        Specified by:
        remove in interface java.util.Collection<BasicArgument>
      • removeAll

        public boolean removeAll​(java.util.Collection<?> c)
        Specified by:
        removeAll in interface java.util.Collection<BasicArgument>
      • retainAll

        public boolean retainAll​(java.util.Collection<?> c)
        Specified by:
        retainAll in interface java.util.Collection<BasicArgument>
      • size

        public int size()
        Specified by:
        size in interface java.util.Collection<BasicArgument>
      • toArray

        public java.lang.Object[] toArray()
        Specified by:
        toArray in interface java.util.Collection<BasicArgument>
      • toArray

        public <T> T[] toArray​(T[] a)
        Specified by:
        toArray in interface java.util.Collection<BasicArgument>
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class Argument
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface java.util.Collection<BasicArgument>
        Overrides:
        hashCode in class Argument
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface java.util.Collection<BasicArgument>
        Overrides:
        equals in class Argument