Class EafTheoryGeneratorExample

java.lang.Object
org.tweetyproject.arg.eaf.examples.EafTheoryGeneratorExample

public class EafTheoryGeneratorExample extends Object
Demonstrates the generation and export of EAFs using various generation strategies.

The generated EAFs are written to `.apx` files using EafApxWriter. Three approaches are shown:

  • Random EAF generation
  • Controlled generation with specific structural and semantic properties using KwtDungTheoryGenerator
  • Generation based on a custom, user-defined DungTheory

The results are saved in separate subfolders under the user's Documents/TweetyProject/EafTheoryGeneratorExample directory.

  • Constructor Details

    • EafTheoryGeneratorExample

      public EafTheoryGeneratorExample()
      Default constructor (unused).
  • Method Details

    • main

      public static void main(String[] args) throws IOException
      Entry point of the program that generates multiple sets of EAFs and stores them as `.apx` files.

      Three types of EAF datasets are created:

      • 20 randomly generated EAFs
      • 20 structured EAFs generated using KwtDungTheoryGenerator, with controlled semantic properties
      • 20 EAFs derived from a manually constructed DungTheory
      Parameters:
      args - command-line arguments (not used)
      Throws:
      IOException - if writing any of the generated files fails