PrincipleExample

java.lang.Object

org.tweetyproject.arg.dung.examples.PrincipleExample

public class PrincipleExample extends Object

Example code for checking (non-)satisfaction of Principle for argumentation semantics

Author:: Lars Bengel

Constructor Summary

Constructors

Constructor

Description

PrincipleExample()
Method Summary

Modifier and Type

Method

Description

static void

evaluateReasoner(AbstractExtensionReasoner reasoner, Collection<Principle> principles)

Evaluates a given abstract extension reasoner against a collection of principles (postulates).

static void

main(String[] args)

Execute the example

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

Constructor Details
- PrincipleExample
  
  public PrincipleExample()
Method Details
- main
  
  public static void main(String[] args)
  
  Execute the example
  
  Parameters:
  
  args - cmdline arguments
- evaluateReasoner
  
  public static void evaluateReasoner(AbstractExtensionReasoner reasoner, Collection<Principle> principles)
  
  Evaluates a given abstract extension reasoner against a collection of principles (postulates).
  This method uses a DungTheoryGenerator to generate Dung argumentation frameworks and evaluates how well the provided AbstractExtensionReasoner satisfies the given principles. The evaluation is conducted using a PostulateEvaluator, which applies the principles to generated frameworks and assesses the reasoner's performance.
  
  Parameters:
  
  reasoner - The AbstractExtensionReasoner to be evaluated. This reasoner provides extensions for argumentation frameworks.
  
  principles - A collection of Principle objects representing the postulates against which the reasoner will be evaluated.