Package org.tweetyproject.arg.bipolar.examples

Class DeductiveArgumentation

java.lang.Object

org.tweetyproject.arg.bipolar.examples.DeductiveArgumentation

public class DeductiveArgumentation
extends Object

Demonstrates the construction of deductive argumentation frameworks and the computation of their extensions.

This example uses the Deductive Argumentation Framework to create an argumentation framework, add arguments and relationships, and then compute various types of extensions. The example framework and its associated Dung theory are used to compute extensions using different reasoners.

The example is based on the work by Cayrol and Lagasquie-Schiex on bipolarity in argumentation graphs.

Constructor Summary

Constructors

Constructor	Description
DeductiveArgumentation()	Default constructor for the DeductiveArgumentation class.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The entry point of the example program.

Methods inherited from class java.lang.Object

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

Constructor Details

DeductiveArgumentation

public DeductiveArgumentation()

Default constructor for the DeductiveArgumentation class. Initializes an instance of this class, though it currently has no specific initialization logic.

Method Details

main

public static void main(String[] args)

The entry point of the example program. Constructs a deductive argumentation framework, adds arguments, attacks, and supports, and computes various types of extensions using different reasoners.

The following steps are performed in the main method:

1. Create a DeductiveArgumentationFramework instance.
2. Add four arguments to the framework.
3. Add one attack and two support relationships between the arguments.
4. Obtain the associated Dung theory and meta-framework for the deductive argumentation framework.
5. Set the default SAT solver to Sat4jSolver.
6. Compute and print the closed extensions and safe extensions using the ClosureReasoner and SafetyReasoner.
7. Compute and print the preferred, grounded, and stable extensions for the Dung theory using the SimplePreferredReasoner, SimpleGroundedReasoner, and SimpleStableReasoner.
8. Compute and print the complete extensions for both the Dung theory and the meta-framework using the SimpleCompleteReasoner.

Parameters:

args - command-line arguments (not used)