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

Class ArgumentStructure

java.lang.Object

net.sf.tweety.arg.dung.syntax.Argument

net.sf.tweety.arg.saf.syntax.ArgumentStructure

All Implemented Interfaces:

Iterable<BasicArgument>, Collection<BasicArgument>, net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula, net.sf.tweety.graphs.Node

public class ArgumentStructure
extends net.sf.tweety.arg.dung.syntax.Argument
implements 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 Summary

Constructors

Constructor	Description
ArgumentStructure()	Creates a new empty argument structure.
ArgumentStructure(String name)	Deprecated.
ArgumentStructure(List<BasicArgument> arguments)	Creates a new argument structure with the given list of arguments.

Method Summary

Modifier and Type	Method	Description
boolean	add(BasicArgument e)
boolean	addAll(Collection<? extends BasicArgument> c)
boolean	attacks(ArgumentStructure other, StructuredArgumentationFramework saf)	Checks whether this argument structure attacks the other argument structure, i.e.
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object obj)
net.sf.tweety.logics.pl.syntax.Proposition	getClaim()	Returns the claim of this argument structure, i.e.
BasicArgument	getTop()	Returns the first basic arguments of this argument structure
int	hashCode()
boolean	isEmpty()
boolean	isValid(StructuredArgumentationFramework saf)	Checks whether this argument structure is valid wrt.
Iterator<BasicArgument>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
int	size()
Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()

Methods inherited from class net.sf.tweety.arg.dung.syntax.Argument

getLdoArgument, getLdoFormula, getName, getSignature, setName

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

ArgumentStructure

@Deprecated
public ArgumentStructure(String name)

Deprecated.

Deprecated for argument structures.

Parameters:

name - a string

ArgumentStructure

public ArgumentStructure()

Creates a new empty argument structure.

ArgumentStructure

public ArgumentStructure(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 net.sf.tweety.logics.pl.syntax.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.

add

public boolean add(BasicArgument e)

Specified by:

add in interface Collection<BasicArgument>

addAll

public boolean addAll(Collection<? extends BasicArgument> c)

Specified by:

addAll in interface Collection<BasicArgument>

clear

public void clear()

Specified by:

clear in interface Collection<BasicArgument>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<BasicArgument>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<BasicArgument>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<BasicArgument>

iterator

public Iterator<BasicArgument> iterator()

Specified by:

iterator in interface Collection<BasicArgument>

Specified by:

iterator in interface Iterable<BasicArgument>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<BasicArgument>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<BasicArgument>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<BasicArgument>

size

public int size()

Specified by:

size in interface Collection<BasicArgument>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<BasicArgument>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface Collection<BasicArgument>

toString

public String toString()

Overrides:

toString in class net.sf.tweety.arg.dung.syntax.Argument

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<BasicArgument>

Overrides:

hashCode in class net.sf.tweety.arg.dung.syntax.Argument

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<BasicArgument>

Overrides:

equals in class net.sf.tweety.arg.dung.syntax.Argument