net.sf.tweety.arg.dung.semantics

Class NumericalArgumentRanking

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.NumericalArgumentRanking

All Implemented Interfaces:

java.util.Comparator<Argument>, java.util.Map<Argument,java.lang.Double>, Interpretation<DungTheory,Argument>

public class NumericalArgumentRanking
extends ArgumentRanking
implements java.util.Map<Argument,java.lang.Double>

This class provides a acceptability interpretation of arguments by assigning them real values where larger values indicate more acceptability.

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

java.util.Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
static double	PRECISION Precision for comparing values.
private java.util.Map<Argument,java.lang.Double>	theMap The actual map used for storing acceptability values

Constructor Summary

Constructors

Constructor and Description
NumericalArgumentRanking() Creates a new empty argument ranking
NumericalArgumentRanking(java.util.Collection<Argument> args, double initialvalue) Creates a new argument ranking.

Method Summary

Modifier and Type	Method and Description
void	clear()
boolean	containsKey(java.lang.Object arg0)
boolean	containsValue(java.lang.Object arg0)
java.util.Set<java.util.Map.Entry<Argument,java.lang.Double>>	entrySet()
java.lang.Double	get(java.lang.Object arg0)
Extension	getArgumentsOfStatus(ArgumentStatus status) Returns all arguments that have the given status in this interpretation.
boolean	isEmpty()
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.
java.util.Set<Argument>	keySet()
java.lang.Double	put(Argument arg0, java.lang.Double arg1)
void	putAll(java.util.Map<? extends Argument,? extends java.lang.Double> arg0)
java.lang.Double	remove(java.lang.Object arg0)
int	size()
java.lang.String	toString()
java.util.Collection<java.lang.Double>	values()

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.Map

compute, computeIfAbsent, computeIfPresent, equals, forEach, getOrDefault, hashCode, merge, putIfAbsent, remove, replace, replace, replaceAll

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

PRECISION

public static double PRECISION

Precision for comparing values.

theMap

private java.util.Map<Argument,java.lang.Double> theMap

The actual map used for storing acceptability values

Constructor Detail

NumericalArgumentRanking

public NumericalArgumentRanking()

Creates a new empty argument ranking

NumericalArgumentRanking

public NumericalArgumentRanking(java.util.Collection<Argument> args,
                                double initialvalue)

Creates a new argument ranking. All arguments given are assigned the given initial value.

Parameters:

args - some set of arguments

initialvalue - an initial value for all arguments

Method Detail

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

clear

public void clear()

Specified by:

clear in interface java.util.Map<Argument,java.lang.Double>

containsKey

public boolean containsKey(java.lang.Object arg0)

Specified by:

containsKey in interface java.util.Map<Argument,java.lang.Double>

containsValue

public boolean containsValue(java.lang.Object arg0)

Specified by:

containsValue in interface java.util.Map<Argument,java.lang.Double>

entrySet

public java.util.Set<java.util.Map.Entry<Argument,java.lang.Double>> entrySet()

Specified by:

entrySet in interface java.util.Map<Argument,java.lang.Double>

get

public java.lang.Double get(java.lang.Object arg0)

Specified by:

get in interface java.util.Map<Argument,java.lang.Double>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Map<Argument,java.lang.Double>

keySet

public java.util.Set<Argument> keySet()

Specified by:

keySet in interface java.util.Map<Argument,java.lang.Double>

put

public java.lang.Double put(Argument arg0,
                            java.lang.Double arg1)

Specified by:

put in interface java.util.Map<Argument,java.lang.Double>

putAll

public void putAll(java.util.Map<? extends Argument,? extends java.lang.Double> arg0)

Specified by:

putAll in interface java.util.Map<Argument,java.lang.Double>

remove

public java.lang.Double remove(java.lang.Object arg0)

Specified by:

remove in interface java.util.Map<Argument,java.lang.Double>

size

public int size()

Specified by:

size in interface java.util.Map<Argument,java.lang.Double>

values

public java.util.Collection<java.lang.Double> values()

Specified by:

values in interface java.util.Map<Argument,java.lang.Double>