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, ConstrainedArgumentationFramework, 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 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.