Package org.tweetyproject.arg.rankings.semantics

Class LatticeArgumentRanking

java.lang.Object
org.tweetyproject.commons.AbstractInterpretation<ArgumentationFramework,​Argument>
org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation
org.tweetyproject.arg.rankings.semantics.ArgumentRanking
org.tweetyproject.arg.rankings.semantics.LatticeArgumentRanking
All Implemented Interfaces:
Comparator<Argument>, Interpretation<ArgumentationFramework,​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

  • Constructor Details

    • LatticeArgumentRanking

      public LatticeArgumentRanking​(Collection<Argument> args)
      Creates a new argument ranking with the given arguments which are initially all incomparable.
      Parameters:
      args - a set of arguments

  • Method Details

    • getOrder

      public Order<Argument> getOrder()

    • getArgs

      public Collection<Argument> getArgs()

    • setStrictlyLessOrEquallyAcceptableThan

      public void setStrictlyLessOrEquallyAcceptableThan​(Argument a, Argument b)
      Defines argument "a" to be strictly less or equally acceptable than argument "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

    • isIncomparable

      public boolean isIncomparable​(Argument a, 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

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

    • isSame

      public boolean isSame​(LatticeArgumentRanking ra)

    • toString

      public String toString()
      Specified by:
      toString in class AbstractArgumentationInterpretation