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.
    Matthias Thimm
    • Constructor Detail

      • ArgumentStructure

        public ArgumentStructure​(java.lang.String name)
        Deprecated for argument structures.
        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.
        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.
        saf - a structured argumentation framework.
        "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".
        other - an argument structure
        saf - a structured argumentation framework
        "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.
        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
        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()
        toString in class Argument
      • hashCode

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

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