Class SetAfTheoryTest

java.lang.Object

org.tweetyproject.arg.setaf.examples.SetAfTheoryTest

public class SetAfTheoryTest
extends Object

Examples of SetAf Theories and their semantics

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
SetAfTheoryTest()	Default

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Demonstrates the construction and reasoning within a SetAf (Set Attack Framework) argumentation framework.

Methods inherited from class java.lang.Object

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

Constructor Details

SetAfTheoryTest

public SetAfTheoryTest()

Default

Method Details

main

public static void main(String[] args)

Demonstrates the construction and reasoning within a SetAf (Set Attack Framework) argumentation framework. The method performs the following steps: 1. Constructs a SetAf with four arguments (a, b, c, d). 2. Defines two set attacks: - One attack from the set {b, d} to argument a. - One attack from the set {c, a} to argument c. 3. Prints the SetAf structure. 4. Applies various reasoning methods (grounded, admissible, and preferred semantics) to the SetAf: - The grounded model is computed using SimpleGroundedSetAfReasoner. - The admissible models are computed using SimpleAdmissibleSetAfReasoner. - The preferred models are computed using SimplePreferredSetAfReasoner. 5. Prints the results of the reasoning under each semantic. This example illustrates how to define a Set Attack Framework and perform reasoning to compute extensions.

Parameters:

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