Uses of Interface
org.tweetyproject.arg.dung.util.DungTheoryGenerator
Packages that use DungTheoryGenerator
Package
Description
-
Uses of DungTheoryGenerator in org.tweetyproject.agents.dialogues.lotteries.sim
Constructors in org.tweetyproject.agents.dialogues.lotteries.sim with parameters of type DungTheoryGeneratorModifierConstructorDescriptionLotteryGameGenerator(DungTheoryGenerator gen, Semantics semantics) Creates a new game generator.LotteryGameGenerator(DungTheoryGenerator gen, Semantics semantics, boolean ensureArg) Creates a new game generator. -
Uses of DungTheoryGenerator in org.tweetyproject.agents.dialogues.oppmodels.sim
Constructors in org.tweetyproject.agents.dialogues.oppmodels.sim with parameters of type DungTheoryGeneratorModifierConstructorDescriptionGroundedGameGenerator(DungTheoryGenerator gen, double viewPercentagePro, double viewPercentageCon) Creates a new game generator. -
Uses of DungTheoryGenerator in org.tweetyproject.arg.dung.util
Classes in org.tweetyproject.arg.dung.util that implement DungTheoryGeneratorModifier and TypeClassDescriptionclassImplements a customizable Dung theory generator.classThis class is responsible for dilating a specified original abstract argumentation framework by adding new arguments and new attacks, while conserving the original framwork.classThis generator generators all possible Dung argumentation theories.classThis generator receives a list of files containing Dung theories and returns those step by step.classThis generator generators all possible Dung argumentation theories (modulo graph isomorphism).classCreates AAFs with a complex structure for tasks related to skeptical reasoning wrt.classThis generator generates abstract argumentation frameworks following the schema described in "Strong Admissibility Revisited" (COMMA2014) by Martin Caminda, following and idea by Mikolay Podlaszewski.