Class PossibilisticGammaOperator

java.lang.Object
org.tweetyproject.logics.translators.adfpossibilistic.PossibilisticGammaOperator

public class PossibilisticGammaOperator extends Object
This class performs the Gamma Operator for Possibilistic ADFs introduced in [Heyninck 2021]
Author:
Jonas Schumacher
  • Constructor Details

    • PossibilisticGammaOperator

      public PossibilisticGammaOperator()
  • Method Details

    • sortByValue

      public static Map<PlFormula,Double> sortByValue(Map<PlFormula,Double> map)
      Convert an unsorted Map to a map sorted by value in ascending order
      Parameters:
      map - map
      Returns:
      map sorted by value in ascending order
    • main

      public static void main(String[] args) throws ParserException, IOException
      Implements the Gamma Operator: Input: Old Possibility Distribution and ADF Output: New Possibility Distribution
      Parameters:
      args - arguments
      Throws:
      ParserException - parserexception
      IOException - ioexception