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

Class 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

    • 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>

      • 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