Package org.tweetyproject.arg.bipolar.examples

Class admissibleExample

java.lang.Object

org.tweetyproject.arg.bipolar.examples.admissibleExample

public class admissibleExample
extends Object

A demonstration class for showing how to use the Deductive Argumentation Framework with different admissible reasoners. This example sets up a simple argumentation framework, adds arguments and their relationships, and then prints the results of admissible reasoning.

Constructor Summary

Constructors

Constructor	Description
admissibleExample()	Default Constructor

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main method to run the example.

Methods inherited from class java.lang.Object

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

Constructor Details

admissibleExample

public admissibleExample()

Default Constructor

Method Details

main

public static void main(String[] args)

Main method to run the example.

This method initializes a deductive argumentation framework with three arguments, adds attacks and supports between them, and then uses two different admissible reasoners to compute and print the admissible extensions.

Parameters:

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