Uses of Class
net.sf.tweety.arg.dung.semantics.Semantics

Packages that use Semantics

Package	Description
net.sf.tweety.agents.dialogues.examples
net.sf.tweety.agents.dialogues.lotteries
net.sf.tweety.agents.dialogues.lotteries.sim
net.sf.tweety.arg.aba.reasoner
net.sf.tweety.arg.dung.divisions
net.sf.tweety.arg.dung.ldo.semantics
net.sf.tweety.arg.dung.ldo.syntax
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.arg.dung.semantics
net.sf.tweety.arg.prob.lotteries
net.sf.tweety.arg.prob.reasoner
net.sf.tweety.arg.rankings.reasoner

Uses of Semantics in net.sf.tweety.agents.dialogues.examples

Fields in net.sf.tweety.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 net.sf.tweety.agents.dialogues.lotteries

Methods in net.sf.tweety.agents.dialogues.lotteries that return Semantics

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

Methods in net.sf.tweety.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 net.sf.tweety.agents.dialogues.lotteries with parameters of type Semantics

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

Uses of Semantics in net.sf.tweety.agents.dialogues.lotteries.sim

Constructors in net.sf.tweety.agents.dialogues.lotteries.sim with parameters of type Semantics

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 net.sf.tweety.arg.aba.reasoner

Constructors in net.sf.tweety.arg.aba.reasoner with parameters of type Semantics

Constructor	Description
FlatAbaReasoner(Semantics semantics)	Creates a new instance

Uses of Semantics in net.sf.tweety.arg.dung.divisions

Methods in net.sf.tweety.arg.dung.divisions with parameters of type Semantics

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

Uses of Semantics in net.sf.tweety.arg.dung.ldo.semantics

Constructors in net.sf.tweety.arg.dung.ldo.semantics with parameters of type Semantics

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 net.sf.tweety.arg.dung.ldo.syntax

Methods in net.sf.tweety.arg.dung.ldo.syntax with parameters of type Semantics

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

Uses of Semantics in net.sf.tweety.arg.dung.reasoner

Methods in net.sf.tweety.arg.dung.reasoner that return Semantics

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

Methods in net.sf.tweety.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 net.sf.tweety.arg.dung.reasoner with parameters of type Semantics

Constructor	Description
ProboReasoner(java.lang.String path_to_exec, Semantics semantics)	Constructs a new instance of ProboReasoner
ProboReasoner(java.lang.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 net.sf.tweety.arg.dung.semantics

Fields in net.sf.tweety.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.GROUNDED_SEMANTICS
static Semantics	Semantics.IDEAL_SEMANTICS
static Semantics	Semantics.PREFERRED_SEMANTICS
static Semantics	Semantics.SEMISTABLE_SEMANTICS
static Semantics	Semantics.STABLE_SEMANTICS
static Semantics	Semantics.STAGE_SEMANTICS

Methods in net.sf.tweety.arg.dung.semantics that return Semantics

Modifier and Type	Method	Description
static Semantics	Semantics.valueOf(java.lang.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 net.sf.tweety.arg.prob.lotteries

Methods in net.sf.tweety.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 net.sf.tweety.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.
java.lang.Double	LdoUtilityFunction.getUtility(DungTheory theory, Semantics semantics)	Gets the utility of the given theory wrt.
java.lang.Double	UtilityFunction.getUtility(DungTheory theory, Semantics semantics)	Gets the utility of the given theory wrt.

Constructors in net.sf.tweety.arg.prob.lotteries with parameters of type Semantics

Constructor	Description
ArgumentationLottery(java.util.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(java.util.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 net.sf.tweety.arg.prob.reasoner

Constructors in net.sf.tweety.arg.prob.reasoner with parameters of type Semantics

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 net.sf.tweety.arg.rankings.reasoner

Constructors in net.sf.tweety.arg.rankings.reasoner with parameters of type Semantics

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