Class LdoArgumentationLottery

java.lang.Object
org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery

public class LdoArgumentationLottery extends Object
This class implements an argumentation lottery based on the logic of dialectical outcomes, i.e. a lottery on an exhaustive and disjoint set of formulas of LDO.
Author:
Matthias Thimm
  • Constructor Details

    • LdoArgumentationLottery

      public LdoArgumentationLottery(Collection<LdoFormula> formulas, SubgraphProbabilityFunction p, Semantics semantics)
      Creates a new lottery for the given set of formulas using the given probability function and semantics.
      Parameters:
      formulas - some set of formulas
      p - some probability function
      semantics - some semantics
  • Method Details

    • getSemantics

      public Semantics getSemantics()
      Returns the used semantics.
      Returns:
      the used semantics.
    • getPossibleOutcomes

      public Collection<LdoFormula> getPossibleOutcomes()
      Returns the set of possible outcomes.
      Returns:
      the set of possible outcomes.
    • get

      public Probability get(LdoFormula f)
      Returns the probability of the given outcome.
      Parameters:
      f - some LDO formula
      Returns:
      the probability of the given division.
    • getTheory

      public DungTheory getTheory()
      Returns the used argumentation theory.
      Returns:
      the used argumentation theory.
    • toString

      public String toString()
      Overrides:
      toString in class Object