Uses of Class
org.tweetyproject.arg.dung.syntax.DungTheory
Packages that use DungTheory
Package
Description
-
Uses of DungTheory in org.tweetyproject.agents.dialogues
Subclasses of DungTheory in org.tweetyproject.agents.dialoguesModifier and TypeClassDescriptionclassThis class packs a Dung theory into an executable object.Methods in org.tweetyproject.agents.dialogues that return DungTheoryModifier and TypeMethodDescriptionArgumentationEnvironment.getPerceivedDungTheory(Extension<DungTheory> arguments) Returns the view of the universal Dung theory restricted to the given set of arguments.LotteryArgumentationEnvironment.getPerceivedDungTheory(Extension<?> arguments) Returns the view of the universal Dung theory restricted to the given set of arguments.Methods in org.tweetyproject.agents.dialogues that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionArgumentationEnvironment.getDialogueTrace()Returns the current dialogue trace.LotteryArgumentationEnvironment.getDialogueTrace()Returns the current dialogue trace.LotteryArgumentationEnvironment.getDialogueTrace()Returns the current dialogue trace.Method parameters in org.tweetyproject.agents.dialogues with type arguments of type DungTheoryModifier and TypeMethodDescriptionArgumentationEnvironment.getPerceivedDungTheory(Extension<DungTheory> arguments) Returns the view of the universal Dung theory restricted to the given set of arguments.Constructors in org.tweetyproject.agents.dialogues with parameters of type DungTheoryModifierConstructorDescriptionArgumentationEnvironment(DungTheory universalTheory) Creates a new grounded environment.ExecutableDungTheory(DungTheory theory) Creates a new dung theory for the given Dung theory.LotteryArgumentationEnvironment(DungTheory universalTheory) Creates a new grounded environment. -
Uses of DungTheory in org.tweetyproject.agents.dialogues.lotteries
Methods in org.tweetyproject.agents.dialogues.lotteries that return DungTheoryModifier and TypeMethodDescriptionAbstractLotteryAgent.getTheory()Returns the theory of this agent.ProbabilisticLotteryAgent.getTheory()Returns the theory of this agent.Methods in org.tweetyproject.agents.dialogues.lotteries with parameters of type DungTheoryModifier and TypeMethodDescriptionabstract doubleAbstractLotteryAgent.getUtility(DungTheory theory, Semantics semantics) Returns the utility of the agent wrt.doubleDummyLotteryAgent.getUtility(DungTheory theory, Semantics semantics) doubleProbabilisticLotteryAgent.getUtility(DungTheory theory, Semantics semantics) doubleRandomLotteryAgent.getUtility(DungTheory theory, Semantics semantics) doubleUtilityBasedLotteryAgent.getUtility(DungTheory theory, Semantics semantics) Returns the utility of a given Dung theory based on the agent's utility function and the specified semantics.Constructors in org.tweetyproject.agents.dialogues.lotteries with parameters of type DungTheoryModifierConstructorDescriptionAbstractLotteryAgent(String name, DungTheory theory, Semantics semantics) Creates a new lottery agentDummyLotteryAgent(String name, DungTheory theory, Semantics semantics) Create DummyLotteryAgentLotteryGameSystem(DungTheory universalTheory) Creates a new grounded game system.ProbabilisticLotteryAgent(String name, DungTheory theory, SubgraphProbabilityFunction prob, UtilityFunction util, Semantics semantics) Creates a new lottery agentProbabilisticLotteryAgent(String name, DungTheory theory, SubgraphProbabilityFunction prob, UtilityFunction util, Semantics semantics, byte updatestrategy) Creates a new lottery agentProbabilisticLotteryAgent(String name, DungTheory theory, SubgraphProbabilityFunction prob, UtilityFunction util, Semantics semantics, byte updatestrategy, double stickynesscoefficient) Creates a new lottery agentRandomLotteryAgent(String name, DungTheory theory, UtilityFunction util, Semantics semantics) Creates a new agent with the given name, theory, utility function and semanticsUtilityBasedLotteryAgent(String name, DungTheory theory, UtilityFunction util, Semantics semantics) Constructs a newUtilityBasedLotteryAgentwith the given name, Dung theory, utility function, and semantics. -
Uses of DungTheory in org.tweetyproject.agents.dialogues.oppmodels
Method parameters in org.tweetyproject.agents.dialogues.oppmodels with type arguments of type DungTheoryModifier and TypeMethodDescriptionT1BeliefState.doMove(ArgumentationEnvironment env, DialogueTrace<Argument, Extension<DungTheory>> trace) doubleGroundedGameUtilityFunction.getUtility(DialogueTrace<Argument, Extension<DungTheory>> trace) doubleGroundedGameUtilityFunction.getUtility(DialogueTrace<Argument, Extension<DungTheory>> trace, Set<Argument> additionalArguments, Set<Attack> additionalAttacks) abstract voidBeliefState.update(DialogueTrace<Argument, Extension<DungTheory>> trace) Updates the current belief state accordingly to the given dialogue trace.voidT1BeliefState.update(DialogueTrace<Argument, Extension<DungTheory>> trace) voidT2BeliefState.update(DialogueTrace<Argument, Extension<DungTheory>> trace) voidT3BeliefState.update(DialogueTrace<Argument, Extension<DungTheory>> trace) Constructors in org.tweetyproject.agents.dialogues.oppmodels with parameters of type DungTheoryModifierConstructorDescriptionGroundedGameSystem(DungTheory universalTheory) Creates a new grounded game system.GroundedGameUtilityFunction(DungTheory theory, Argument argument, GroundedGameSystem.AgentFaction faction) Construct utility function.Constructor parameters in org.tweetyproject.agents.dialogues.oppmodels with type arguments of type DungTheoryModifierConstructorDescriptionBeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction) Creates a new belief-state with the given parameters.BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction) Creates a new belief-state with the given parameters.T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction) Creates a new T1-belief-state with the given parameters and without nesting.T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction) Creates a new T1-belief-state with the given parameters and without nesting.T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction, T1BeliefState oppModel) Creates a new T1-belief-state with the given parameters.T1BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction, T1BeliefState oppModel) Creates a new T1-belief-state with the given parameters.T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction) Creates a new T2-belief-state with the given parameters and without nesting.T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction) Creates a new T2-belief-state with the given parameters and without nesting.T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction, ProbabilityFunction<T2BeliefState> prob) Creates a new T2-belief-state with the given parameters.T2BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction, ProbabilityFunction<T2BeliefState> prob) Creates a new T2-belief-state with the given parameters.T3BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction, Set<Argument> virtualArguments, Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob) Creates a new T3-belief-state with the given parameters.T3BeliefState(Extension<DungTheory> knownArguments, UtilityFunction<Argument, Extension<DungTheory>> utilityFunction, Set<Argument> virtualArguments, Set<Attack> virtualAttacks, RecognitionFunction rec, ProbabilityFunction<T3BeliefState> prob) Creates a new T3-belief-state with the given parameters. -
Uses of DungTheory in org.tweetyproject.agents.dialogues.structured
Subclasses of DungTheory in org.tweetyproject.agents.dialogues.structuredModifier and TypeClassDescriptionclassThis class packs a structured argumentation framework into a perceivable object. -
Uses of DungTheory in org.tweetyproject.arg.aba.syntax
Methods in org.tweetyproject.arg.aba.syntax that return DungTheoryModifier and TypeMethodDescriptionAbaTheory.asDungTheory()Return a Dung Theory derived from this ABA theory -
Uses of DungTheory in org.tweetyproject.arg.aspic.reasoner
Methods in org.tweetyproject.arg.aspic.reasoner that return DungTheoryModifier and TypeMethodDescriptionDirectionalAspicReasoner.asRestrictedDungTheory(AspicArgumentationTheory<T> aat, boolean simplifyArgumentStructure, T conc) Generate restricted AF based on given theory and conclusion.abstract DungTheoryAbstractAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query) Computes the Dung theory from which the answer will be derivedDirectionalAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query) ModuleBasedAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query) RandomAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query) SimpleAspicReasoner.getDungTheory(AspicArgumentationTheory<T> aat, T query) Methods in org.tweetyproject.arg.aspic.reasoner with parameters of type DungTheoryModifier and TypeMethodDescriptionfinal BooleanAbstractAspicReasoner.query(DungTheory dt, T query, InferenceMode inferenceMode) -
Uses of DungTheory in org.tweetyproject.arg.aspic.syntax
Methods in org.tweetyproject.arg.aspic.syntax that return DungTheoryModifier and TypeMethodDescriptionAspicArgumentationTheory.asDungTheory()This method transfers this Aspic+ theory into a Dung style argumentation systemAspicArgumentationTheory.asDungTheory(boolean simplifyArgumentStructure) This method transfers this Aspic+ theory into a Dung style argumentation system -
Uses of DungTheory in org.tweetyproject.arg.bipolar.io.eaf
Methods in org.tweetyproject.arg.bipolar.io.eaf that return DungTheory -
Uses of DungTheory in org.tweetyproject.arg.bipolar.syntax
Methods in org.tweetyproject.arg.bipolar.syntax that return DungTheoryModifier and TypeMethodDescriptionEAFTheory.convertToDAFNaively()This method converts this EAF to a DAF with using Algorithm 1 from Oren et.DeductiveArgumentationFramework.getCompleteAssociatedDungTheory()constructs the complete associated dung theory of this bipolar argumentation framework i.e.DeductiveArgumentationFramework.getMetaFramework()constructs the meta dung theory of this bipolar argumentation framework by adding meta-arguments for every attack and support relation See Boella et al.Constructor parameters in org.tweetyproject.arg.bipolar.syntax with type arguments of type DungTheoryModifierConstructorDescriptionArgumentSet(Extension<DungTheory> ext) Constructs anArgumentSetand initializes it with the arguments from a givenExtension<DungTheory>. -
Uses of DungTheory in org.tweetyproject.arg.deductive.syntax
Methods in org.tweetyproject.arg.deductive.syntax that return DungTheoryModifier and TypeMethodDescriptionSimplePlLogicDeductiveKnowledgebase.getAF()Builds the argumentation framework (AF) by generating arguments and attacks between them based on the knowledge base. -
Uses of DungTheory in org.tweetyproject.arg.delp.syntax
Methods in org.tweetyproject.arg.delp.syntax that return DungTheoryModifier and TypeMethodDescriptionDefeasibleLogicProgram.getDungTheory()This method translates this delp into an abstract Dung theory. -
Uses of DungTheory in org.tweetyproject.arg.dung.analysis
Classes in org.tweetyproject.arg.dung.analysis with type parameters of type DungTheoryModifier and TypeClassDescriptionclassCycleCountInconsistencyMeasure<T extends DungTheory>This class represents an inconsistency measure based on the count of cycles in an argumentation framework.classDrasticInconsistencyMeasure<T extends DungTheory>Calculates the drastic inconsistency measure of the given argumentation framework.It implements the InconsistencyMeasure interface.interfaceInconsistencyMeasure<T extends DungTheory>This interface represents a measure of inconsistency for a Dungian argumentation framework.classInSumInconsistencyMeasure<T extends DungTheory>This class implements an inconsistency measure for Dung's argumentation frameworks based on the number of attacks within the framework.classNonGroundedCountInconsistencyMeasure<T extends DungTheory>Calculates the non-grounded count inconsistency measure of the given argumentation framework.classPreferredCountInconsistencyMeasure<T extends DungTheory>This class represents an inconsistency measure based on the count of preferred extensions in a Dung theory.classUnstableCountInconsistencyMeasure<T extends DungTheory>This class represents an inconsistency measure based on stable extensions.classImplements an inconsistency measure for Dung's argumentation frameworks based on the weighted count of connected components within the framework.classWeightedCycleCountInconsistencyMeasure<T extends DungTheory>This class provides an inconsistency measure for Dung's argumentation frameworks based on the count and structure of cycles within the framework.classWeightedInSumInconsistencyMeasure<T extends DungTheory>Implements an inconsistency measure for Dung's argumentation frameworks based on the weighted sum of incoming attacks to each argument.classWeightedOutSumInconsistencyMeasure<T extends DungTheory>This class implements an inconsistency measure for Dung's argumentation frameworks based on the weighted sum of outgoing attacks from each argument. -
Uses of DungTheory in org.tweetyproject.arg.dung.causal.syntax
Subclasses of DungTheory in org.tweetyproject.arg.dung.causal.syntaxModifier and TypeClassDescriptionclassThis class describes anabstract argumentation frameworkthat was induced by aCausalKnowledgeBaseReference "Argumentation-based Causal and Counterfactual Reasoning" by Lars Bengel, Lydia Blümel, Tjitze Rienstra and Matthias Thimm, published at 1st International Workshop on Argumentation for eXplainable AI (ArgXAI, co-located with COMMA ’22), September 12, 2022 -
Uses of DungTheory in org.tweetyproject.arg.dung.divisions
Methods in org.tweetyproject.arg.dung.divisions that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionDivision.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this division, i.e.Methods in org.tweetyproject.arg.dung.divisions with parameters of type DungTheoryModifier and TypeMethodDescriptionDivision.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this division, i.e.static Collection<Division> Division.getDivisions(Collection<Extension<DungTheory>> exts, DungTheory aaf) Returns all divisions of all given extensions and the given aaf.static Collection<Division> Division.getDivisions(Extension<DungTheory> ext, DungTheory aaf) Returns all divisions of aaf that arise from the given extension.static Collection<Division> Division.getStandardDivisions(DungTheory theory) Returns the standard set of divisions of the given argumentation theory, i.e.static booleanDivision.isDisjoint(Collection<Division> divisions, DungTheory theory, Semantics semantics) Checks whether the given set o divisions is disjoint wrt.static booleanDivision.isExhaustive(Collection<Division> divisions, DungTheory theory, Semantics semantics) Checks whether the given set of divisions is exhaustive wrt.Method parameters in org.tweetyproject.arg.dung.divisions with type arguments of type DungTheoryModifier and TypeMethodDescriptionstatic Collection<Division> Division.getDivisions(Collection<Extension<DungTheory>> exts, DungTheory aaf) Returns all divisions of all given extensions and the given aaf.static Collection<Division> Division.getDivisions(Extension<DungTheory> ext, DungTheory aaf) Returns all divisions of aaf that arise from the given extension.booleanDivision.isValid(Collection<Extension<DungTheory>> exts) Checks whether this division is valid wrt.booleanDivision.isValid(Extension<DungTheory> ext) Checks whether this division is valid wrt.Constructor parameters in org.tweetyproject.arg.dung.divisions with type arguments of type DungTheoryModifierConstructorDescriptionDivision(Extension<DungTheory> p, Extension<DungTheory> v) Creates a new division for the given parameters. -
Uses of DungTheory in org.tweetyproject.arg.dung.equivalence
Methods in org.tweetyproject.arg.dung.equivalence that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionStrongEquivalence.getEquivalentTheories(DungTheory baseTheory) Computes the 'equivalence class' of the given Argumentation Framework, i.e., the set of all argumentation frameworks that are strongly equivalent wrt.Methods in org.tweetyproject.arg.dung.equivalence with parameters of type DungTheoryModifier and TypeMethodDescriptionStrongEquivalence.getEquivalentTheories(DungTheory baseTheory) Computes the 'equivalence class' of the given Argumentation Framework, i.e., the set of all argumentation frameworks that are strongly equivalent wrt.booleanIdentityEquivalence.isEquivalent(DungTheory obj1, DungTheory obj2) booleanSerialisationEquivalence.isEquivalent(DungTheory obj1, DungTheory obj2) booleanStandardEquivalence.isEquivalent(DungTheory obj1, DungTheory obj2) booleanStrongEquivalence.isEquivalent(DungTheory theory1, DungTheory theory2) Method parameters in org.tweetyproject.arg.dung.equivalence with type arguments of type DungTheoryModifier and TypeMethodDescriptionbooleanIdentityEquivalence.isEquivalent(Collection<DungTheory> objects) booleanSerialisationEquivalence.isEquivalent(Collection<DungTheory> objects) booleanStandardEquivalence.isEquivalent(Collection<DungTheory> objects) booleanStrongEquivalence.isEquivalent(Collection<DungTheory> objects) -
Uses of DungTheory in org.tweetyproject.arg.dung.equivalence.kernel
Methods in org.tweetyproject.arg.dung.equivalence.kernel that return DungTheoryModifier and TypeMethodDescriptionEquivalenceKernel.getKernel(DungTheory theory) computes the kernel of the given AFMethods in org.tweetyproject.arg.dung.equivalence.kernel with parameters of type DungTheoryModifier and TypeMethodDescriptionEquivalenceKernel.getKernel(DungTheory theory) computes the kernel of the given AFAdmissibleKernel.getRedundantAttacks(DungTheory theory) CompleteKernel.getRedundantAttacks(DungTheory theory) abstract Collection<Attack> EquivalenceKernel.getRedundantAttacks(DungTheory theory) compute the set of redundant attacks, i.e., all attacks that are removed in oder to retrieve the kernel of the given AFGroundedKernel.getRedundantAttacks(DungTheory theory) StableKernel.getRedundantAttacks(DungTheory theory) -
Uses of DungTheory in org.tweetyproject.arg.dung.examples
Methods in org.tweetyproject.arg.dung.examples that return DungTheoryModifier and TypeMethodDescriptionstatic DungTheorySerialisableExtensionReasonerExample.buildExample1()Builds an example argumentation frameworkstatic DungTheorySerialisableExtensionReasonerExample.buildExample2()Builds an example argumentation frameworkstatic DungTheorySerialisableExtensionReasonerExample.buildExample3()Builds an example argumentation frameworkstatic DungTheoryDungTheoryPlotterExample.example1()Generates the first example of an argumentation framework.static DungTheoryDungTheoryPlotterExample.example2()Generates the second example of an argumentation framework.static DungTheoryDungTheoryPlotterExample.example3()Generates the third example of an argumentation framework. -
Uses of DungTheory in org.tweetyproject.arg.dung.independence
Methods in org.tweetyproject.arg.dung.independence with parameters of type DungTheoryModifier and TypeMethodDescriptionstatic SimpleGraph<Argument> Independence.computeDGraph(DungTheory theory) transform the given AF into a DAG (D-graph) by adding new meta argument for each strongly connected componentstatic booleanIndependence.isIndependent(DungTheory theory, Collection<Argument> argsA, Collection<Argument> argsB, Collection<Argument> argsC) compute whether args and argsB are independent given argsC in the given AF argsA, argsB and argsC are disjointstatic booleanIndependence.isIndependent(DungTheory theory, Collection<Argument> argsA, Collection<Argument> argsB, Collection<Argument> argsC, boolean pruneOutAttacks) compute whether args and argsB are independent given argsC in the given AF argsA, argsB and argsC are disjointstatic Collection<Collection<Argument>> Independence.isIndependentGiven(DungTheory theory, Collection<Argument> argsA, Collection<Argument> argsB) compute the smallest set of arguments which needs to be observed so that argsA and argsB are independent in the given AF argsA and argsB are disjointstatic Collection<Collection<Argument>> Independence.isIndependentGiven(DungTheory theory, Collection<Argument> argsA, Collection<Argument> argsB, boolean pruneOutAttacks) compute the smallest set of arguments which needs to be observed so that argsA and argsB are independent in the given AF argsA and argsB are disjoint -
Uses of DungTheory in org.tweetyproject.arg.dung.ldo.semantics
Methods in org.tweetyproject.arg.dung.ldo.semantics with parameters of type DungTheoryConstructors in org.tweetyproject.arg.dung.ldo.semantics with parameters of type DungTheoryModifierConstructorDescriptionLdoInterpretation(DungTheory theory, Extension ext, Semantics semantics) Creates a new interpretationLdoInterpretation(DungTheory theory, Semantics semantics) Creates a new interpretation -
Uses of DungTheory in org.tweetyproject.arg.dung.ldo.syntax
Methods in org.tweetyproject.arg.dung.ldo.syntax that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionLdoFormula.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this formula, i.e.Methods in org.tweetyproject.arg.dung.ldo.syntax with parameters of type DungTheoryModifier and TypeMethodDescriptionLdoFormula.getDividers(DungTheory theory, Semantics semantics) Returns the dividers for this formula, i.e. -
Uses of DungTheory in org.tweetyproject.arg.dung.learning
Methods in org.tweetyproject.arg.dung.learning that return DungTheoryModifier and TypeMethodDescriptionAFLearner.getModel()compute an argumentation framework that satisfy the internal acceptance conditionsOptimizedParallelAFLearner.getModel()compute a single model that satisfies all attack constraints computation for each argument constraint is independent and thus can be done in parallelSimpleAFLearner.getModel()NiskanenTheorySynthesizer.learnExamples(Map<Extension<DungTheory>, Integer> positiveExamples, Map<Extension<DungTheory>, Integer> negativeExamples) learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examplesTheoryLearner.learnExamples(Map<Labeling, Integer> positiveExamples, Map<Labeling, Integer> negativeExamples) learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examplesImprovedRiveretTheoryLearner.learnLabelings(ArrayList<Labeling> labelings) learn theory without pruning discarded attacksImprovedRiveretTheoryLearner.learnLabelings(ArrayList<Labeling> labelings, boolean prune, int threshold) learn random labelings from the given List until no undecided attacks are left in the theoryRiveretTheoryLearner.learnLabelings(ArrayList<Labeling> labelings) learn theory without pruning discarded attacksRiveretTheoryLearner.learnLabelings(ArrayList<Labeling> labelings, boolean prune, int threshold) learn random labelings from the given List until no undecided attacks are left in the theoryMethods in org.tweetyproject.arg.dung.learning that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionMap<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>> ExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>> ExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>> ExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>>> ExtendedExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>>> ExtendedExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>>> ExtendedExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>>> ExtendedExampleFinder.getExamples(int minArgs, int maxArgs) compute a tree like structure of examples.AFLearner.getModels()compute all argumentation frameworks that satisfy the internal acceptance conditionsOptimizedParallelAFLearner.getModels()SimpleAFLearner.getModels()compute the set of argumentation frameworks that satisfy all acceptance conditions 1.Method parameters in org.tweetyproject.arg.dung.learning with type arguments of type DungTheoryModifier and TypeMethodDescriptionNiskanenTheorySynthesizer.learnExamples(Map<Extension<DungTheory>, Integer> positiveExamples, Map<Extension<DungTheory>, Integer> negativeExamples) learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examplesvoidExampleFinder.showExamples(Collection<Extension<DungTheory>> extensions) prints a theory for each set of extensions (of the second semantics) that can occur, given the set of extensions for the first semanticsvoidExtendedExampleFinder.showExamples(Collection<Extension<DungTheory>> extensions1, Collection<Extension<DungTheory>> extensions2) prints a theory for each set of extensions (of the third semantics) that can occur, given the set of extensions for the first and second semantics -
Uses of DungTheory in org.tweetyproject.arg.dung.learning.syntax
Methods in org.tweetyproject.arg.dung.learning.syntax that return DungTheoryModifier and TypeMethodDescriptionEntity.getHiddenAF()return the hidden AF should not be used normallyMethods in org.tweetyproject.arg.dung.learning.syntax with parameters of type DungTheoryModifier and TypeMethodDescriptionbooleanEntity.verifyFramework(DungTheory theory, Collection<Input> inputs) verify if the given theory is equivalent to the hidden framework w.r.t.Constructors in org.tweetyproject.arg.dung.learning.syntax with parameters of type DungTheoryModifierConstructorDescriptionEntity(DungTheory theory) initialize the entity with the given AFEntity(DungTheory theory, List<Input> inputs) Input(DungTheory theory, Extension extension, Semantics semantics) initialize input labeling from the given extension -
Uses of DungTheory in org.tweetyproject.arg.dung.parser
Methods in org.tweetyproject.arg.dung.parser that return DungTheoryModifier and TypeMethodDescriptionabstract DungTheoryParses the given file into an abstract argumentation frameworkAbstractDungParser.parseBeliefBase(Reader reader) ApxParser.parseIgnoreComments(Reader reader, boolean printCommands) Parses an argumentation framework from a reader source with options to ignore comments and optionally print commands.static DungTheoryAbstractDungParser.parseJavaStringRepresentation(String str) Parses a representation of the form "\lt; {a,b,c},[(a,b),(b,c)]\gt;" which is given by DungTheory.toString(); -
Uses of DungTheory in org.tweetyproject.arg.dung.principles
Methods in org.tweetyproject.arg.dung.principles that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionNonInterferencePrinciple.getIsolatedSets(DungTheory theory) Method for calculating isolated sets in a given theory
A set E is isolated in a theory AF iff there exists no argument a in {AF \ E}, with a attacks E and there exists no argument b in E, with b attacks {AF \ E}.DirectionalityPrinciple.getUnattackedSets(DungTheory theory) utility method for calculating unattacked sets in a given theory a set E is unattacked in theory iff there exists no argument a in theory \ E, with a attacks EMethods in org.tweetyproject.arg.dung.principles with parameters of type DungTheoryModifier and TypeMethodDescriptionNonInterferencePrinciple.getIsolatedSets(DungTheory theory) Method for calculating isolated sets in a given theory
A set E is isolated in a theory AF iff there exists no argument a in {AF \ E}, with a attacks E and there exists no argument b in E, with b attacks {AF \ E}.DirectionalityPrinciple.getUnattackedSets(DungTheory theory) utility method for calculating unattacked sets in a given theory a set E is unattacked in theory iff there exists no argument a in theory \ E, with a attacks E -
Uses of DungTheory in org.tweetyproject.arg.dung.reasoner
Methods in org.tweetyproject.arg.dung.reasoner that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionSimpleResolutionBasedReasoner.computeFRAF(DungTheory start) IncompleteReasoner.getAllModels(IncompleteTheory theory) ExtensionRankingReasoner.getConflicts(Extension<DungTheory> ext, DungTheory theory) computes the set of conflicts occurring inside extExtensionRankingReasoner.getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments outside of ext, which are defended by extSimpleNaiveReasoner.getMaximalConflictFreeSets(DungTheory bbase, Collection<Argument> candidates) computes all maximal conflict-free sets of bbaseAbstractSatExtensionReasoner.getModel(DungTheory bbase) ExtensionRankingReasoner.getModel(DungTheory theory) returns the lowest rank of the "getModels" methodProboI23Reasoner.getModel(DungTheory bbase) ProboReasoner.getModel(DungTheory bbase) QualifiedReasoner.getModel(DungTheory bbase) SccCF2Reasoner.getModel(DungTheory bbase) SCF2Reasoner.getModel(DungTheory bbase) SCOOCNaiveReasoner.getModel(DungTheory bbase) SemiQualifiedReasoner.getModel(DungTheory bbase) SimpleAdmissibleReasoner.getModel(DungTheory bbase) SimpleCompleteReasoner.getModel(DungTheory bbase) SimpleConflictFreeReasoner.getModel(DungTheory bbase) SimpleEagerReasoner.getModel(DungTheory bbase) SimpleGroundedReasoner.getModel(DungTheory bbase) SimpleIdealReasoner.getModel(DungTheory bbase) SimpleInitialReasoner.getModel(DungTheory bbase) SimpleNaiveReasoner.getModel(DungTheory bbase) SimplePreferredReasoner.getModel(DungTheory bbase) SimpleResolutionBasedReasoner.getModel(DungTheory bbase) SimpleSccCompleteReasoner.getModel(DungTheory bbase) SimpleSccRecursiveReasoner.getModel(DungTheory bbase) SimpleSemiStableReasoner.getModel(DungTheory bbase) SimpleStableReasoner.getModel(DungTheory bbase) SimpleStageReasoner.getModel(DungTheory bbase) SolidAdmissibleReasoner.getModel(DungTheory bbase) Stage2Reasoner.getModel(DungTheory bbase) StronglyAdmissibleReasoner.getModel(DungTheory bbase) VacuousReductReasoner.getModel(DungTheory bbase) WeaklyAdmissibleReasoner.getModel(DungTheory bbase) returns one weakly admissible set of bbaseWeaklyCompleteReasoner.getModel(DungTheory bbase) WeaklyGroundedReasoner.getModel(DungTheory bbase) WeaklyPreferredReasoner.getModel(DungTheory bbase) AbstractSatExtensionReasoner.getModels(DungTheory bbase) ExtensionRankingReasoner.getModels(DungTheory theory) compute the ordering over all subsets of theory wrt.ProboI23Reasoner.getModels(DungTheory bbase) ProboReasoner.getModels(DungTheory bbase) QualifiedReasoner.getModels(DungTheory bbase) SccCF2Reasoner.getModels(DungTheory bbase) SCF2Reasoner.getModels(DungTheory bbase) SCOOCNaiveReasoner.getModels(DungTheory bbase) SemiQualifiedReasoner.getModels(DungTheory bbase) SimpleAdmissibleReasoner.getModels(DungTheory bbase) SimpleCompleteReasoner.getModels(DungTheory bbase) SimpleConflictFreeReasoner.getModels(DungTheory bbase) SimpleEagerReasoner.getModels(DungTheory bbase) SimpleGroundedReasoner.getModels(DungTheory bbase) SimpleIdealReasoner.getModels(DungTheory bbase) SimpleInitialReasoner.getModels(DungTheory bbase) SimpleNaiveReasoner.getModels(DungTheory bbase) SimplePreferredReasoner.getModels(DungTheory bbase) SimpleResolutionBasedReasoner.getModels(DungTheory bbase) compute the extension with the base semantics of this.semanticSimpleSccCompleteReasoner.getModels(DungTheory bbase) SimpleSccRecursiveReasoner.getModels(DungTheory bbase) SimpleSemiStableReasoner.getModels(DungTheory bbase) SimpleStableReasoner.getModels(DungTheory bbase) SimpleStageReasoner.getModels(DungTheory bbase) SolidAdmissibleReasoner.getModels(DungTheory bbase) Stage2Reasoner.getModels(DungTheory bbase) StronglyAdmissibleReasoner.getModels(DungTheory bbase) VacuousReductReasoner.getModels(DungTheory bbase) WeaklyAdmissibleReasoner.getModels(DungTheory bbase) computes all weakly admissible sets of bbase.WeaklyCompleteReasoner.getModels(DungTheory bbase) WeaklyGroundedReasoner.getModels(DungTheory bbase) WeaklyPreferredReasoner.getModels(DungTheory bbase) IncompleteReasoner.getNecessaryModels(IncompleteTheory theory) Computes the set of necessary extensionsIncompleteReasoner.getPossibleModels(IncompleteTheory theory) Computes the set of possible extensionsExtensionRankingReasoner.getUnattacked(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments outside of ext, which are not attacked by extExtensionRankingReasoner.getUndefended(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments in ext, which are not defended by ext against outside attackersSimpleInitialReasoner.partitionInitialSets(DungTheory theory) Helper function that computed the initial sets of F and labels them in three categoriesProboI23Reasoner.queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) Methods in org.tweetyproject.arg.dung.reasoner with parameters of type DungTheoryModifier and TypeMethodDescriptionSimpleResolutionBasedReasoner.computeFRAF(DungTheory start) static intMaxSatKStableAstReasoner.eval(DungTheory aaf, Set<Argument> set) Returns the maximal k such that the given extension is a k-stable* extension of the given AAF.static intMaxSatKStableReasoner.eval(DungTheory aaf, Set<Argument> set) Returns the maximal k such that the given extension is a k-stable extension of the given AAF.abstract Collection<Argument> AbstractAcceptabilityReasoner.getAcceptableArguments(DungTheory aaf) Returns the set of acceptable arguments of this reasoner.EeeAcceptabilityReasoner.getAcceptableArguments(DungTheory aaf) FudgeAcceptabilityReasoner.getAcceptableArguments(DungTheory aaf) IaqAcceptabilityReasoner.getAcceptableArguments(DungTheory aaf) SeeAcceptabilityReasoner.getAcceptableArguments(DungTheory aaf) SeemAcceptabilityReasoner.getAcceptableArguments(DungTheory aaf) WeaklyAdmissibleReasoner.getAttackingCandidates(DungTheory bbase, Collection<Argument> ext) computes all conflict-free sets, which attack any argument in extWeaklyAdmissibleReasoner.getComponent(DungTheory bbase, Argument argument) finds the set of arguments S = {a | there exists an edge between a and argument}WeaklyAdmissibleReasoner.getConflictFreeCandidateSets(DungTheory bbase, Collection<Argument> candidates) computes all conflict-free sets of bbase, that contain only arguments in candidates and all arguments are relevant an argument is considered relevant iff it attacks any argument in the same component as the given argument AWeaklyAdmissibleReasoner.getConflictFreeSets(DungTheory bbase, Collection<Argument> candidates) computes all conflict-free sets of bbase, that contain only arguments in candidatesExtensionRankingReasoner.getConflicts(Extension<DungTheory> ext, DungTheory theory) computes the set of conflicts occurring inside extExtensionRankingReasoner.getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments outside of ext, which are defended by extSimpleNaiveReasoner.getMaximalConflictFreeSets(DungTheory bbase, Collection<Argument> candidates) computes all maximal conflict-free sets of bbaseAbstractSatExtensionReasoner.getModel(DungTheory bbase) ExtensionRankingReasoner.getModel(DungTheory theory) returns the lowest rank of the "getModels" methodProboI23Reasoner.getModel(DungTheory bbase) ProboReasoner.getModel(DungTheory bbase) QualifiedReasoner.getModel(DungTheory bbase) SccCF2Reasoner.getModel(DungTheory bbase) SCF2Reasoner.getModel(DungTheory bbase) SCOOCNaiveReasoner.getModel(DungTheory bbase) SemiQualifiedReasoner.getModel(DungTheory bbase) SimpleAdmissibleReasoner.getModel(DungTheory bbase) SimpleCompleteReasoner.getModel(DungTheory bbase) SimpleConflictFreeReasoner.getModel(DungTheory bbase) SimpleEagerReasoner.getModel(DungTheory bbase) SimpleGroundedReasoner.getModel(DungTheory bbase) SimpleIdealReasoner.getModel(DungTheory bbase) SimpleInitialReasoner.getModel(DungTheory bbase) SimpleNaiveReasoner.getModel(DungTheory bbase) SimplePreferredReasoner.getModel(DungTheory bbase) SimpleResolutionBasedReasoner.getModel(DungTheory bbase) SimpleSccCompleteReasoner.getModel(DungTheory bbase) SimpleSccRecursiveReasoner.getModel(DungTheory bbase) SimpleSemiStableReasoner.getModel(DungTheory bbase) SimpleStableReasoner.getModel(DungTheory bbase) SimpleStageReasoner.getModel(DungTheory bbase) SolidAdmissibleReasoner.getModel(DungTheory bbase) Stage2Reasoner.getModel(DungTheory bbase) StratifiedLabelingReasoner.getModel(DungTheory bbase) StronglyAdmissibleReasoner.getModel(DungTheory bbase) VacuousReductReasoner.getModel(DungTheory bbase) WeaklyAdmissibleReasoner.getModel(DungTheory bbase) returns one weakly admissible set of bbaseWeaklyCompleteReasoner.getModel(DungTheory bbase) WeaklyGroundedReasoner.getModel(DungTheory bbase) WeaklyPreferredReasoner.getModel(DungTheory bbase) AbstractSatExtensionReasoner.getModels(DungTheory bbase) ExtensionRankingReasoner.getModels(DungTheory theory) compute the ordering over all subsets of theory wrt.ProboI23Reasoner.getModels(DungTheory bbase) ProboReasoner.getModels(DungTheory bbase) QualifiedReasoner.getModels(DungTheory bbase) SccCF2Reasoner.getModels(DungTheory bbase) SCF2Reasoner.getModels(DungTheory bbase) SCOOCNaiveReasoner.getModels(DungTheory bbase) SemiQualifiedReasoner.getModels(DungTheory bbase) SimpleAdmissibleReasoner.getModels(DungTheory bbase) SimpleCompleteReasoner.getModels(DungTheory bbase) SimpleConflictFreeReasoner.getModels(DungTheory bbase) SimpleEagerReasoner.getModels(DungTheory bbase) SimpleGroundedReasoner.getModels(DungTheory bbase) SimpleIdealReasoner.getModels(DungTheory bbase) SimpleInitialReasoner.getModels(DungTheory bbase) SimpleNaiveReasoner.getModels(DungTheory bbase) SimplePreferredReasoner.getModels(DungTheory bbase) SimpleResolutionBasedReasoner.getModels(DungTheory bbase) compute the extension with the base semantics of this.semanticSimpleSccCompleteReasoner.getModels(DungTheory bbase) SimpleSccRecursiveReasoner.getModels(DungTheory bbase) SimpleSemiStableReasoner.getModels(DungTheory bbase) SimpleStableReasoner.getModels(DungTheory bbase) SimpleStageReasoner.getModels(DungTheory bbase) SolidAdmissibleReasoner.getModels(DungTheory bbase) Stage2Reasoner.getModels(DungTheory bbase) StratifiedLabelingReasoner.getModels(DungTheory bbase) StronglyAdmissibleReasoner.getModels(DungTheory bbase) VacuousReductReasoner.getModels(DungTheory bbase) WeaklyAdmissibleReasoner.getModels(DungTheory bbase) computes all weakly admissible sets of bbase.WeaklyCompleteReasoner.getModels(DungTheory bbase) WeaklyGroundedReasoner.getModels(DungTheory bbase) WeaklyPreferredReasoner.getModels(DungTheory bbase) AbstractSatExtensionReasoner.getPropositionalCharacterisation(DungTheory aaf) Creates a propositional representation of the set of labelings of the given Dung theory that are consistent with the given semantics.SolidAdmissibleReasoner.getSolidlyDefended(Extension<DungTheory> ext, DungTheory theory) ExtensionRankingReasoner.getUnattacked(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments outside of ext, which are not attacked by extExtensionRankingReasoner.getUndefended(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments in ext, which are not defended by ext against outside attackersbooleanSimpleInitialReasoner.isChallenged(Extension<DungTheory> ext, DungTheory theory) An initial set S is called challenged in F iff there is some other initial set of F which attacks SbooleanSolidAdmissibleReasoner.isSolidlyDefendedBy(Argument arg, Extension<DungTheory> ext, DungTheory theory) booleanSimpleInitialReasoner.isUnattacked(Extension<DungTheory> ext, DungTheory theory) A set S is called unattacked if there is no attacker of S in FbooleanSimpleInitialReasoner.isUnchallenged(Extension<DungTheory> ext, DungTheory theory) An initial set S is called unchallenged in F iff there is no other initial set of F which attacks SbooleanWeaklyCompleteReasoner.isWeaklyDefendedBy(Collection<Argument> X, Collection<Argument> E, DungTheory theory) Computes whether E w-defends X i.e.SimpleInitialReasoner.partitionInitialSets(DungTheory theory) Helper function that computed the initial sets of F and labels them in three categoriesAbstractAcceptabilityReasoner.query(DungTheory beliefbase, Argument formula) abstract BooleanAbstractDungReasoner.query(DungTheory beliefbase, Argument formula) AbstractExtensionReasoner.query(DungTheory beliefbase, Argument formula) AbstractExtensionReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) Queries the given AAF for the given argument using the given inference type.GCF_GreedyKApproximationReasoner.query(DungTheory aaf, Argument arg) GFR_GreedyKApproximationReasoner.query(DungTheory aaf, Argument arg) KOptimisationReasoner.query(DungTheory aaf, Argument arg) MaxSatKStableAstReasoner.query(DungTheory aaf, Argument arg) MaxSatKStableReasoner.query(DungTheory aaf, Argument arg) ProboI23Reasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) ProboReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) SatCompleteReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) SCF_GreedyKApproximationReasoner.query(DungTheory aaf, Argument arg) SFR_GreedyKApproximationReasoner.query(DungTheory aaf, Argument arg) StratifiedLabelingReasoner.query(DungTheory beliefbase, Argument formula) StratifiedLabelingReasoner.query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) Queries the given AAF for the given argument using the given inference type.ProboI23Reasoner.queryW(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) Method parameters in org.tweetyproject.arg.dung.reasoner with type arguments of type DungTheoryModifier and TypeMethodDescriptionExtensionRankingReasoner.getConflicts(Extension<DungTheory> ext, DungTheory theory) computes the set of conflicts occurring inside extExtensionRankingReasoner.getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments outside of ext, which are defended by extSolidAdmissibleReasoner.getSolidlyDefended(Extension<DungTheory> ext, DungTheory theory) ExtensionRankingReasoner.getUnattacked(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments outside of ext, which are not attacked by extExtensionRankingReasoner.getUndefended(Extension<DungTheory> ext, DungTheory theory) computes the set of arguments in ext, which are not defended by ext against outside attackersbooleanSimpleInitialReasoner.isChallenged(Extension<DungTheory> ext, DungTheory theory) An initial set S is called challenged in F iff there is some other initial set of F which attacks SbooleanSolidAdmissibleReasoner.isSolidlyDefendedBy(Argument arg, Extension<DungTheory> ext, DungTheory theory) booleanSimpleInitialReasoner.isUnattacked(Extension<DungTheory> ext, DungTheory theory) A set S is called unattacked if there is no attacker of S in FbooleanSimpleInitialReasoner.isUnchallenged(Extension<DungTheory> ext, DungTheory theory) An initial set S is called unchallenged in F iff there is no other initial set of F which attacks S -
Uses of DungTheory in org.tweetyproject.arg.dung.reasoner.serialisable
Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionSerialisableExtensionReasoner.getModel(DungTheory bbase) SerialisableExtensionReasoner.getModels(DungTheory bbase) SerialisedAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.SerialisedGroundedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.SerialisedStronglyAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.SerialisedUnchallengedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.Methods in org.tweetyproject.arg.dung.reasoner.serialisable with parameters of type DungTheoryModifier and TypeMethodDescriptionSerialisableExtensionReasoner.getModel(DungTheory bbase) SerialisableExtensionReasoner.getModels(DungTheory bbase) SerialisableExtensionReasoner.getSequences(DungTheory bbase) Computes the set of serialisation sequences that each correspond to some extension wrt.SerialisableExtensionReasoner.getSerialisationGraph(DungTheory bbase) Creates a graph, visualizing the transition states of the serialisation process, which creates all serialisable extensions according to the specified semantics of the specified framework.abstract booleanSerialisableExtensionReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedAdmissibleReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedCompleteReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedPreferredReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedStableReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedUnchallengedReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.Method parameters in org.tweetyproject.arg.dung.reasoner.serialisable with type arguments of type DungTheoryModifier and TypeMethodDescriptionSerialisedAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.SerialisedGroundedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.SerialisedStronglyAdmissibleReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.SerialisedUnchallengedReasoner.selectionFunction(Collection<Extension<DungTheory>> unattacked, Collection<Extension<DungTheory>> unchallenged, Collection<Extension<DungTheory>> challenged) Select a subset of the initial sets of the AF, i.e.abstract booleanSerialisableExtensionReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedAdmissibleReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedCompleteReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedPreferredReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedStableReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt.booleanSerialisedUnchallengedReasoner.terminationFunction(DungTheory theory, Extension<DungTheory> extension) Determines whether the current state represents an extension wrt. -
Uses of DungTheory in org.tweetyproject.arg.dung.semantics
Methods in org.tweetyproject.arg.dung.semantics with parameters of type DungTheory -
Uses of DungTheory in org.tweetyproject.arg.dung.serialisability.semantics
Methods in org.tweetyproject.arg.dung.serialisability.semantics that return DungTheoryModifier and TypeMethodDescriptionSerialisationNode.getTheory()Return the AF corresponding to this stateMethods in org.tweetyproject.arg.dung.serialisability.semantics that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionSerialisationSequence.getArgumentsOfStatus(ArgumentStatus status) SerialisationNode.getExtension()Return the extension corresponding to this stateSerialisationSequence.getExtension()Computes the corresponding extension as the union of all the sets in the sequenceSerialisationGraph.getExtensions()Return the extension that the represented serialisation sequences correspond toMethod parameters in org.tweetyproject.arg.dung.serialisability.semantics with type arguments of type DungTheoryModifier and TypeMethodDescriptionSerialisationGraph.getNodeForExtension(Extension<DungTheory> extension) Return the node of this graph that corresponds to the given extensionConstructors in org.tweetyproject.arg.dung.serialisability.semantics with parameters of type DungTheoryModifierConstructorDescriptionSerialisationGraph(DungTheory theory, Collection<SerialisationSequence> sequences, Semantics semantics) Construct a serialisation graph for the given argumentation framework and set of serialisation sequencesSerialisationGraph(DungTheory theory, Semantics semantics) Construct a serialisation graph for the given argumentation framework and semanticsSerialisationNode(DungTheory theory, Extension<DungTheory> extension) Initializes a serialisation state for the given theory and extension withterminalset tofalseSerialisationNode(DungTheory theory, Extension<DungTheory> extension, boolean terminal) Initializes a new serialisation state for the given theory and extension and terminal valueConstructor parameters in org.tweetyproject.arg.dung.serialisability.semantics with type arguments of type DungTheoryModifierConstructorDescriptionSerialisationNode(DungTheory theory, Extension<DungTheory> extension) Initializes a serialisation state for the given theory and extension withterminalset tofalseSerialisationNode(DungTheory theory, Extension<DungTheory> extension, boolean terminal) Initializes a new serialisation state for the given theory and extension and terminal value -
Uses of DungTheory in org.tweetyproject.arg.dung.serialisability.util
Methods in org.tweetyproject.arg.dung.serialisability.util with parameters of type DungTheoryModifier and TypeMethodDescriptionstatic voidSerialisationAnalysisPlotter.plotAnalyses(Semantics[] semantics, DungTheory[] frameworks, String title, int width, int height) Plots specified frameworks and their associated serialisation graphs for the specified semantics.static voidSerialisationAnalysisPlotter.plotAnalyses(DungTheory framework, SerialisationGraph[] graphs, String title, int width, int height) Plots specified analyses of the serialising generation of extensions, each in a separate frame.static PlotterMultiFrameSerialisationAnalysisPlotter.plotAnalysesOneFrame(Semantics[] semantics, DungTheory[] frameworks, String[] titles, int width, int height) Plots specified frameworks and their associated serialisation graphs for the specified semantics.Method parameters in org.tweetyproject.arg.dung.serialisability.util with type arguments of type DungTheoryModifier and TypeMethodDescriptionstatic voidSerialisationAnalysisPlotter.plotAnalyses(HashMap<DungTheory, SerialisationGraph[]> mapAFtoGraphs, String title, int width, int height) Plots specified frameworks and their associated serialisation graphs for the specified semantics.static PlotterMultiFrameSerialisationAnalysisPlotter.plotAnalysesOneFrame(HashMap<DungTheory, SerialisationGraph[]> mapAFtoGraphs, String title, int width, int height) Plots specified frameworks and their associated serialisation graphs for the specified semantics. -
Uses of DungTheory in org.tweetyproject.arg.dung.syntax
Subclasses of DungTheory in org.tweetyproject.arg.dung.syntaxModifier and TypeClassDescriptionclassimplements claim based theory see: The Complexity Landscape of Claim-Augmented Argumentation Frameworks (Wolfgang Dvoˇr´ak Alexander Greßler Anna Rapberger StefanWoltran )classimplementation of incomplete argumentation frameworksclassMinimalistic Implementation of a weighted argumentation theory used for learning argumentation theories from labelingsMethods in org.tweetyproject.arg.dung.syntax that return DungTheoryModifier and TypeMethodDescriptionDungTheory.clone()DungTheory.getComplementGraph(int selfloops) WeightedDungTheory.getDungTheory()compute Dung Theory only containing attacks with weights greater than zeroWeightedDungTheory.getDungTheory(double threshold) compute Dung Theory only containing attacks with weight above the given thresholdDungTheory.getReduct(Collection<Argument> arguments) computes the reduct of bbase wrt.Methods in org.tweetyproject.arg.dung.syntax that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionDungTheory.faf(Extension<DungTheory> extension) The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.IncompleteTheory.getAllCompletions()Generates all possible completions of the current Dung theory based on uncertain arguments and attacks.Methods in org.tweetyproject.arg.dung.syntax with parameters of type DungTheoryModifier and TypeMethodDescriptionbooleanDungTheory.add(DungTheory theory) Adds all arguments and attacks of the given theory to this theoryintDungTheory.compareTo(DungTheory o) Method parameters in org.tweetyproject.arg.dung.syntax with type arguments of type DungTheoryModifier and TypeMethodDescriptionbooleanDungTheory.equalsIn(HashSet<DungTheory> setOfEquals) Method to check if an equal object to this object is contained in the specified setDungTheory.faf(Extension<DungTheory> extension) The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.ClaimBasedTheory.getClaims(Extension<DungTheory> ext) get all claims of a given extensionbooleanDungTheory.isAcceptable(Argument argument, Extension<DungTheory> ext) returns true if every attacker onargumentis attacked by some accepted argument wrt.booleanDungTheory.isAdmissible(Extension<DungTheory> ext) returns true if every accepted argument of this is defended by some accepted argument wrt.booleanDungTheory.isAttacked(Extension<DungTheory> ext1, Extension<DungTheory> ext2) returns true if some argument ofext2attacks some argument inext1booleanDungTheory.isComplete(Extension<DungTheory> e) Checks whether the given extension is complete wrt.booleanDungTheory.isConflictFree(Extension<DungTheory> ext) returns true if no accepted argument attacks another accepted one in this interpretation wrt.booleanDungTheory.isStable(Extension<DungTheory> e) Checks whether the given extension is stable wrt.voidIncompleteTheory.merge(HashSet<DungTheory> theories) merges DungTheories to one incomplete theory -
Uses of DungTheory in org.tweetyproject.arg.dung.util
Methods in org.tweetyproject.arg.dung.util that return DungTheoryModifier and TypeMethodDescriptionDefaultDungTheoryGenerator.next()DungTheoryGenerator.next()Generates a new Dung theory where the given argument is enforced to be in the grounded extensionEnumeratingDungTheoryGenerator.next()FileDungTheoryGenerator.next()IsoSafeEnumeratingDungTheoryGenerator.next()KwtDungTheoryGenerator.next()PodlaszewskiCaminadaDungTheoryGenerator.next()Methods in org.tweetyproject.arg.dung.util with parameters of type DungTheoryModifier and TypeMethodDescriptionstatic voidDungTheoryPlotter.plotFramework(DungTheory framework, int width, int height, String titleGraph) Plots the specified framework in a new created frame.static voidDungTheoryPlotter.plotFramework(DungTheory framework, Plotter groundPlotter, String titleGraph) Plots the specified framework in the frame of the specified plotter.Method parameters in org.tweetyproject.arg.dung.util with type arguments of type DungTheoryModifier and TypeMethodDescriptionstatic voidDungTheoryPlotter.plotFramework(Collection<DungTheory> frameworks, int width, int height) Plots the specified frameworks in a new created frame.Constructors in org.tweetyproject.arg.dung.util with parameters of type DungTheoryModifierConstructorDescriptionDungTheoryPlotter(Plotter plotter, DungTheory argFramework) Creates a new instance for plotting an abstract argumentation framework, also calledDungTheoryEnumeratingDilationGenerator(DungTheory frameworkOriginal) Constructs a new dilation generator with a reference to an original Dung theory.Constructor parameters in org.tweetyproject.arg.dung.util with type arguments of type DungTheoryModifierConstructorDescriptionFileDungTheoryGenerator(File[] files, Parser<DungTheory, ?> parser, boolean loop) Creates a new theory generator for the given files, which can be parsed by the given parser. -
Uses of DungTheory in org.tweetyproject.arg.dung.writer
Methods in org.tweetyproject.arg.dung.writer with parameters of type DungTheoryModifier and TypeMethodDescriptionabstract voidAbstractDungWriter.write(DungTheory aaf, File f) Writes the given file into an abstract argumentation frameworkvoidApxWriter.write(DungTheory aaf, File f) voidCnfWriter.write(DungTheory aaf, File f) voidIccma23Writer.write(DungTheory aaf, File f) voidTgfWriter.write(DungTheory aaf, File f) -
Uses of DungTheory in org.tweetyproject.arg.extended.syntax
Methods in org.tweetyproject.arg.extended.syntax that return DungTheoryModifier and TypeMethodDescriptionExtendedTheory.flatten()Transforms the extended theory into a standard dung theory by flattening the extended attacks via creating meta-arguments -
Uses of DungTheory in org.tweetyproject.arg.prob.analysis
Constructors in org.tweetyproject.arg.prob.analysis with parameters of type DungTheoryModifierConstructorDescriptionPAInconsistencyMeasure(RealVectorNorm norm, DungTheory theory, PASemantics semantics) Creates a new inconsinstency measure which uses the given norm and measures wrt. -
Uses of DungTheory in org.tweetyproject.arg.prob.dynamics
Methods in org.tweetyproject.arg.prob.dynamics with parameters of type DungTheoryModifier and TypeMethodDescriptionAbstractPAChangeOperator.change(ProbabilisticExtension p, DungTheory theory) abstract ProbabilisticExtensionAbstractPAChangeOperator.change(PartialProbabilityAssignment ppa, DungTheory theory) ChangeOperator.change(ProbabilisticExtension p, DungTheory theory) Given a probabilistic extension and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state p.ChangeOperator.change(PartialProbabilityAssignment ppa, DungTheory theory) Given a partial probability assignment ppa and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state ppa.PARevisionOperator.change(PartialProbabilityAssignment ppa, DungTheory theory) PAUpdateOperator.change(PartialProbabilityAssignment ppa, DungTheory theory) -
Uses of DungTheory in org.tweetyproject.arg.prob.lotteries
Methods in org.tweetyproject.arg.prob.lotteries that return DungTheoryModifier and TypeMethodDescriptionArgumentationLottery.getTheory()Returns the used argumentation theory.LdoArgumentationLottery.getTheory()Returns the used argumentation theory.SubgraphProbabilityFunction.getTheory()Returns the theory of this probability function.Methods in org.tweetyproject.arg.prob.lotteries with parameters of type DungTheoryModifier and TypeMethodDescriptionLdoUtilityFunction.getUtility(DungTheory theory, Semantics semantics) Gets the utility of the given theory wrt.UtilityFunction.getUtility(DungTheory theory, Semantics semantics) Gets the utility of the given theory wrt.SubgraphProbabilityFunction.roughUpdate(DungTheory theory) Updates this probability function with the given theory using "rough redistribution", cf.SubgraphProbabilityFunction.simpleUpdate(DungTheory theory) Updates this probability function with the given theory using "simple redistribution", cf.SubgraphProbabilityFunction.stickyUpdate(DungTheory theory, double stickyCoefficient) Updates this probability function with the given theory using "sticky redistribution", cf.Constructors in org.tweetyproject.arg.prob.lotteries with parameters of type DungTheoryModifierConstructorDescriptionCreates a new uniform probability function for the given theory, i.e. -
Uses of DungTheory in org.tweetyproject.arg.prob.semantics
Methods in org.tweetyproject.arg.prob.semantics that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionProbabilisticExtension.geLowerCut(DungTheory theory, double delta) Returns the lower cut of this probabilistic extension wrt.ProbabilisticExtension.getAllArguments()Returns the set of all arguments appearing.ProbabilisticExtension.getUpperCut(DungTheory theory, double delta) Returns the upper cut of this probabilistic extension wrt.Methods in org.tweetyproject.arg.prob.semantics with parameters of type DungTheoryModifier and TypeMethodDescriptionProbabilisticExtension.geLowerCut(DungTheory theory, double delta) Returns the lower cut of this probabilistic extension wrt.static ProbabilisticExtensionProbabilisticExtension.getCharacteristicProbabilisticExtension(DungTheory theory, AbstractArgumentationInterpretation i) Returns the characteristic probabilistic extension of the given interpretation, i.e.abstract Collection<Statement> AbstractPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) CoherentPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) FoundedPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) InvolutaryPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) JustifiablePASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) NeutralPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) OptimisticPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) PASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) Returns the mathematical statement corresponding to the satisfaction of the given theory wrt.RationalPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) SemiFoundedPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) SemiOptimisticPASemantics.getSatisfactionStatements(DungTheory theory, Map<Collection<Argument>, FloatVariable> worlds2vars) ProbabilisticExtension.getUpperCut(DungTheory theory, double delta) Returns the upper cut of this probabilistic extension wrt.abstract booleanAbstractPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanCoherentPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanFoundedPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanInvolutaryPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanJustifiablePASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanNeutralPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanOptimisticPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) Checks whether the given probabilistic extension satisfies the given argumentation theory wrt.booleanRationalPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanSemiFoundedPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) booleanSemiOptimisticPASemantics.satisfies(ProbabilisticExtension p, DungTheory theory) -
Uses of DungTheory in org.tweetyproject.arg.prob.syntax
Subclasses of DungTheory in org.tweetyproject.arg.prob.syntaxModifier and TypeClassDescriptionclassThis class implements the probabilistic argumentation framework approach of [Li, Oren, Norman.Methods in org.tweetyproject.arg.prob.syntax that return DungTheoryModifier and TypeMethodDescriptionProbabilisticArgumentationFramework.sample()Samples a random DungTheory from this framework wrt.Methods in org.tweetyproject.arg.prob.syntax with parameters of type DungTheoryModifier and TypeMethodDescriptionProbabilisticArgumentationFramework.getProbability(DungTheory aaf) Computes the probability of the given AAF wrt. -
Uses of DungTheory in org.tweetyproject.arg.rankings.postulates
Method parameters in org.tweetyproject.arg.rankings.postulates with type arguments of type DungTheoryModifier and TypeMethodDescriptionbooleanRaAbstraction.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaAdditionOfAttackBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaAdditionOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaAttackVsFullDefense.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaCardinalityPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaCounterTransitivity.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaDefensePrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaDistDefensePrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaIncreaseOfAttackBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaIncreaseOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaIndependence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) abstract booleanRankingPostulate.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) Return statusbooleanRaNonAttackedEquivalence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaQualityPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaSelfContradiction.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaStrictAdditionOfDefenseBranch.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaStrictCounterTransitivity.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaTotal.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) booleanRaVoidPrecedence.isSatisfied(Collection<Argument> kb, AbstractRankingReasoner<GeneralComparator<Argument, DungTheory>> ev) -
Uses of DungTheory in org.tweetyproject.arg.rankings.reasoner
Classes in org.tweetyproject.arg.rankings.reasoner with type parameters of type DungTheoryModifier and TypeClassDescriptionclassAbstractRankingReasoner<R extends GeneralComparator<Argument,DungTheory>> Common abstract class for ranking reasoners for abstract argumentation.Methods in org.tweetyproject.arg.rankings.reasoner that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionCounterTransitivityReasoner.cardinality(DungTheory af) orders arguments after the amount of attackers they have.CounterTransitivityReasoner.cardinalityFirst(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the cardinality function.IteratedGradedDefenseReasoner.getAllMNCompleteExtensions(DungTheory theory, int m, int n) Returns all mn-complete extensions.IteratedGradedDefenseReasoner.getAllMNGroundedExtensions(DungTheory theory, int m, int n) Returns all mn-grounded extensions.IteratedGradedDefenseReasoner.getAllMNPreferredExtensions(DungTheory theory, int m, int n) Returns all mn-preferred extensions.IteratedGradedDefenseReasoner.getAllMStableExtensions(DungTheory theory, int m) Returns all m-stable extensions.BurdenBasedRankingReasoner.getModel(DungTheory base) CategorizerRankingReasoner.getModel(DungTheory base) CounterTransitivityReasoner.getModel(DungTheory bbase) CountingRankingReasoner.getModel(DungTheory kb) DiscussionBasedRankingReasoner.getModel(DungTheory kb) IteratedGradedDefenseReasoner.getModel(DungTheory bbase) ProbabilisticRankingReasoner.getModel(DungTheory aaf) PropagationRankingReasoner.getModel(DungTheory kb) SAFRankingReasoner.getModel(DungTheory kb) SerialisableRankingReasoner.getModel(DungTheory bbase) StrategyBasedRankingReasoner.getModel(DungTheory kb) TuplesRankingReasoner.getModel(DungTheory kb) BurdenBasedRankingReasoner.getModels(DungTheory bbase) CategorizerRankingReasoner.getModels(DungTheory bbase) CounterTransitivityReasoner.getModels(DungTheory bbase) CountingRankingReasoner.getModels(DungTheory bbase) DiscussionBasedRankingReasoner.getModels(DungTheory bbase) IteratedGradedDefenseReasoner.getModels(DungTheory bbase) ProbabilisticRankingReasoner.getModels(DungTheory bbase) PropagationRankingReasoner.getModels(DungTheory bbase) SAFRankingReasoner.getModels(DungTheory bbase) SerialisableRankingReasoner.getModels(DungTheory bbase) StrategyBasedRankingReasoner.getModels(DungTheory bbase) TuplesRankingReasoner.getModels(DungTheory bbase) CounterTransitivityReasoner.gfpCardinality(DungTheory af) calculates the greatest fix point.CounterTransitivityReasoner.quality(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to a given ranking.CounterTransitivityReasoner.qualityFirst(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the quality function.CounterTransitivityReasoner.simpleDominance(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) only ranks two arguments if one is better according to quality and cardinalityMethods in org.tweetyproject.arg.rankings.reasoner with parameters of type DungTheoryModifier and TypeMethodDescriptionCounterTransitivityReasoner.cardinality(DungTheory af) orders arguments after the amount of attackers they have.CounterTransitivityReasoner.cardinalityFirst(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the cardinality function.doubleStrategyBasedRankingReasoner.computeDegreeOfAcceptability(Collection<Argument> A, Collection<Argument> B, DungTheory kb) Computes the degree of acceptability of the strategy A wrt.doubleStrategyBasedRankingReasoner.computeRewards(Collection<Argument> A, Collection<Argument> B, DungTheory kb) Computes the rewards of the given strategy (set of arguments).doubleStrategyBasedRankingReasoner.computeStrengthOfArgument(Argument a, DungTheory kb, Set<Set<Argument>> subsets) Computes the value of the zero-sum game for the given argument.Pair<int[], int[]> TuplesRankingReasoner.computeTupledValue(Argument a, DungTheory kb) Computes the tupled value for the given argument.IteratedGradedDefenseReasoner.getAllMNCompleteExtensions(DungTheory theory, int m, int n) Returns all mn-complete extensions.IteratedGradedDefenseReasoner.getAllMNGroundedExtensions(DungTheory theory, int m, int n) Returns all mn-grounded extensions.IteratedGradedDefenseReasoner.getAllMNPreferredExtensions(DungTheory theory, int m, int n) Returns all mn-preferred extensions.IteratedGradedDefenseReasoner.getAllMStableExtensions(DungTheory theory, int m) Returns all m-stable extensions.BurdenBasedRankingReasoner.getModel(DungTheory base) CategorizerRankingReasoner.getModel(DungTheory base) CounterTransitivityReasoner.getModel(DungTheory bbase) CountingRankingReasoner.getModel(DungTheory kb) DiscussionBasedRankingReasoner.getModel(DungTheory kb) IteratedGradedDefenseReasoner.getModel(DungTheory bbase) ProbabilisticRankingReasoner.getModel(DungTheory aaf) PropagationRankingReasoner.getModel(DungTheory kb) SAFRankingReasoner.getModel(DungTheory kb) SerialisableRankingReasoner.getModel(DungTheory bbase) StrategyBasedRankingReasoner.getModel(DungTheory kb) TuplesRankingReasoner.getModel(DungTheory kb) BurdenBasedRankingReasoner.getModels(DungTheory bbase) CategorizerRankingReasoner.getModels(DungTheory bbase) CounterTransitivityReasoner.getModels(DungTheory bbase) CountingRankingReasoner.getModels(DungTheory bbase) DiscussionBasedRankingReasoner.getModels(DungTheory bbase) IteratedGradedDefenseReasoner.getModels(DungTheory bbase) ProbabilisticRankingReasoner.getModels(DungTheory bbase) PropagationRankingReasoner.getModels(DungTheory bbase) SAFRankingReasoner.getModels(DungTheory bbase) SerialisableRankingReasoner.getModels(DungTheory bbase) StrategyBasedRankingReasoner.getModels(DungTheory bbase) TuplesRankingReasoner.getModels(DungTheory bbase) intDiscussionBasedRankingReasoner.getNumberOfPathsOfLength(DungTheory base, Argument a, int i) Returns the number of linear discussions of the given length in the given DungTheory for the given argument.CounterTransitivityReasoner.gfpCardinality(DungTheory af) calculates the greatest fix point.IteratedGradedDefenseReasoner.gradedDefense(DungTheory theory, Collection<Argument> args, int m, int n) Implements the graded defense function from Def.IteratedGradedDefenseReasoner.gradedNeutrality(DungTheory theory, Collection<Argument> args, int m) Implements the graded neutrality function from Def.booleanIteratedGradedDefenseReasoner.isMConflictFree(DungTheory theory, Collection<Argument> args, int m) Checks whether the given set of arguments is m-conflict-free, cf.booleanIteratedGradedDefenseReasoner.isMNAdmissible(DungTheory theory, Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-admissible, cf.booleanIteratedGradedDefenseReasoner.isMNComplete(DungTheory theory, Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-complete, cf.booleanIteratedGradedDefenseReasoner.isMNGrounded(DungTheory theory, Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-grounded, cf.booleanIteratedGradedDefenseReasoner.isMNPreferred(DungTheory theory, Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-preferred, cf.booleanIteratedGradedDefenseReasoner.isMStable(DungTheory theory, Collection<Argument> args, int m) Checks whether the given set of arguments is m-stable, cf.CounterTransitivityReasoner.quality(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to a given ranking.CounterTransitivityReasoner.qualityFirst(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the quality function.CounterTransitivityReasoner.simpleDominance(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) only ranks two arguments if one is better according to quality and cardinalityMethod parameters in org.tweetyproject.arg.rankings.reasoner with type arguments of type DungTheoryModifier and TypeMethodDescriptionCounterTransitivityReasoner.cardinalityFirst(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the cardinality function.CounterTransitivityReasoner.quality(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to a given ranking.CounterTransitivityReasoner.qualityFirst(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) ranks arguments according to the quality function.CounterTransitivityReasoner.simpleDominance(DungTheory af, LatticePartialOrder<Argument, DungTheory> ra) only ranks two arguments if one is better according to quality and cardinalityConstructor parameters in org.tweetyproject.arg.rankings.reasoner with type arguments of type DungTheoryModifierConstructorDescriptionCounterTransitivityReasoner(CounterTransitivityReasoner.solver sol, LatticePartialOrder<Argument, DungTheory> rank) Constructor -
Uses of DungTheory in org.tweetyproject.arg.rankings.util
Methods in org.tweetyproject.arg.rankings.util that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionstatic GeneralComparator<Argument, DungTheory> RankingTools.roundRanking(NumericalPartialOrder<Argument, DungTheory> ranking, int n) Rounds values in the given numerical argument ranking to n decimals.Methods in org.tweetyproject.arg.rankings.util with parameters of type DungTheoryModifier and TypeMethodDescriptionRankingTools.getPathsOfHigherSize(HashSet<ArrayList<Argument>> oldPaths, DungTheory base) Given a set of argument paths of length i-1, this method returns a set of argument paths of length i for the given DungTheory.Method parameters in org.tweetyproject.arg.rankings.util with type arguments of type DungTheoryModifier and TypeMethodDescriptionstatic GeneralComparator<Argument, DungTheory> RankingTools.roundRanking(NumericalPartialOrder<Argument, DungTheory> ranking, int n) Rounds values in the given numerical argument ranking to n decimals. -
Uses of DungTheory in org.tweetyproject.arg.saf.syntax
Subclasses of DungTheory in org.tweetyproject.arg.saf.syntaxModifier and TypeClassDescriptionclassThis class represents a structured argumentation framework, i.e.Methods in org.tweetyproject.arg.saf.syntax that return DungTheoryModifier and TypeMethodDescriptionStructuredArgumentationFramework.toDungTheory()Constructs a (pure) Dung theory from this structured argumentation framework. -
Uses of DungTheory in org.tweetyproject.arg.social.syntax
Subclasses of DungTheory in org.tweetyproject.arg.social.syntaxModifier and TypeClassDescriptionclassThis class implements a social abstract argumentation framework from [Joao Leite, Joao Martins.Methods in org.tweetyproject.arg.social.syntax with parameters of type DungTheoryModifier and TypeMethodDescriptionbooleanSocialAbstractArgumentationFramework.add(DungTheory theory) -
Uses of DungTheory in org.tweetyproject.arg.weighted.reasoner
Methods in org.tweetyproject.arg.weighted.reasoner that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionSimpleWeightedAdmissibleReasoner.getModel(DungTheory bbase, T alpha, T gamma) Returns the empty set as it is always admissible.SimpleWeightedCompleteReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Returns an alpha-gamma-complete extension for the given weighted argumentation framework.SimpleWeightedConflictFreeReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha) Returns the empty set as it is always conflict-free.SimpleWeightedGroundedReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns the unique alpha-gamma-grounded extension for the given weighted argumentation framework.SimpleWeightedPreferredReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns a single alpha-gamma-preferred extension for the given weighted argumentation framework.SimpleWeightedStableReasoner.getModel(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns a single alpha-gamma-stable extension for the given weighted argumentation framework.SimpleWeightedAdmissibleReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-admissible extensions for the given weighted argumentation framework.SimpleWeightedCompleteReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-complete extensions for the given weighted argumentation framework.SimpleWeightedConflictFreeReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha) Computes all alpha-conflict-free extensions for the given weighted argumentation framework.SimpleWeightedGroundedReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes and returns a collection containing the unique alpha-gamma-grounded extension for the given weighted argumentation framework.SimpleWeightedPreferredReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-preferred extensions for the given weighted argumentation framework.SimpleWeightedStableReasoner.getModels(WeightedArgumentationFramework<T> bbase, T alpha, T gamma) Computes all alpha-gamma-stable extensions for the given weighted argumentation framework.Methods in org.tweetyproject.arg.weighted.reasoner with parameters of type DungTheoryModifier and TypeMethodDescriptionSimpleWeightedAdmissibleReasoner.getModel(DungTheory bbase, T alpha, T gamma) Returns the empty set as it is always admissible. -
Uses of DungTheory in org.tweetyproject.arg.weighted.syntax
Subclasses of DungTheory in org.tweetyproject.arg.weighted.syntaxModifier and TypeClassDescriptionclassThis class implements a weighted abstract argumentation theory (WAF) using a C-Semiring.Methods in org.tweetyproject.arg.weighted.syntax with parameters of type DungTheoryModifier and TypeMethodDescriptionbooleanWeightedArgumentationFramework.add(DungTheory theory) Adds all arguments and attacks of the given theory to this theory.Method parameters in org.tweetyproject.arg.weighted.syntax with type arguments of type DungTheoryModifier and TypeMethodDescriptionbooleanWeightedArgumentationFramework.gDefence(T gamma, Extension<DungTheory> e) Determines if the given extension can defend itself from all attacks up to a specified threshold gamma.booleanDetermines if the given extension can defend itself from a set of attackers up to a specified threshold gamma.booleanWeightedArgumentationFramework.gDefence(T gamma, Extension<DungTheory> e, Set<Argument> attackers, Set<Argument> attacked) Determines if the given extension can defend itself and specific arguments from a set of attackers up to a specified threshold gamma.booleanWeightedArgumentationFramework.gDefence(T gamma, Argument a, Extension<DungTheory> e) Determines if the given extension can defend itself and argument a from all attacks up to a specified threshold gamma.booleanWeightedArgumentationFramework.isAcceptable(Argument argument, Extension<DungTheory> ext) returns true if every attacker onargumentis successfully attacked by some accepted argument wrt.booleanWeightedArgumentationFramework.isAlphaConflictFree(T alpha, Extension<DungTheory> ext) Determines if the given extension is alpha-conflict-free.booleanWeightedArgumentationFramework.isAlphaGammaAdmissible(T alpha, T gamma, Extension<DungTheory> ext) Determines if the given extension is both alpha-conflict-free and gamma-defensible.booleanWeightedArgumentationFramework.isAlphaGammaComplete(T alpha, T gamma, Extension<DungTheory> ext) Determines if the given extension is both alpha-gamma-complete.booleanWeightedArgumentationFramework.isAlphaGammaPreferred(T alpha, T gamma, Extension<DungTheory> ext) Determines if the given extension is alpha-gamma-preferred.booleanWeightedArgumentationFramework.isAlphaGammaStable(T alpha, T gamma, Extension<DungTheory> ext) Determines if the given extension is alpha-gamma-stable.booleanWeightedArgumentationFramework.isAttacked(Extension<DungTheory> ext1, Extension<DungTheory> ext2) returns true if some argument ofext2attacks some argument inext1and ext1 cannot w-defend itselfbooleanWeightedArgumentationFramework.isSMA(Extension<DungTheory> attacker, Extension<DungTheory> attacked) Determines whether the given attacker Extension is a set-maximal attack on the attacked Extension.booleanWeightedArgumentationFramework.wDefence(Extension<DungTheory> e) Determines if the given extension can defend itself from all attacks.booleanWeightedArgumentationFramework.wDefence(Extension<DungTheory> e, Set<Argument> attackers) Determines if the given extension can defend itself from a set of attackers.booleanWeightedArgumentationFramework.wDefence(Extension<DungTheory> e, Set<Argument> attackers, Set<Argument> attacked) Determines if the given extension can defend itself and specific arguments from a set of attackers.booleanWeightedArgumentationFramework.wDefence(Argument a, Extension<DungTheory> e) Determines if the given extension can defend a specific argument from all attacks. -
Uses of DungTheory in org.tweetyproject.web.services
Methods in org.tweetyproject.web.services that return DungTheoryModifier and TypeMethodDescriptionstatic DungTheoryUtils.getDungTheory(int nr_of_arguments, List<List<Integer>> atttacks) Creates a DungTheory from the given number of arguments and attack relations. -
Uses of DungTheory in org.tweetyproject.web.services.dung
Methods in org.tweetyproject.web.services.dung that return types with arguments of type DungTheoryModifier and TypeMethodDescriptionDungReasonerGetModelCallee.call()Executes the getModel operation using the specified reasoner and base DungTheory.DungReasonerGetModelsCallee.call()Executes the getModels operation using the specified reasoner and base DungTheory.Methods in org.tweetyproject.web.services.dung with parameters of type DungTheoryModifier and TypeMethodDescriptionstatic CalleeDungReasonerCalleeFactory.getCallee(DungReasonerCalleeFactory.Command cmd, AbstractExtensionReasoner reasoner, DungTheory bbase) Creates and returns a Callee instance based on the provided Command, AbstractExtensionReasoner, and DungTheory parameters.Constructors in org.tweetyproject.web.services.dung with parameters of type DungTheoryModifierConstructorDescriptionDungReasonerGetModelCallee(AbstractExtensionReasoner reasoner, DungTheory bbase) Constructs a new DungReasonerGetModelCallee with the specified reasoner and base DungTheory.DungReasonerGetModelsCallee(AbstractExtensionReasoner reasoner, DungTheory bbase) Constructs a new DungReasonerGetModelsCallee with the specified reasoner and base DungTheory.