| 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. 
 |