Package org.tweetyproject.arg.dung.syntax

Interface ArgumentationFramework<Arg>

Type Parameters:

Arg - the type of arguments managed within the argumentation framework.

All Superinterfaces:

BeliefBase

All Known Subinterfaces:

AbstractDialecticalFramework

All Known Implementing Classes:

ClaimBasedTheory, DungTheory, ExecutableDungTheory, ExtendedTheory, IncompleteTheory, InducedTheory, PerceivableStructuredArgumentationFramework, ProbabilisticArgumentationFramework, RecursiveExtendedTheory, SetAf, SocialAbstractArgumentationFramework, StructuredArgumentationFramework, WeightedArgumentationFramework, WeightedDungTheory

public interface ArgumentationFramework<Arg>
extends BeliefBase

Represents a generic interface for argumentation frameworks in the context of Dung's theory. This interface defines the basic structure and operations that can be performed within an argumentation framework. It extends the BeliefBase interface, integrating with the broader infrastructure for managing logical beliefs.

Author:

Sebastian Franke

Method Summary

Modifier and Type	Method	Description
boolean	containsAll(Collection<?> c)	Checks if the argumentation framework contains all the elements in the given collection.
Collection<Arg>	getNodes()	Retrieves all the nodes (arguments) of this argumentation framework.
boolean	isAttacked(Arg a, Extension<? extends ArgumentationFramework<?>> ext)	Determines whether a given argument is attacked by any arguments in the specified extension.

Methods inherited from interface org.tweetyproject.commons.BeliefBase

getMinimalSignature, toString

Method Details

containsAll

boolean containsAll(Collection<?> c)

Checks if the argumentation framework contains all the elements in the given collection.

Parameters:

c - the collection of elements to be checked for containment.

Returns:

true if this framework contains all elements in the specified collection, false otherwise.

isAttacked

boolean isAttacked(Arg a,
 Extension<? extends ArgumentationFramework<?>> ext)

Determines whether a given argument is attacked by any arguments in the specified extension.

Parameters:

a - the argument to check if it is being attacked.

ext - the extension that potentially contains attackers of the argument.

Returns:

true if the argument a is attacked by any argument in the given extension ext, false otherwise.

getNodes

Collection<Arg> getNodes()

Retrieves all the nodes (arguments) of this argumentation framework.

Returns:

a collection of all arguments (nodes) within this framework.