Class SerialisedExtensionReasonerExample

java.lang.Object
org.tweetyproject.arg.dung.examples.SerialisedExtensionReasonerExample
public class SerialisedExtensionReasonerExample extends Object
This class summarises examples displaying the usage of SerialisedExtensionReasoner for different types of serialisable semantics.
Author:
Julian Sander, Lars Bengel
See Also:
  • "Matthias Thimm. 'Revisiting initial sets in abstract argumentation', Argument & Computation, (2022)"
  • "Lars Bengel and Matthias Thimm. 'Serialisable Semantics for Abstract Argumentation', Proceedings of COMMA'22, (2022)"

  • Constructor Details

    • SerialisedExtensionReasonerExample

      public SerialisedExtensionReasonerExample()

  • Method Details

    • main

      public static void main(String[] args)
      Execute the example
      Parameters:
      args - cmdline arguments

    • example1

      public static DungTheory example1()
      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)})

    • example2

      public static DungTheory example2()
      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)})

    • example3

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