Class EAFAgreementReasonerExample

java.lang.Object

org.tweetyproject.arg.eaf.examples.EAFAgreementReasonerExample

public class EAFAgreementReasonerExample
extends Object

Demonstrates the usage of the EAFAgreementReasoner to reason over multiple Epistemic Argumentation Frameworks (EAFs) that share the same underlying Dung theory.

This example illustrates how agents with different epistemic constraints can express beliefs about arguments, and how the agreement reasoner can:

• Query whether arguments are (credulously/skeptically) accepted under a given semantics
• Track multiple EAFs and compare their constraints
• Handle updates to agents’ beliefs
• Perform majority voting on argument acceptance

The scenario includes two mutually attacking arguments a and r, and shows how different constraints influence reasoning outcomes.

Constructor Summary

Constructors

Constructor	Description
EAFAgreementReasonerExample()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Entry point of the program demonstrating the use of EAFAgreementReasoner with multiple epistemic argumentation frameworks.

Methods inherited from class java.lang.Object

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

Constructor Details

EAFAgreementReasonerExample

public EAFAgreementReasonerExample()

Method Details

main

public static void main(String[] args)
                 throws Exception

Entry point of the program demonstrating the use of EAFAgreementReasoner with multiple epistemic argumentation frameworks.

The method creates a simple Dung theory with two arguments that attack each other, and evaluates whether the argument a is accepted based on agents' constraints using credulous and skeptical reasoning under complete semantics.

Parameters:

args - command-line arguments (not used).

Throws:

Exception - if reasoning fails or an invalid constraint is provided.