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.ldo.semantics
org.tweetyproject.arg.dung.ldo.syntax
org.tweetyproject.arg.dung.learning
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.arg.dung.semantics
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.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.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.

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

Modifier	Constructor	Description
	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.
	SemiQualifiedReasoner(Semantics semantics)	initialize reasoner with the given semantics as base function.
	StratifiedLabelingReasoner(Semantics semantics)	Creates a new reasoner for the given 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 Semantics	Semantics.ADMISSIBLE_SEMANTICS
static Semantics	Semantics.CF2_SEMANTICS
static Semantics	Semantics.COMPLETE_SEMANTICS
static Semantics	Semantics.CONFLICTFREE_SEMANTICS
static Semantics	Semantics.EAGER_SEMANTICS
static Semantics	Semantics.GROUNDED_SEMANTICS
static Semantics	Semantics.IDEAL_SEMANTICS
static Semantics	Semantics.NAIVE_SEMANTICS
static Semantics	Semantics.PREFERRED_SEMANTICS
static Semantics	Semantics.SCF2_SEMANTICS
static Semantics	Semantics.SEMISTABLE_SEMANTICS
static Semantics	Semantics.STABLE_SEMANTICS
static Semantics	Semantics.STAGE_SEMANTICS
static Semantics	Semantics.STAGE2_SEMANTICS
static Semantics	Semantics.WEAKLY_ADMISSIBLE_SEMANTICS

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

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