Package | Description |
---|---|
net.sf.tweety.arg.dung.divisions | |
net.sf.tweety.arg.prob.lotteries |
Modifier and Type | Field and Description |
---|---|
private static java.util.Map<DungTheory,java.util.Collection<Division>> |
Division.archivedDivisons
archive of requested divisions.
|
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<Division> |
Division.getDivisions(java.util.Collection<Extension> exts,
DungTheory aaf)
Returns all divisions of all given extensions and the given aaf.
|
static java.util.Collection<Division> |
Division.getDivisions(Extension ext,
DungTheory aaf)
Returns all divisions of aaf that arise from the given extension.
|
static java.util.Collection<Division> |
Division.getStandardDivisions(DungTheory theory)
Returns the standard set of divisions of the given argumentation theory, i.e.
|
Modifier and Type | Method and Description |
---|---|
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 java.util.Map<Division,Probability> |
ArgumentationLottery.prob
Maps divisions to probabilities
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Division> |
ArgumentationLottery.getPossibleOutcomes()
Returns the set of possible outcomes.
|
Modifier and Type | Method and Description |
---|---|
Probability |
ArgumentationLottery.get(Division d)
Returns the probability of the given outcome.
|
Probability |
SubgraphProbabilityFunction.getAcceptanceProbability(Division d,
Semantics semantics)
Returns the probability of the given division being acceptable 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.
|