Uses of Enum
org.tweetyproject.arg.dung.semantics.Semantics

Packages that use Semantics

Package	Description
org.tweetyproject.agents.dialogues.examples
org.tweetyproject.agents.dialogues.lotteries
org.tweetyproject.agents.dialogues.lotteries.sim
org.tweetyproject.arg.aba.reasoner
org.tweetyproject.arg.dung.divisions
org.tweetyproject.arg.dung.equivalence.strong
org.tweetyproject.arg.dung.examples
org.tweetyproject.arg.dung.ldo.semantics
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.arg.dung.learning
org.tweetyproject.arg.dung.learning.syntax
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.reasoner.serialisable
org.tweetyproject.arg.dung.semantics
org.tweetyproject.arg.dung.serialisibility.plotting
org.tweetyproject.arg.dung.serialisibility.syntax
org.tweetyproject.arg.prob.lotteries
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.rankings.reasoner
org.tweetyproject.arg.setaf.reasoners

Uses of Semantics in org.tweetyproject.agents.dialogues.examples

Fields in org.tweetyproject.agents.dialogues.examples declared as Semantics

Modifier and Type	Field	Description
static Semantics	LotteryDialogueTest.semantics
static Semantics	LotteryDialogueTest2.semantics	The argumentation semantics used

Uses of Semantics in org.tweetyproject.agents.dialogues.lotteries

Methods in org.tweetyproject.agents.dialogues.lotteries that return Semantics

Modifier and Type	Method	Description
Semantics	AbstractLotteryAgent.getSemantics()	Returns the semantics.

Methods in org.tweetyproject.agents.dialogues.lotteries with parameters of type Semantics

Modifier and Type	Method	Description
abstract double	AbstractLotteryAgent.getUtility(DungTheory theory, Semantics semantics)	Returns the utility of the agent wrt.
double	DummyLotteryAgent.getUtility(DungTheory theory, Semantics semantics)
double	ProbabilisticLotteryAgent.getUtility(DungTheory theory, Semantics semantics)
double	RandomLotteryAgent.getUtility(DungTheory theory, Semantics semantics)
double	UtilityBasedLotteryAgent.getUtility(DungTheory theory, Semantics semantics)

Constructors in org.tweetyproject.agents.dialogues.lotteries with parameters of type Semantics

Modifier	Constructor	Description
	AbstractLotteryAgent(String name, DungTheory theory, Semantics semantics)	Creates a new lottery agent
	DummyLotteryAgent(String name, DungTheory theory, Semantics semantics)
	ProbabilisticLotteryAgent(String name, DungTheory theory, SubgraphProbabilityFunction prob, UtilityFunction util, Semantics semantics)	Creates a new lottery agent
	ProbabilisticLotteryAgent(String name, DungTheory theory, SubgraphProbabilityFunction prob, UtilityFunction util, Semantics semantics, byte updatestrategy)	Creates a new lottery agent
	ProbabilisticLotteryAgent(String name, DungTheory theory, SubgraphProbabilityFunction prob, UtilityFunction util, Semantics semantics, byte updatestrategy, double stickynesscoefficient)	Creates a new lottery agent
	RandomLotteryAgent(String name, DungTheory theory, UtilityFunction util, Semantics semantics)	Creates a new agent with the given name, theory, utility function and semantics
	UtilityBasedLotteryAgent(String name, DungTheory theory, UtilityFunction util, Semantics semantics)

Uses of Semantics in org.tweetyproject.agents.dialogues.lotteries.sim

Constructors in org.tweetyproject.agents.dialogues.lotteries.sim with parameters of type Semantics

Modifier	Constructor	Description
	LotteryGameGenerator(DungTheoryGenerator gen, Semantics semantics)	Creates a new game generator.
	LotteryGameGenerator(DungTheoryGenerator gen, Semantics semantics, boolean ensureArg)	Creates a new game generator.

Uses of Semantics in org.tweetyproject.arg.aba.reasoner

Constructors in org.tweetyproject.arg.aba.reasoner with parameters of type Semantics

Modifier	Constructor	Description
	FlatAbaReasoner(Semantics semantics)	Creates a new instance

Uses of Semantics in org.tweetyproject.arg.dung.divisions

Methods in org.tweetyproject.arg.dung.divisions with parameters of type Semantics

Modifier and Type	Method	Description
Collection<DungTheory>	Division.getDividers(DungTheory theory, Semantics semantics)	Returns the dividers for this division, i.e.
static boolean	Division.isDisjoint(Collection<Division> divisions, DungTheory theory, Semantics semantics)	Checks whether the given set o divisions is disjoint wrt.
static boolean	Division.isExhaustive(Collection<Division> divisions, DungTheory theory, Semantics semantics)	Checks whether the given set of divisions is exhaustive wrt.

Uses of Semantics in org.tweetyproject.arg.dung.equivalence.strong

Methods in org.tweetyproject.arg.dung.equivalence.strong with parameters of type Semantics

Modifier and Type	Method	Description
static EquivalenceKernel	EquivalenceKernel.getKernel(Semantics semantics)	Returns a suitable kernel for the specified semantics

Uses of Semantics in org.tweetyproject.arg.dung.examples

Methods in org.tweetyproject.arg.dung.examples with parameters of type Semantics

Modifier and Type	Method	Description
static void	EquivalenceCompExFinderExample.saveExamples(Semantics semanticsUsed1, Semantics semanticsUsed2, Equivalence<DungTheory> equivalence1, Equivalence<DungTheory> equivalence2, String path, String idSeries, int indexInSeries, int numFstFramesGenerated, ZonedDateTime timeStampProcessStart, DungTheory framework1, DungTheory framework2, ZonedDateTime timeStampProcessFinished)	*description missing*

Uses of Semantics in org.tweetyproject.arg.dung.ldo.semantics

Constructors in org.tweetyproject.arg.dung.ldo.semantics with parameters of type Semantics

Modifier	Constructor	Description
	LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics)	Creates a new interpretation
	LdoInterpretation(DungTheory theory, Semantics semantics)	Creates a new interpretation

Uses of Semantics in org.tweetyproject.arg.dung.ldo.syntax

Methods in org.tweetyproject.arg.dung.ldo.syntax with parameters of type Semantics

Modifier and Type	Method	Description
Collection<DungTheory>	LdoFormula.getDividers(DungTheory theory, Semantics semantics)	Returns the dividers for this formula, i.e.

Uses of Semantics in org.tweetyproject.arg.dung.learning

Constructors in org.tweetyproject.arg.dung.learning with parameters of type Semantics

Modifier	Constructor	Description
	ExampleFinder(Semantics semantics1, Semantics semantics2)	initialize with two semantics and automatically find reasoners for them (if they exist)
	ExtendedExampleFinder(Semantics semantics1, Semantics semantics2, Semantics semantics3)	initialize with three semantics and automatically find reasoners for them (if they exist)
	NiskanenTheorySynthesizer(Collection<Argument> args, Semantics semantics, String solverLocation)
	TheoryLearner(Collection<Argument> args, Semantics semantics, String solverLocation)

Uses of Semantics in org.tweetyproject.arg.dung.learning.syntax

Methods in org.tweetyproject.arg.dung.learning.syntax that return Semantics

Modifier and Type	Method	Description
Semantics	Input.getSemantics()	return the semantics of this input labeling

Methods in org.tweetyproject.arg.dung.learning.syntax with parameters of type Semantics

Modifier and Type	Method	Description
Collection<Input>	Entity.getAllLabelings(Semantics sem)	shortcut for getting all labelings wrt a semantics
Input	Entity.getLabeling(Semantics sem)	Ask for a random labeling w.r.t.
void	Input.setSemantics(Semantics semantics)	set the semantics of this labeling

Constructors in org.tweetyproject.arg.dung.learning.syntax with parameters of type Semantics

Modifier	Constructor	Description
	Input(DungTheory theory, Extension extension, Semantics semantics)	initialize input labeling from the given extension

Uses of Semantics in org.tweetyproject.arg.dung.reasoner

Methods in org.tweetyproject.arg.dung.reasoner that return Semantics

Modifier and Type	Method	Description
Semantics	ProboProblem.semantics()	Returns the semantics of the problem.

Methods in org.tweetyproject.arg.dung.reasoner with parameters of type Semantics

Modifier and Type	Method	Description
static AbstractExtensionReasoner	AbstractExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Creates a reasoner for the given semantics.
static void	IncompleteReasoner.setSemantics(Semantics semantics)	manually sets the semantics
static void	SimpleClInheritedReasoner.setSemantics(Semantics semantics)	manually sets the semantics

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type Semantics

Modifier	Constructor	Description
	IncompleteReasoner(Semantics semantics)	constructor for direct initialization of semantics
	ProboI23Reasoner(String path_to_exec, Semantics semantics)	Constructs a new instance of ProboI23Reasoner
	ProboI23Reasoner(String path_to_exec, Semantics semantics, Shell bash)	Constructs a new instance of ProboI23Reasoner
	ProboReasoner(String path_to_exec, Semantics semantics)	Constructs a new instance of ProboReasoner
	ProboReasoner(String path_to_exec, Semantics semantics, Shell bash)	Constructs a new instance of ProboReasoner
	QualifiedReasoner(Semantics semantics)	initialize reasoner with the given semantics as base function.
	SeeAcceptabilityReasoner(SatSolver satSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.
	SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new IaqAcceptabilityReasoner.
	SemiQualifiedReasoner(Semantics semantics)	initialize reasoner with the given semantics as base function.
	SimpleClInheritedReasoner(Semantics semantics)	constructor for direct initialization of semantics
	StratifiedLabelingReasoner(Semantics semantics)	Creates a new reasoner for the given semantics.

Uses of Semantics in org.tweetyproject.arg.dung.reasoner.serialisable

Methods in org.tweetyproject.arg.dung.reasoner.serialisable that return Semantics

Modifier and Type	Method	Description
Semantics	SerialisableExtensionReasoner.getSemantics()

Methods in org.tweetyproject.arg.dung.reasoner.serialisable with parameters of type Semantics

Modifier and Type	Method	Description
static SerialisableExtensionReasoner	SerialisableExtensionReasoner.getSerialisableReasonerForSemantics(Semantics semantics)	Creates a reasoner for the given semantics.

Constructors in org.tweetyproject.arg.dung.reasoner.serialisable with parameters of type Semantics

Modifier	Constructor	Description
	SerialisableExtensionReasoner(Semantics semantics)

Uses of Semantics in org.tweetyproject.arg.dung.semantics

Fields in org.tweetyproject.arg.dung.semantics declared as Semantics

Modifier and Type	Field	Description
static final Semantics	Semantics.ADMISSIBLE_SEMANTICS	all semantics
static final Semantics	Semantics.CF2_SEMANTICS	all semantics
static final Semantics	Semantics.COMPLETE_SEMANTICS	all semantics
static final Semantics	Semantics.CONFLICTFREE_SEMANTICS	all semantics
static final Semantics	Semantics.EAGER_SEMANTICS	all semantics
static final Semantics	Semantics.GROUNDED_SEMANTICS	all semantics
static final Semantics	Semantics.IDEAL_SEMANTICS	all semantics
static final Semantics	Semantics.NAIVE_SEMANTICS	all semantics
static final Semantics	Semantics.PREFERRED_SEMANTICS	all semantics
static final Semantics	Semantics.SCF2_SEMANTICS	all semantics
static final Semantics	Semantics.SEMISTABLE_SEMANTICS	all semantics
static final Semantics	Semantics.STABLE_SEMANTICS	all semantics
static final Semantics	Semantics.STAGE_SEMANTICS	all semantics
static final Semantics	Semantics.STAGE2_SEMANTICS	all semantics
static final Semantics	Semantics.STRONGLY_ADMISSIBLE_SEMANTICS	all semantics
static final Semantics	Semantics.UNCHALLENGED_SEMANTICS	all semantics
static final Semantics	Semantics.WEAKLY_ADMISSIBLE_SEMANTICS	all semantics

Methods in org.tweetyproject.arg.dung.semantics that return Semantics

Modifier and Type	Method	Description
static Semantics	Semantics.getSemantics(String abbreviation)	Returns the semantics, which abbreviation is described by the string.
static Semantics	Semantics.valueOf(String name)	Returns the enum constant of this type with the specified name.
static Semantics[]	Semantics.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Uses of Semantics in org.tweetyproject.arg.dung.serialisibility.plotting

Methods in org.tweetyproject.arg.dung.serialisibility.plotting with parameters of type Semantics

Modifier and Type	Method	Description
DungTheory	SerialisationGraphGenerator.findExample(Semantics semanticsForSerializing, boolean abortFrameworkNotComply, boolean abortGraphNotComply)	Creates an exemplary abstract argumentation framework.
DungTheory[]	SerialisationGraphGenerator.findExample(Semantics semanticsForSerializing, int numberOfExamples, boolean abortFrameworkNotComply, boolean abortAnalysisNotComply)	Creates exemplary abstract argumentation frameworks.
DungTheory[]	SerialisationGraphGenerator.findExample(Semantics semanticsForSerializing, int numberOfArgumentsStart, int maxNumberOfArguments, int numberOfExamplesPerIncrement, int incrementForNumberOfArguments, boolean abortFrameworkNotComply, boolean abortAnalysisNotComply)	Creates exemplary argumentation frameworks and analyzes their serialisable extensions.
LinkedHashMap<DungTheory,SerialisationGraph[]>	SerialisationGraphGenerator.findExampleForDifferentSemantics(Semantics[] semanticsForSerializing, int numberOfExamples, boolean abortFrameworkNotComply, boolean abortAnalysisNotComply)	Generates argumentation frameworks and analyzes their serialisable extensions regarding the specified semantics.
LinkedHashMap<DungTheory,SerialisationGraph[]>	SerialisationGraphGenerator.findExampleForDifferentSemantics(Semantics[] semanticsForSerializing, int numberOfArgumentsStart, int maxNumberOfArguments, int numberOfExamplesPerIncrement, int incrementForNumberOfArguments, boolean abortFrameworkNotComply, boolean abortAnalysisNotComply)	Creates exemplary argumentation frameworks and analyzes their serialisable extensions.
static void	SerialisationAnalysisPlotter.plotAnalyses(Semantics[] semantics, DungTheory[] frameworks, String title, int width, int height)	Plots specified frameworks and their associated serialisation graphs for the specified semantics.
static PlotterMultiFrame	SerialisationAnalysisPlotter.plotAnalysesOneFrame(Semantics[] semantics, DungTheory[] frameworks, String[] titles, int width, int height)	Plots specified frameworks and their associated serialisation graphs for the specified semantics.

Uses of Semantics in org.tweetyproject.arg.dung.serialisibility.syntax

Methods in org.tweetyproject.arg.dung.serialisibility.syntax that return Semantics

Modifier and Type	Method	Description
Semantics	SerialisationGraph.getSemantics()

Constructors in org.tweetyproject.arg.dung.serialisibility.syntax with parameters of type Semantics

Modifier	Constructor	Description
	SerialisationGraph(Extension<DungTheory> root, Semantics semanticsUsed, Collection<Extension<DungTheory>> extensionsFound)	Creates a graph containing all transition states during the generation process of the serialisable extensions.
	SerialisationGraph(Semantics semanticsUsed, Collection<Extension<DungTheory>> extensionsFound)	Creates a graph containing all transition states during the generation process of the serialisable extensions.
	SerialisationGraph(SerialisationGraph graph, Extension<DungTheory> root, Semantics semanticsUsed, Collection<Extension<DungTheory>> extensionsFound)	Creates a graph containing all transition states during the generation process of the serialisable extensions.

Uses of Semantics in org.tweetyproject.arg.prob.lotteries

Methods in org.tweetyproject.arg.prob.lotteries that return Semantics

Modifier and Type	Method	Description
Semantics	ArgumentationLottery.getSemantics()	Returns the used semantics.
Semantics	LdoArgumentationLottery.getSemantics()	Returns the used semantics.

Methods in org.tweetyproject.arg.prob.lotteries with parameters of type Semantics

Modifier and Type	Method	Description
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Division d, Semantics semantics)	Returns the probability of the given division being acceptable wrt.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(LdoFormula f, Semantics semantics)	Returns the probability of the given formula being acceptable wrt.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Extension ext, Semantics semantics)	Returns the probability of the given set of arguments being acceptable wrt.
Probability	SubgraphProbabilityFunction.getAcceptanceProbability(Argument arg, Semantics semantics)	Returns the probability of the given argument being acceptable wrt.
Double	LdoUtilityFunction.getUtility(DungTheory theory, Semantics semantics)	Gets the utility of the given theory wrt.
Double	UtilityFunction.getUtility(DungTheory theory, Semantics semantics)	Gets the utility of the given theory wrt.

Constructors in org.tweetyproject.arg.prob.lotteries with parameters of type Semantics

Modifier	Constructor	Description
	ArgumentationLottery(Collection<Division> divisions, SubgraphProbabilityFunction p, Semantics semantics)	Creates a new lottery for the given set of divisions using the given probability function and semantics.
	LdoArgumentationLottery(Collection<LdoFormula> formulas, SubgraphProbabilityFunction p, Semantics semantics)	Creates a new lottery for the given set of formulas using the given probability function and semantics.

Uses of Semantics in org.tweetyproject.arg.prob.reasoner

Constructors in org.tweetyproject.arg.prob.reasoner with parameters of type Semantics

Modifier	Constructor	Description
	AbstractPafReasoner(Semantics semantics)	Creates a new reasoner.
	MonteCarloPafReasoner(Semantics semantics, int numberOfTrials)	Creates a new reasoner.
	SimplePafReasoner(Semantics semantics)	Creates a new reasoner.

Uses of Semantics in org.tweetyproject.arg.rankings.reasoner

Constructors in org.tweetyproject.arg.rankings.reasoner with parameters of type Semantics

Modifier	Constructor	Description
	ProbabilisticRankingReasoner(Semantics sem, Probability p, boolean exactInference)	Creates a new ProbabilisticRankingReasoner.

Uses of Semantics in org.tweetyproject.arg.setaf.reasoners

Methods in org.tweetyproject.arg.setaf.reasoners with parameters of type Semantics

Modifier and Type	Method	Description
static AbstractExtensionSetAfReasoner	AbstractExtensionSetAfReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Creates a reasoner for the given semantics.