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

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