net.sf.tweety.arg.dung.semantics

Class LatticeArgumentRanking

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation

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

net.sf.tweety.arg.dung.semantics.ArgumentRanking

net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking

All Implemented Interfaces:

Comparator<Argument>, net.sf.tweety.commons.Interpretation

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 and 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 and Description
Extension	getArgumentsOfStatus(ArgumentStatus status) Returns all arguments that have the given status in this interpretation.
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".
String	toString()

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

compare, getMaximallyAcceptedArguments, getMinimallyAcceptedArguments, isEquallyAcceptableThan, 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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

LatticeArgumentRanking

public LatticeArgumentRanking(Collection<Argument> args)

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

Parameters:

args -

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 or a and b are not comparable

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 String toString()

Specified by:

toString in class AbstractArgumentationInterpretation