Package org.tweetyproject.arg.aba.examples

Class AbaExample

java.lang.Object

org.tweetyproject.arg.aba.examples.AbaExample

public class AbaExample
extends Object

Shows some simple code for working with ABA, including how to parse an ABA file and how to ask queries.

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main method that demonstrates parsing and reasoning with Assumption-Based Argumentation (ABA) using both propositional logic and first-order logic.

Methods inherited from class java.lang.Object

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

Constructor Details

AbaExample

public AbaExample()

Default constructor for the AbaExample class. This constructor initializes the class without any specific setup.

Method Details

main

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

Main method that demonstrates parsing and reasoning with Assumption-Based Argumentation (ABA) using both propositional logic and first-order logic.

Parameters:

args - command line arguments (not used)

Throws:

FileNotFoundException - if the input file is not found

ParserException - if there is an error during parsing

IOException - if there is an error reading the file