Class EafReasonerExample

java.lang.Object

org.tweetyproject.arg.eaf.examples.EafReasonerExample

public class EafReasonerExample
extends Object

Demonstrates the use of EpistemicArgumentationFramework (EAF) with various logical constraints and how they affect argument justification under different semantics.

This example includes:

• Defining a shared Dung theory with several mutually attacking arguments
• Creating multiple EAFs with different epistemic constraints
• Computing epistemic labelling sets under stable, grounded, and preferred semantics
• Using simple EAF reasoners to compute extensions and argument justification statuses
• Checking constraint strength and its impact on the resulting labelling sets

This class illustrates both declarative modeling of agent beliefs and procedural reasoning using the provided reasoners.

Constructor Summary

Constructors

Constructor	Description
EafReasonerExample()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Entry point of the example program demonstrating epistemic argumentation reasoning.

Methods inherited from class java.lang.Object

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

Constructor Details

EafReasonerExample

public EafReasonerExample()

Method Details

main

public static void main(String[] args)
                 throws ParserException,
IOException

Entry point of the example program demonstrating epistemic argumentation reasoning.

Creates several epistemic argumentation frameworks (EAFs) based on a common Dung theory and evaluates how different logical constraints affect the argument labellings. It uses:

• EpistemicArgumentationFramework.getWEpistemicLabellingSets(Semantics) to compute labellings
• AbstractEAFReasoner and SimpleEAFPreferredReasoner to compute extensions and acceptance statuses
• EpistemicArgumentationFramework.isStrongerConstraint(String, Semantics) to compare constraint strength

Parameters:

args - command-line arguments (not used)

Throws:

IOException - if an error occurs while parsing the EAF constraints

ParserException - if any constraint formula is invalid or cannot be parsed