Class LotteryExample

java.lang.Object
org.tweetyproject.arg.prob.examples.LotteryExample
public class LotteryExample extends Object
Example code for working with lotteries in probabilistic abstract argumentation.
Author:
Matthias Thimm

  • Constructor Summary

    Constructors
    Constructor
    Description
    LotteryExample()
    Deafult

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    Demonstrates the construction and analysis of a Dung argumentation framework (AAF) using the TweetyProject libraries.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • LotteryExample

      public LotteryExample()
      Deafult

  • Method Details

    • main

      public static void main(String[] args)
      Demonstrates the construction and analysis of a Dung argumentation framework (AAF) using the TweetyProject libraries. This example constructs a Dung theory, computes extensions using the grounded semantics, calculates probabilities over subgraphs, and performs various operations involving divisions, lotteries, and utility functions. The example includes: - Creating a Dung argumentation framework with three arguments (a, b, c) and attacks between them. - Computing grounded extensions of the argumentation framework using a simple grounded reasoner. - Printing the argumentation framework, extensions, and divisions. - Computing and printing a uniform probability distribution over all subgraphs of the argumentation framework. - Calculating and printing acceptance probabilities for various divisions and individual arguments. - Constructing and evaluating an argumentation lottery based on standard divisions and computing the expected utility with respect to a specific utility function.
      Parameters:
      args - Command-line arguments (not used in this example).