Package org.tweetyproject.arg.dung.examples

Class SerialisableExtensionReasonerExample

java.lang.Object
org.tweetyproject.arg.dung.examples.SerialisableExtensionReasonerExample
public class SerialisableExtensionReasonerExample extends Object
This class summarises examples displaying the usage of SerialisableExtensionReasoner for different types of serialisable semantics.

See

Matthias Thimm. Revisiting initial sets in abstract argumentation.
Argument and Computation 13 (2022) 325–360
DOI 10.3233/AAC-210018

and

Lars Bengel and Matthias Thimm. Serialisable Semantics for Abstract Argumentation.
Computational Models of Argument (2022)
DOI: 10.3233/FAIA220143
Author:
Julian Sander

  • Constructor Details

    • SerialisableExtensionReasonerExample

      public SerialisableExtensionReasonerExample()

  • Method Details

    • buildExample1

      public static DungTheory buildExample1()
      Builds an example argumentation framework
      Returns:
      AF: ({a,b,c,d,e,f},{(a,a),(a,b),(b,a),(b,d),(d,c),(e,c),(e,f),(f,e)})

    • buildExample2

      public static DungTheory buildExample2()
      Builds an example argumentation framework
      Returns:
      AF: ({a,b,c,d,e,f},{(a,b),(a,c),(b,a),(b,c),(c,e),(d,e),(e,d),(e,f),(f,e)})

    • buildExample3

      public static DungTheory buildExample3()
      Builds an example argumentation framework
      Returns:
      AF: ({a,b,c,d},{(a,b),(b,a),(c,d),(d,b)})

    • main

      public static void main(String[] args)
      Parameters:
      args - No input required.