Modifier and Type | Field and Description |
---|---|
private ProbabilityFunction<PossibleWorld> |
DeductiveArgMeReasoner.meDistribution
The ME-distribution this reasoner bases on.
|
Modifier and Type | Method and Description |
---|---|
private ProbabilityFunction<PossibleWorld> |
DeductiveArgMeReasoner.computeMeDistribution()
Computes the ME-distribution this reasoner bases on.
|
ProbabilityFunction<PossibleWorld> |
DeductiveArgMeReasoner.getMeDistribution()
Returns the ME-distribution this reasoner bases on.
|
Modifier and Type | Method and Description |
---|---|
private Term |
DeductiveArgMeReasoner.getSumOfWorlds(PropositionalFormula f,
java.util.Map<PossibleWorld,Variable> worlds2vars)
Returns the sum (as a term) of all variables of worlds satisfying the first formula.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<PossibleWorld> |
ZReasoner.omega |
Modifier and Type | Method and Description |
---|---|
private Statement |
CReasoner.getRankConstraint(PossibleWorld w,
IntegerVariable ranki,
java.util.Map<Conditional,IntegerVariable> kappa_pos,
java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method
computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- |
Modifier and Type | Method and Description |
---|---|
private Statement |
CReasoner.getAcceptanceConstraint(Conditional cond,
java.util.Map<PossibleWorld,IntegerVariable> ranks)
For the given conditional (B|A) and the given ranks of possible worlds, this
method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of
the ranks of the interpretations that satisfy AB.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Map<PossibleWorld,java.lang.Integer> |
RankingFunction.ranks
The ranks of the possible worlds.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<PossibleWorld> |
RankingFunction.getPossibleWorlds()
Returns all interpretations that are mapped to a rank
unequal to INFINITY.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
RankingFunction.falsifies(PossibleWorld w,
Conditional c)
Checks whether the given possible world w falsifies the given
conditional (B|A), i.e.
|
java.lang.Integer |
RankingFunction.rank(PossibleWorld w)
Gets the rank of the given possible world.
|
static boolean |
RankingFunction.satisfies(PossibleWorld w,
Conditional c)
Checks whether the given possible world w satisfies the given
conditional (B|A), i.e.
|
void |
RankingFunction.setRank(PossibleWorld w,
java.lang.Integer value)
Sets the rank for the given possible world.
|
static boolean |
RankingFunction.verifies(PossibleWorld w,
Conditional c)
Checks whether the given possible world w verifies the given
conditional (B|A), i.e.
|
Modifier and Type | Field and Description |
---|---|
private ProbabilityDistribution<PossibleWorld> |
DefaultMeReasoner.meDistribution
The ME-distribution this reasoner bases on.
|
private ProbabilityDistribution<PossibleWorld> |
GeneralizedMeReasoner.meDistribution
The ME-distribution this reasoner bases on.
|
Modifier and Type | Method and Description |
---|---|
private ProbabilityDistribution<PossibleWorld> |
DefaultMeReasoner.computeMeDistribution()
Computes the ME-distribution this reasoner bases on.
|
private ProbabilityDistribution<PossibleWorld> |
GeneralizedMeReasoner.computeMeDistribution()
Computes the ME-distribution this reasoner bases on.
|
ProbabilityDistribution<PossibleWorld> |
DefaultMeReasoner.getMeDistribution()
Returns the ME-distribution this reasoner bases on.
|
ProbabilityDistribution<PossibleWorld> |
GeneralizedMeReasoner.getMeDistribution()
Returns the ME-distribution this reasoner bases on.
|
Modifier and Type | Method and Description |
---|---|
static org.ojalgo.matrix.PrimitiveMatrix |
OjAlgoPclUtils.createConstraintMatrix(PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Create constraint matrix for a set of PCL conditionals over a set of possible worlds.
|
static void |
MatlabUtils.printAntecedenceVerificationMatrix(java.io.PrintStream out,
PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
|
static void |
MatlabUtils.printConditionalVerificationMatrix(java.io.PrintStream out,
PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
|
static void |
MatlabUtils.printConstraintMatrix(java.io.PrintStream out,
PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Print constraint matrix for belief set and possible worlds to output stream.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Collection<java.util.List<PossibleWorld>> |
HsInconsistencyMeasurementProcess.hittingSets
The current candidate populations for a hitting set.
|
Modifier and Type | Method and Description |
---|---|
abstract double |
PossibleWorldDistance.distance(PossibleWorld a,
PossibleWorld b) |
double |
DalalDistance.distance(PossibleWorld a,
PossibleWorld b) |
double |
PossibleWorldDistance.distance(PropositionalFormula f,
PossibleWorld b) |
Modifier and Type | Field and Description |
---|---|
private PossibleWorld |
NicePossibleWorld.world
Implementation of possible world with a small memory print and
fast satisfication tests.
|
Modifier and Type | Method and Description |
---|---|
PossibleWorld |
NicePossibleWorld.getOptimizedWorld() |
PossibleWorld |
PossibleWorldIterator.next() |
Modifier and Type | Method and Description |
---|---|
static java.util.Set<PossibleWorld> |
PossibleWorld.getAllPossibleWorlds(java.util.Collection<Proposition> signature)
Returns the set of all possible worlds for the
given propositional signature.
|
InterpretationIterator<PossibleWorld> |
PossibleWorldIterator.reset() |
InterpretationIterator<PossibleWorld> |
PossibleWorldIterator.reset(java.util.Collection<? extends Formula> formulas) |
InterpretationIterator<PossibleWorld> |
PossibleWorldIterator.reset(Signature sig) |
Modifier and Type | Method and Description |
---|---|
int |
PossibleWorld.compareTo(PossibleWorld arg0) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<PossibleWorld> |
PropositionalFormula.getModels()
Returns the set of models of this formula wrt.
|
java.util.Set<PossibleWorld> |
Tautology.getModels(PropositionalSignature sig) |
abstract java.util.Set<PossibleWorld> |
PropositionalFormula.getModels(PropositionalSignature sig)
Returns the set of models of this formula wrt.
|
java.util.Set<PossibleWorld> |
Proposition.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Negation.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Disjunction.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Contradiction.getModels(PropositionalSignature sig) |
java.util.Set<PossibleWorld> |
Conjunction.getModels(PropositionalSignature sig) |
Modifier and Type | Field and Description |
---|---|
private java.util.List<PossibleWorld> |
RandomPlBeliefSetSampler.allWorlds
All possible worlds
|
private java.util.List<PossibleWorld> |
EnumeratingPlBeliefSetSampler.allWorlds
All possible worlds
|