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