Modifier and Type | Field and Description |
---|---|
static Semantics |
LotteryDialogueTest.semantics |
static Semantics |
LotteryDialogueTest2.semantics
The argumentation semantics used
|
Modifier and Type | Field and Description |
---|---|
protected Semantics |
AbstractLotteryAgent.semantics
The used semantics
|
Modifier and Type | Method and Description |
---|---|
Semantics |
AbstractLotteryAgent.getSemantics()
Returns the semantics.
|
Modifier and Type | Method and 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 |
UtilityBasedLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
RandomLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
Constructor and 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, and semantics
|
UtilityBasedLotteryAgent(java.lang.String name,
DungTheory theory,
UtilityFunction util,
Semantics semantics) |
Modifier and Type | Field and Description |
---|---|
private Semantics |
LotteryGameGenerator.semantics
The semantics used.
|
Constructor and Description |
---|
LotteryGameGenerator(DungTheoryGenerator gen,
Semantics semantics)
Creates a new game generator.
|
LotteryGameGenerator(DungTheoryGenerator gen,
Semantics semantics,
boolean ensureArg)
Creates a new game generator.
|
Modifier and Type | Field and Description |
---|---|
private Semantics |
FlatABAReasoner.semantics |
Constructor and Description |
---|
FlatABAReasoner(Semantics semantics)
Creates a new instance
|
Modifier and Type | Method and 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.
|
Modifier and Type | Field and Description |
---|---|
private Semantics |
LdoInterpretation.sem
The used semantics
|
Constructor and Description |
---|
LdoInterpretation(DungTheory theory,
Extension ext,
Semantics semantics)
Creates a new interpretation
|
LdoInterpretation(DungTheory theory,
Semantics semantics)
Creates a new interpretation
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<DungTheory> |
LdoFormula.getDividers(DungTheory theory,
Semantics semantics)
Returns the dividers for this formula, i.e.
|
Modifier and Type | Field and Description |
---|---|
private Semantics |
ProboProblem.semantics
The semantics for the problem.
|
private Semantics |
StratifiedLabelingReasoner.semantics
The semantics used for this reasoner.
|
private Semantics |
ProboReasoner.semantics
The semantics to be used
|
Modifier and Type | Method and Description |
---|---|
Semantics |
ProboProblem.semantics()
Returns the semantics of the problem.
|
Modifier and Type | Method and Description |
---|---|
static AbstractExtensionReasoner |
AbstractExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)
Creates a reasoner for the given semantics.
|
Constructor and Description |
---|
ProboProblem(ProboProblem.SubProblem subProblem,
Semantics semantics)
Creates a new problem.
|
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
|
StratifiedLabelingReasoner(Semantics semantics)
Creates a new reasoner for the given Dung theory, semantics, and inference type.
|
Modifier and Type | Field and 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 |
Modifier and Type | Method and 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.
|
Modifier and Type | Field and Description |
---|---|
private Semantics |
LdoArgumentationLottery.semantics
The semantics used for this lottery
|
private Semantics |
ArgumentationLottery.semantics
The semantics used for this lottery
|
Modifier and Type | Method and Description |
---|---|
Semantics |
LdoArgumentationLottery.getSemantics()
Returns the used semantics.
|
Semantics |
ArgumentationLottery.getSemantics()
Returns the used semantics.
|
Modifier and Type | Method and Description |
---|---|
Probability |
SubgraphProbabilityFunction.getAcceptanceProbability(Argument arg,
Semantics semantics)
Returns the probability of the given argument being acceptable wrt.
|
Probability |
SubgraphProbabilityFunction.getAcceptanceProbability(Division d,
Semantics semantics)
Returns the probability of the given division 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(LdoFormula f,
Semantics semantics)
Returns the probability of the given formula 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.
|
Constructor and 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.
|
Modifier and Type | Field and Description |
---|---|
private Semantics |
ProbabilisticRankingReasoner.sem
The classical semantics used for evaluating subgraphs
|
private Semantics |
AbstractPafReasoner.semantics
Semantics for plain AAFs.
|
Modifier and Type | Method and Description |
---|---|
protected Semantics |
AbstractPafReasoner.getSemantics()
The semantics of this reasoner.
|
Constructor and Description |
---|
AbstractPafReasoner(Semantics semantics)
Creates a new reasoner.
|
MonteCarloPafReasoner(Semantics semantics,
int numberOfTrials)
Creates a new reasoner.
|
NaivePafReasoner(Semantics semantics)
Creates a new reasoner.
|
ProbabilisticRankingReasoner(Semantics sem,
Probability p,
boolean exactInference)
Creates a new reasoner.
|