Package org.tweetyproject.arg.dung.util

package org.tweetyproject.arg.dung.util
  • Class
    Description
    DefaultDungTheoryGenerator
    Implements a customizable Dung theory generator.
    DungTheoryGenerationParameters
    This class lists some parameters for Dung theory generation.
    DungTheoryGenerator
    Class implementing this interface provide the capability to generate Dung theories.
    DungTheoryPlotter
    This class represents a specialization of graph plotters used to visualize argumentation frameworks, also called @see org.tweetyproject.arg.dung.syntax.DungTheory.
    EnumeratingDilationGenerator
    This class is responsible for dilating a specified original abstract argumentation framework by adding new arguments and new attacks, while conserving the original framwork.
    EnumeratingDungTheoryGenerator
    This generator generators all possible Dung argumentation theories.
    FileDungTheoryGenerator
    This generator receives a list of files containing Dung theories and returns those step by step.
    IsoSafeEnumeratingDungTheoryGenerator
    This generator generators all possible Dung argumentation theories (modulo graph isomorphism).
    KwtDungTheoryGenerator
    Creates AAFs with a complex structure for tasks related to skeptical reasoning wrt.
    PodlaszewskiCaminadaDungTheoryGenerator
    This generator generates abstract argumentation frameworks following the schema described in "Strong Admissibility Revisited" (COMMA2014) by Martin Caminda, following and idea by Mikolay Podlaszewski.
    PrSigBasedDungTheoryGenerator
    Creates abstract argumentation graphs by first generating the corresponding set of preferred extensions and then construct the graph by using the construction method from [Dunne, Dvorak, Linsbichler, Woltran: Characteristics of multiple viewpoints in abstract argumentation.
    Realizability
    Contains some methods for checking realizability of extension sets, see e.g.