Package net.sf.tweety.arg.rankings.semantics

Class LatticeArgumentRanking

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<DungTheory,Argument>

net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

net.sf.tweety.arg.rankings.semantics.ArgumentRanking

net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking

All Implemented Interfaces:

java.util.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(java.util.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()
Extension	getArgumentsOfStatus(ArgumentStatus status)	Returns all arguments that have the given status in this interpretation.
boolean	isIncomparable(Argument a, Argument b)	Returns "true" iff a and b are incomparable (i.e.
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 "a" to be strictly less or equally acceptable than "b".
java.lang.String	toString()

Methods inherited from class net.sf.tweety.arg.rankings.semantics.ArgumentRanking

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

Methods inherited from class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

isAcceptable, isAdmissable, isConflictFree, satisfies, satisfies

Methods inherited from class net.sf.tweety.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 Detail

LatticeArgumentRanking

public LatticeArgumentRanking(java.util.Collection<Argument> args)

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

Parameters:

args - a set of arguments

Method Detail

setStrictlyLessOrEquallyAcceptableThan

public void setStrictlyLessOrEquallyAcceptableThan(Argument a,
                                                   Argument b)

Defines "a" to be strictly less or equally acceptable than "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

Parameters:

status - the status of the arguments to be returned.

Returns:

the set of arguments with the given status.

toString

public java.lang.String toString()

Specified by:

toString in class AbstractArgumentationInterpretation