DeductiveBipolarArgumentation

java.lang.Object

org.tweetyproject.arg.bipolar.examples.DeductiveBipolarArgumentation

public class DeductiveBipolarArgumentation extends Object

Demonstrates the construction of deductive argumentation frameworks and the computation of their extensions.

Author:: Lars Bengel

Constructor Summary

Constructors

Constructor

Description

DeductiveBipolarArgumentation()

Default constructor for the DeductiveBipolarArgumentation class.
Method Summary

Modifier and Type

Method

Description

static void

main(String[] args)

The entry point of the example program.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- DeductiveBipolarArgumentation
  
  public DeductiveBipolarArgumentation()
  
  Default constructor for the DeductiveBipolarArgumentation class. Initializes an instance of this class, though it currently has no specific initialization logic.
Method Details
- main
  
  public static void main(String[] args)
  
  The entry point of the example program. Constructs a deductive argumentation framework, adds arguments, attacks, and supports, and computes extensions using different reasoners.
  
  Parameters:
  
  args - command-line arguments (not used)