Package org.tweetyproject.arg.deductive.examples

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).