Package org.tweetyproject.arg.dung.examples

Class ResolutionbasedSolverTest

java.lang.Object

org.tweetyproject.arg.dung.examples.ResolutionbasedSolverTest

public class ResolutionbasedSolverTest
extends Object

Demonstrates the use of resolution-based solvers on Dung argumentation frameworks. This class provides an example setup of a simple Dung theory and illustrates how to apply resolution-based reasoning to determine acceptable arguments under various semantics. The main focus is on testing the functionality of resolution-based solvers such as preferred and admissible semantics reasoners.

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
ResolutionbasedSolverTest()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main method to run the resolution-based solver test.

Methods inherited from class java.lang.Object

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

Constructor Details

ResolutionbasedSolverTest

public ResolutionbasedSolverTest()

Method Details

main

public static void main(String[] args)

Main method to run the resolution-based solver test. It constructs a simple Dung theory with arguments and attacks and applies resolution-based reasoners to determine the sets of acceptable arguments. Uncomment the reasoner lines and add appropriate reasoners to see the output.

Parameters:

args - Command-line arguments, not used in this example.