Package org.tweetyproject.arg.rankings.examples

Class CounterTransitivityReasonerExample

java.lang.Object

org.tweetyproject.arg.rankings.examples.CounterTransitivityReasonerExample

public class CounterTransitivityReasonerExample
extends Object

Demonstrates the usage of the CounterTransitivityReasoner with a specific Argumentation Framework (AAF).

This example constructs an argumentation framework, adds arguments and attacks to it, and then creates a LatticePartialOrder to specify the acceptability relations between arguments. It then uses a CounterTransitivityReasoner to evaluate various ranking strategies and prints the results.

Constructor Summary

Constructors

Constructor	Description
CounterTransitivityReasonerExample()	Default Constructor

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The main method that sets up an argumentation framework, applies various ranking strategies, and prints the results.

Methods inherited from class java.lang.Object

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

Constructor Details

CounterTransitivityReasonerExample

public CounterTransitivityReasonerExample()

Default Constructor

Method Details

main

public static void main(String[] args)

The main method that sets up an argumentation framework, applies various ranking strategies, and prints the results.

Parameters:

args - Command-line arguments (not used in this example).