Package org.tweetyproject.arg.dung.examples

Class AcceptabilityReasonerExample

java.lang.Object

org.tweetyproject.arg.dung.examples.AcceptabilityReasonerExample

public class AcceptabilityReasonerExample
extends Object

This example shows how the different acceptability reasoners work.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AcceptabilityReasonerExample()	Default constructor

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	The main method that demonstrates the usage of various acceptability reasoners.

Methods inherited from class java.lang.Object

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

Constructor Details

AcceptabilityReasonerExample

public AcceptabilityReasonerExample()

Default constructor

Method Details

main

public static void main(String[] args)
                 throws FileNotFoundException,
ParserException,
IOException

The main method that demonstrates the usage of various acceptability reasoners. It loads an argumentation framework from a TGF file, configures several reasoners with different semantics, and prints the results of these reasoners.

Parameters:

args - Command-line arguments, not used here.

Throws:

FileNotFoundException - if the file containing the argumentation framework could not be found.

ParserException - if there is a problem parsing the TGF file.

IOException - if an I/O error occurs while reading the file.