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).