Package org.tweetyproject.arg.rankings.semantics

Class LatticeArgumentRanking

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<T,Argument>

org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation<DungTheory>

org.tweetyproject.arg.rankings.semantics.ArgumentRanking

org.tweetyproject.arg.rankings.semantics.LatticeArgumentRanking

All Implemented Interfaces:

Comparator<Argument>, Interpretation<DungTheory,Argument>

public class LatticeArgumentRanking
extends ArgumentRanking

This class models argument ranking by representing the acceptability of arguments in a graph-based structure.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LatticeArgumentRanking(Collection<Argument> args)	Creates a new argument ranking with the given arguments which are initially all incomparable.

Method Summary

Modifier and Type	Method	Description
boolean	containsIncomparableArguments()
Collection<Argument>	getArgs()
Extension	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
Order<Argument>	getOrder()
boolean	isIncomparable(Argument a, Argument b)	Returns "true" iff a and b are incomparable (i.e.
boolean	isSame(LatticeArgumentRanking ra)
boolean	isStrictlyLessOrEquallyAcceptableThan(Argument a, Argument b)	Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e.
void	setStrictlyLessOrEquallyAcceptableThan(Argument a, Argument b)	Defines argument "a" to be strictly less or equally acceptable than argument "b".
String	toString()

Methods inherited from class org.tweetyproject.arg.rankings.semantics.ArgumentRanking

compare, getMaximallyAcceptedArguments, getMinimallyAcceptedArguments, isEquallyAcceptableThan, isEquivalent, isStrictlyLessAcceptableThan, isStrictlyMoreAcceptableThan, isStrictlyMoreOrEquallyAcceptableThan

Methods inherited from class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

satisfies, satisfies

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Comparator

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Details

LatticeArgumentRanking

public LatticeArgumentRanking(Collection<Argument> args)

Creates a new argument ranking with the given arguments which are initially all incomparable.

Parameters:

args - a set of arguments

Method Details

getOrder

public Order<Argument> getOrder()

getArgs

public Collection<Argument> getArgs()

setStrictlyLessOrEquallyAcceptableThan

public void setStrictlyLessOrEquallyAcceptableThan(Argument a,
 Argument b)

Defines argument "a" to be strictly less or equally acceptable than argument "b".

Parameters:

a - some argument

b - some argument

isStrictlyLessOrEquallyAcceptableThan

public boolean isStrictlyLessOrEquallyAcceptableThan(Argument a,
 Argument b)

Description copied from class: ArgumentRanking

Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e. a >= b (or a ~ b) (least arguments are maximally acceptable arguments)

Specified by:

isStrictlyLessOrEquallyAcceptableThan in class ArgumentRanking

Parameters:

a - some argument

b - some argument

Returns:

"true" iff a is strictly less acceptable than b or a is equally acceptable as b

isIncomparable

public boolean isIncomparable(Argument a,
 Argument b)

Description copied from class: ArgumentRanking

Returns "true" iff a and b are incomparable (i.e. this ranking is a partial ranking).

Specified by:

isIncomparable in class ArgumentRanking

Parameters:

a - Argument

b - Argument

Returns:

"true" iff a and b are incomparable

containsIncomparableArguments

public boolean containsIncomparableArguments()

Specified by:

containsIncomparableArguments in class ArgumentRanking

Returns:

true if this ranking contains incomparable arguments, false otherwise

getArgumentsOfStatus

public Extension getArgumentsOfStatus(ArgumentStatus status)

Description copied from class: AbstractArgumentationInterpretation

Returns all arguments that have the given status in this interpretation.

Specified by:

getArgumentsOfStatus in class AbstractArgumentationInterpretation<DungTheory>

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

isSame

public boolean isSame(LatticeArgumentRanking ra)

toString

public String toString()

Specified by:

toString in class AbstractArgumentationInterpretation<DungTheory>