Class QualifiedSemanticsReasonerExample

java.lang.Object
org.tweetyproject.arg.dung.examples.QualifiedSemanticsReasonerExample
public class QualifiedSemanticsReasonerExample extends Object
Example on how to use the qualified and semi-qualified semantics reasoners.
Author:
Lars Bengel

  • Constructor Details

    • QualifiedSemanticsReasonerExample

      public QualifiedSemanticsReasonerExample()

  • Method Details

    • main

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

    • example1

      public static DungTheory example1()
      Creates and returns an example of a Dung argumentation framework (Dung Theory).

      This example consists of three arguments: a, b, and c.

      Returns:
      A DungTheory object representing the defined argumentation framework.

    • example2

      public static DungTheory example2()
      Creates and returns an example of a Dung argumentation framework (Dung Theory).
      Returns:
      A DungTheory object representing the defined argumentation framework.

    • example3

      public static DungTheory example3()
      Creates and returns an example of a Dung argumentation framework (Dung Theory).

      Returns:
      A DungTheory object representing the defined argumentation framework.