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 |
---|---|
double |
UtilityBasedLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
RandomLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
ProbabilisticLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
double |
DummyLotteryAgent.getUtility(DungTheory theory,
Semantics semantics) |
abstract double |
AbstractLotteryAgent.getUtility(DungTheory theory,
Semantics semantics)
Returns the utility of the agent wrt.
|
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 |
---|---|
static Semantics |
LotteryDialogueTest2.semantics
The argumentation semantics used
|
static Semantics |
LotteryDialogueTest.semantics |
Modifier and Type | Field and Description |
---|---|
(package private) Semantics |
FlatABAReasoner.semantics |
Constructor and Description |
---|
FlatABAReasoner(BeliefBase beliefBase,
Semantics semantics,
int inferencetype)
Creates a new instance
|
Modifier and Type | Field and Description |
---|---|
private Semantics |
StratifiedLabelingReasoner.semantics
The semantics used for this reasoner.
|
Modifier and Type | Method and Description |
---|---|
static AbstractExtensionReasoner |
AbstractExtensionReasoner.getReasonerForSemantics(BeliefBase beliefBase,
Semantics semantics,
int inferenceType)
Creates a reasoner for the given semantics.
|
Constructor and Description |
---|
StratifiedLabelingReasoner(BeliefBase beliefBase,
Semantics semantics,
int inferenceType)
Creates a new reasoner for the given Dung theory, semantics, and inference type.
|
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 | Method and Description |
---|---|
private Semantics |
TweetySolver.translateSemantics(Semantics semantics)
Returns the integer constant from Tweety of the given semantics.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TweetySolver.solveDC(Semantics semantics,
DungTheory aaf,
Argument arg) |
abstract boolean |
AbstractDungSolver.solveDC(Semantics semantics,
DungTheory aaf,
Argument arg)
Solves the problem of deciding whether an argument (given as additional parameter) is credulously inferred
and returns either "true" (if it is credulously inferred) or "false" (if it is not credulously inferred)
|
boolean |
TweetySolver.solveDE(Semantics semantics,
DungTheory aaf,
java.util.Collection<Argument> args) |
abstract boolean |
AbstractDungSolver.solveDE(Semantics semantics,
DungTheory aaf,
java.util.Collection<Argument> args)
Solves the problem of deciding whether there is labeling with the set of arguments
(given as additional parameter) being the exact set of argument that is labeled in and returns either "true" (there is
such a labeling) or "false" (there is no such labeling).
|
boolean |
TweetySolver.solveDL(Semantics semantics,
DungTheory aaf,
Labeling lab) |
abstract boolean |
AbstractDungSolver.solveDL(Semantics semantics,
DungTheory aaf,
Labeling lab)
Solves the problem of deciding whether the given labeling is a valid labeling wrt.
|
boolean |
TweetySolver.solveDN(Semantics semantics,
DungTheory aaf) |
abstract boolean |
AbstractDungSolver.solveDN(Semantics semantics,
DungTheory aaf)
Solves the problem of deciding whether there exists a labeling
which labels at least one argument in and returns out either "true"
(there is such a labeling) or "false" (there is no such labeling).
|
boolean |
TweetySolver.solveDS(Semantics semantics,
DungTheory aaf,
Argument arg) |
abstract boolean |
AbstractDungSolver.solveDS(Semantics semantics,
DungTheory aaf,
Argument arg)
Solves the problem of deciding whether an argument (given as additional parameter) is skeptically inferred
and returns either "true" (if it is skeptically inferred) or "false" (if it is not skeptically inferred)
|
boolean |
TweetySolver.solveDX(Semantics semantics,
DungTheory aaf) |
abstract boolean |
AbstractDungSolver.solveDX(Semantics semantics,
DungTheory aaf)
Solves the problem of deciding whether there exists a labeling
and returns out either "true" (there is a labeling) or "false" (there is no labeling).
|
java.util.Collection<Argument> |
TweetySolver.solveEC(Semantics semantics,
DungTheory aaf) |
abstract java.util.Collection<Argument> |
AbstractDungSolver.solveEC(Semantics semantics,
DungTheory aaf)
Enumerates all arguments that are credulously inferred.
|
java.util.Collection<java.util.Collection<Argument>> |
TweetySolver.solveEE(Semantics semantics,
DungTheory aaf) |
abstract java.util.Collection<java.util.Collection<Argument>> |
AbstractDungSolver.solveEE(Semantics semantics,
DungTheory aaf)
Enumerates all sets for which there is a labeling that labels
exactly these arguments as in.
|
java.util.Collection<Labeling> |
TweetySolver.solveEL(Semantics semantics,
DungTheory aaf) |
abstract java.util.Collection<Labeling> |
AbstractDungSolver.solveEL(Semantics semantics,
DungTheory aaf)
Enumerates all labelings for the given semantics of the given framework.
|
java.util.Collection<Argument> |
TweetySolver.solveES(Semantics semantics,
DungTheory aaf) |
abstract java.util.Collection<Argument> |
AbstractDungSolver.solveES(Semantics semantics,
DungTheory aaf)
Enumerates all arguments that skeptically inferred.
|
java.util.Collection<Argument> |
TweetySolver.solveSE(Semantics semantics,
DungTheory aaf) |
abstract java.util.Collection<Argument> |
AbstractDungSolver.solveSE(Semantics semantics,
DungTheory aaf)
Returns one extension wrt.
|
private Semantics |
TweetySolver.translateSemantics(Semantics semantics)
Returns the integer constant from Tweety of the given semantics.
|
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 |
private Semantics |
Problem.semantics
The semantics for the problem.
|
static Semantics |
Semantics.SEMISTABLE_SEMANTICS |
static Semantics |
Semantics.STABLE_SEMANTICS |
static Semantics |
Semantics.STAGE_SEMANTICS |
Modifier and Type | Method and Description |
---|---|
Semantics |
Problem.semantics()
Returns the semantics of the problem.
|
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.
|
Constructor and Description |
---|
Problem(Problem.SubProblem subProblem,
Semantics semantics)
Creates a new problem.
|
Modifier and Type | Method and Description |
---|---|
static Semantics |
StratifiedLabelingsCli.getSemantics(java.lang.String sem) |
Modifier and Type | Field and Description |
---|---|
private Semantics |
MonteCarloPafReasoner.semantics
Semantics for plain AAFs.
|
Constructor and Description |
---|
MonteCarloPafReasoner(ProbabilisticArgumentationFramework aaf,
Semantics semantics,
int inferenceType,
int numberOfTrials)
Creates a new reasoner for the given framework
|
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 |
UtilityFunction.getUtility(DungTheory theory,
Semantics semantics)
Gets the utility of the given theory wrt.
|
java.lang.Double |
LdoUtilityFunction.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.
|