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

Class NumericalArgumentRanking

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<net.sf.tweety.arg.dung.syntax.DungTheory,net.sf.tweety.arg.dung.syntax.Argument>

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

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

net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking

All Implemented Interfaces:

Comparator<net.sf.tweety.arg.dung.syntax.Argument>, Map<net.sf.tweety.arg.dung.syntax.Argument,Double>, net.sf.tweety.commons.Interpretation<net.sf.tweety.arg.dung.syntax.DungTheory,net.sf.tweety.arg.dung.syntax.Argument>

public class NumericalArgumentRanking
extends ArgumentRanking
implements Map<net.sf.tweety.arg.dung.syntax.Argument,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

Modifier and Type	Class	Description
static class	NumericalArgumentRanking.SortingType	Possible sorting types for the numerical values.

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

Map.Entry<K extends Object,V extends Object>

Field Summary

Fields

Modifier and Type	Field	Description
static double	PRECISION	Precision for comparing values.
NumericalArgumentRanking.SortingType	sortingType

Constructor Summary

Constructors

Constructor	Description
NumericalArgumentRanking()	Creates a new empty argument ranking
NumericalArgumentRanking(Collection<net.sf.tweety.arg.dung.syntax.Argument> args, double initialvalue)	Creates a new argument ranking.

Method Summary

Modifier and Type	Method	Description
void	clear()
boolean	containsIncomparableArguments()
boolean	containsKey(Object arg0)
boolean	containsValue(Object arg0)
Set<Map.Entry<net.sf.tweety.arg.dung.syntax.Argument,Double>>	entrySet()
Double	get(Object arg0)
net.sf.tweety.arg.dung.semantics.Extension	getArgumentsOfStatus(net.sf.tweety.arg.dung.semantics.ArgumentStatus status)
NumericalArgumentRanking.SortingType	getSortingType()
boolean	isEmpty()
boolean	isIncomparable(net.sf.tweety.arg.dung.syntax.Argument a, net.sf.tweety.arg.dung.syntax.Argument b)	Returns "true" iff a and b are incomparable (i.e.
boolean	isStrictlyLessOrEquallyAcceptableThan(net.sf.tweety.arg.dung.syntax.Argument a, net.sf.tweety.arg.dung.syntax.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.
Set<net.sf.tweety.arg.dung.syntax.Argument>	keySet()
Double	put(net.sf.tweety.arg.dung.syntax.Argument arg0, Double arg1)
void	putAll(Map<? extends net.sf.tweety.arg.dung.syntax.Argument,? extends Double> arg0)
Double	remove(Object arg0)
void	setSortingType(NumericalArgumentRanking.SortingType order)	Set the sorting type for ranking values.
int	size()
String	toString()
Collection<Double>	values()

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

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

Methods inherited from interface java.util.Comparator

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

Methods inherited from interface java.util.Map

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

Field Detail

PRECISION

public static double PRECISION

Precision for comparing values.

sortingType

public NumericalArgumentRanking.SortingType sortingType

Constructor Detail

NumericalArgumentRanking

public NumericalArgumentRanking()

Creates a new empty argument ranking

NumericalArgumentRanking

public NumericalArgumentRanking(Collection<net.sf.tweety.arg.dung.syntax.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(net.sf.tweety.arg.dung.syntax.Argument a,
                                                     net.sf.tweety.arg.dung.syntax.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

getArgumentsOfStatus

public net.sf.tweety.arg.dung.semantics.Extension getArgumentsOfStatus(net.sf.tweety.arg.dung.semantics.ArgumentStatus status)

Specified by:

getArgumentsOfStatus in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

toString

public String toString()

Specified by:

toString in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation

clear

public void clear()

Specified by:

clear in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

containsKey

public boolean containsKey(Object arg0)

Specified by:

containsKey in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

containsValue

public boolean containsValue(Object arg0)

Specified by:

containsValue in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

entrySet

public Set<Map.Entry<net.sf.tweety.arg.dung.syntax.Argument,Double>> entrySet()

Specified by:

entrySet in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

get

public Double get(Object arg0)

Specified by:

get in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

keySet

public Set<net.sf.tweety.arg.dung.syntax.Argument> keySet()

Specified by:

keySet in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

put

public Double put(net.sf.tweety.arg.dung.syntax.Argument arg0,
                  Double arg1)

Specified by:

put in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

putAll

public void putAll(Map<? extends net.sf.tweety.arg.dung.syntax.Argument,? extends Double> arg0)

Specified by:

putAll in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

remove

public Double remove(Object arg0)

Specified by:

remove in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

size

public int size()

Specified by:

size in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

values

public Collection<Double> values()

Specified by:

values in interface Map<net.sf.tweety.arg.dung.syntax.Argument,Double>

getSortingType

public NumericalArgumentRanking.SortingType getSortingType()

Returns:

sorting type of ranking values (descending, ascending or sorted lexicographically)

setSortingType

public void setSortingType(NumericalArgumentRanking.SortingType order)

Set the sorting type for ranking values. For example, the "ascending" type means that smaller values signify a higher ranking than bigger values.

Parameters:

order -

isIncomparable

public boolean isIncomparable(net.sf.tweety.arg.dung.syntax.Argument a,
                              net.sf.tweety.arg.dung.syntax.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