Package | Description |
---|---|
net.sf.tweety.logics.pcl.analysis | |
net.sf.tweety.logics.pcl.parser | |
net.sf.tweety.logics.pcl.test | |
net.sf.tweety.logics.pcl.util |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<PclBeliefSet,java.lang.Double> |
UpperApproxDistanceMinimizationInconsistencyMeasure.archive
For archiving.
|
private java.util.Map<PclBeliefSet,java.lang.Double> |
LowerApproxDistanceMinimizationInconsistencyMeasure.archive
For archiving.
|
private java.util.Map<PclBeliefSet,java.lang.Double> |
DistanceMinimizationInconsistencyMeasure.archive
For archiving inconsistency values.
|
private java.util.Map<PclBeliefSet,java.util.Map<ProbabilisticConditional,java.lang.Double>> |
DistanceMinimizationInconsistencyMeasure.archiveDevs
For archiving eta/tau values.
|
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> |
SmoothedPenalizingCreepingMachineShop.culpabilityMeasure
The culpability measure used by this machine shop.
|
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> |
PclBeliefSetQuadraticErrorMinimizationMachineShop.culpabilityMeasure
The culpability measure this machine shop bases on.
|
private CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> |
BalancedMachineShop.culpabilityMeasure
The culpability measure used by this machine shop.
|
Modifier and Type | Method and Description |
---|---|
protected PclBeliefSet |
AbstractCreepingMachineShop.characteristicFunction(PclBeliefSet beliefSet,
java.util.Map<ProbabilisticConditional,Probability> values)
Returns a modified belief base that replaces each conditionals probability
by the one given by "values".
|
Modifier and Type | Method and Description |
---|---|
protected PclBeliefSet |
AbstractCreepingMachineShop.characteristicFunction(PclBeliefSet beliefSet,
java.util.Map<ProbabilisticConditional,Probability> values)
Returns a modified belief base that replaces each conditionals probability
by the one given by "values".
|
java.lang.Double |
SignedCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet,
ProbabilisticConditional conditional) |
java.lang.Double |
MeanDistanceCulpabilityMeasure.culpabilityMeasure(PclBeliefSet beliefSet,
ProbabilisticConditional conditional) |
private OptimizationProblem |
MeanDistanceCulpabilityMeasure.getBaseProblem(PclBeliefSet beliefSet,
ProbabilisticConditional conditional,
double incVal)
Creates the base problem (without target function set) for determining both minimal
and maximal incon values.
|
java.lang.Double |
DistanceMinimizationInconsistencyMeasure.getDeviation(PclBeliefSet beliefSet,
ProbabilisticConditional pc)
Returns the deviation of the given conditional in the
nearest consistent belief set.
|
private java.lang.Double |
MeanDistanceCulpabilityMeasure.getMaximumValue(PclBeliefSet beliefSet,
ProbabilisticConditional conditional,
double incVal)
Determines the maximal value for the given conditional.
|
private java.lang.Double |
MeanDistanceCulpabilityMeasure.getMinimumValue(PclBeliefSet beliefSet,
ProbabilisticConditional conditional,
double incVal)
Determines the minimal value for the given conditional.
|
protected java.util.Map<ProbabilisticConditional,Probability> |
UnbiasedCreepingMachineShop.getValues(double delta,
PclBeliefSet beliefSet) |
protected java.util.Map<ProbabilisticConditional,Probability> |
SmoothedPenalizingCreepingMachineShop.getValues(double delta,
PclBeliefSet beliefSet) |
protected java.util.Map<ProbabilisticConditional,Probability> |
PenalizingCreepingMachineShop.getValues(double delta,
PclBeliefSet beliefSet) |
protected abstract java.util.Map<ProbabilisticConditional,Probability> |
AbstractCreepingMachineShop.getValues(double delta,
PclBeliefSet beliefSet)
Computes the values of the conditionals for step delta
|
protected void |
SmoothedPenalizingCreepingMachineShop.init(PclBeliefSet beliefSet) |
protected void |
AbstractCreepingMachineShop.init(PclBeliefSet beliefSet)
Performs some optional initializations before beginning
to restore consistency.
|
protected BeliefBase |
MinimalViolationEuclideanMachineShopOjAlgoMatrix.repair(PclBeliefSet beliefSet)
Compute solution using ojalgos matrix representation.
|
protected BeliefBase |
MinimalViolationEuclideanMachineShopOjAlgoExpression.repair(PclBeliefSet beliefSet)
Compute solution using ojalgos matrix representation.
|
protected abstract BeliefBase |
MinimalViolationEuclideanMachineShop.repair(PclBeliefSet beliefSet) |
java.lang.Double |
SignedCulpabilityMeasure.sign(PclBeliefSet beliefSet,
ProbabilisticConditional conditional)
Determines the sign of the culpability of the given conditional
in the given belief set, i.e.
|
java.lang.Double |
MeanDistanceCulpabilityMeasure.sign(PclBeliefSet beliefSet,
ProbabilisticConditional conditional) |
Constructor and Description |
---|
BalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure) |
PclBeliefSetQuadraticErrorMinimizationMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
Creates a new machine shop based on the given culpability measure.
|
SmoothedPenalizingCreepingMachineShop(CulpabilityMeasure<ProbabilisticConditional,PclBeliefSet> culpabilityMeasure)
Creates a new creeping machine shop based on the given culpability measure.
|
Modifier and Type | Method and Description |
---|---|
PclBeliefSet |
PclParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.LinkedList<PclBeliefSet> |
MinimalViolationInconsistencyMeasureLPSolveTest.kbs |
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.
|