net.sf.tweety.arg.dung.semantics

Class LatticeArgumentRanking

java.lang.Object

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

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

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

net.sf.tweety.arg.dung.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

Field Summary

Fields

Modifier and Type	Field and Description
private Order<Argument>	order The actual order

Constructor Summary

Constructors

Constructor and 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 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".
java.lang.String	toString()

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

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

Field Detail

order

private Order<Argument> order

The actual order

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 -

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

Specified by:

toString in class AbstractArgumentationInterpretation