Class SimplePlLogicExample

java.lang.Object
org.tweetyproject.arg.deductive.examples.SimplePlLogicExample
public class SimplePlLogicExample extends Object
Example code for simple logic argumentation.
Author:
Federico Cerutti (federico.cerutti@acm.org)

  • Constructor Summary

    Constructors
    Constructor
    Description
    SimplePlLogicExample()
    Default Constructor

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    This class demonstrates the parsing of a simple propositional logic belief base, the generation of a deductive knowledge base, and the construction of an argumentation framework.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • SimplePlLogicExample

      public SimplePlLogicExample()
      Default Constructor

  • Method Details

    • main

      public static void main(String[] args)
      This class demonstrates the parsing of a simple propositional logic belief base, the generation of a deductive knowledge base, and the construction of an argumentation framework. The program parses a belief base in propositional logic, generates the corresponding argumentation framework (AF) with arguments and attacks, and prints the results.
      Parameters:
      args - Command-line arguments (not used in this example).