Uses of Enum Class
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
org.tweetyproject.arg.dung.equivalence.kernel
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.semantics
org.tweetyproject.arg.dung.serialisability.semantics
org.tweetyproject.arg.dung.serialisability.util
org.tweetyproject.arg.extended.reasoner
org.tweetyproject.arg.prob.lotteries
org.tweetyproject.arg.prob.reasoner
org.tweetyproject.arg.rankings.postulates
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	The semantics to be used for evaluating the argumentation framework in the simulation.
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)	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 Semantics

Modifier	Constructor	Description
	AbstractLotteryAgent(String name, DungTheory theory, Semantics semantics)	Creates a new lottery agent
	DummyLotteryAgent(String name, DungTheory theory, Semantics semantics)	Create DummyLotteryAgent
	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)	Constructs a new UtilityBasedLotteryAgent with the given name, Dung theory, utility function, and 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

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

Modifier	Constructor	Description
	NormalExpansionEquivalence(Semantics semantics)	Initialize Normal Expansion Equivalence for the given semantics
	SerialisationEquivalence(Semantics semantics)	Initializes a new instance of this equivalence notion for the given semantics
	StandardEquivalence(Semantics semantics)	Initializes a new instance of this equivalence notion for the given semantics
	StrongEquivalence(Semantics semantics)	Initializes a Strong Equivalence Instance with a kernel for the given semantics
	StrongExpansionEquivalence(Semantics semantics)	Initializes a Strong Expansion Equivalence instance with a kernel for the given semantics

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

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

Modifier and Type	Method	Description
static EquivalenceKernel	EquivalenceKernel.getStrongEquivalenceKernelForSemantics(Semantics semantics)	Returns the corresponding strong equivalence kernel for the specified semantics

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	SerialisedExtensionReasoner.getSemantics()	Return the semantics of this reasoner
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	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.
	SerialisedExtensionReasoner(Semantics semantics)	Initializes a serialisation reasoner for the given semantics
	SerialisedExtensionReasoner(SelectionFunction alpha, TerminationFunction beta, Semantics semantics)	Initializes a serialisation reasoner with the given selection and termination functions and sets the semantics
	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.semantics

Subclasses with type arguments of type Semantics in org.tweetyproject.arg.dung.semantics

Modifier and Type	Class	Description
enum	Semantics	This enum lists all 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.INITIAL_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.STRONGLY_UNDISPUTED_SEMANTICS	all semantics
static final Semantics	Semantics.UNCHALLENGED_SEMANTICS	all semantics
static final Semantics	Semantics.UNDISPUTED_SEMANTICS	all semantics
static final Semantics	Semantics.WEAKLY_ADMISSIBLE_SEMANTICS	all semantics
static final Semantics	Semantics.WEAKLY_COMPLETE_SEMANTICS	all semantics
static final Semantics	Semantics.WEAKLY_GROUNDED_SEMANTICS	all semantics
static final Semantics	Semantics.WEAKLY_PREFERRED_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 whose abbreviation matched the given string.
static Semantics	Semantics.valueOf(String name)	Returns the enum constant of this class with the specified name.
static Semantics[]	Semantics.values()	Returns an array containing the constants of this enum class, in the order they are declared.

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

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

Modifier and Type	Method	Description
Semantics	SerialisationGraph.getSemantics()	Return the semantics of this serialisation graph

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

Modifier	Constructor	Description
	SerialisationGraph(DungTheory theory, Semantics semantics)	Construct a serialisation graph for the given argumentation framework and semantics

Uses of Semantics in org.tweetyproject.arg.dung.serialisability.util

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

Modifier and Type	Method	Description
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.extended.reasoner

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

Modifier and Type	Method	Description
static AbstractExtendedExtensionReasoner	AbstractExtendedExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Returns a simple extended theory reasoner for the given semantics
static AbstractRecursiveExtendedExtensionReasoner	AbstractRecursiveExtendedExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)	Returns a simple recursive extended theory reasoner for the given semantics

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

Modifier	Constructor	Description
	FlattenBasedExtendedExtensionReasoner(Semantics semantics)	Initialize new reasoner for the given semantics

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.postulates

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

Modifier	Constructor	Description
	RaSigmaCompatibility(Semantics semantics)	Constructs a RaSigmaCompatibility postulate using a specified semantics.
	RaSkeptSigmaCompatibility(Semantics semantics)	Constructs a RaSkeptSigmaCompatibility postulate using a specified semantics.

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.
	ProbabilisticRankingReasoner(Semantics sem, Probability p, boolean exactInference, InferenceMode mode)	Constructs a new instance of ProbabilisticRankingReasoner with the specified parameters.

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.