@proposit/proposit-core 3.1.0 → 3.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -20,9 +20,10 @@ export interface TCoreEvaluationGrading {
|
|
|
20
20
|
* 2. Inadmissible assignment → inadmissible
|
|
21
21
|
* 3. Supporting premise false → unsound
|
|
22
22
|
* 4. Counterexample (all supporting true, conclusion false) → counterexample
|
|
23
|
-
* 5.
|
|
24
|
-
* 6. Conclusion true →
|
|
25
|
-
* 7.
|
|
23
|
+
* 5. Supporting premises not known true (unknown or absent) → indeterminate
|
|
24
|
+
* 6. Conclusion vacuously true → vacuously-true
|
|
25
|
+
* 7. Conclusion true → sound
|
|
26
|
+
* 8. Otherwise → indeterminate
|
|
26
27
|
*/
|
|
27
28
|
export declare function gradeEvaluation(result: TCoreArgumentEvaluationResult): TCoreEvaluationGrading;
|
|
28
29
|
//# sourceMappingURL=grading.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"grading.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/grading.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAA;AAE9E;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAC1B,OAAO,GACP,gBAAgB,GAChB,SAAS,GACT,gBAAgB,GAChB,cAAc,GACd,eAAe,CAAA;AAErB,MAAM,WAAW,sBAAsB;IACnC,8BAA8B;IAC9B,KAAK,EAAE,oBAAoB,CAAA;IAC3B,mEAAmE;IACnE,KAAK,EAAE,MAAM,CAAA;IACb,2CAA2C;IAC3C,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAA;CAC7C;AAED
|
|
1
|
+
{"version":3,"file":"grading.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/grading.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAA;AAE9E;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAC1B,OAAO,GACP,gBAAgB,GAChB,SAAS,GACT,gBAAgB,GAChB,cAAc,GACd,eAAe,CAAA;AAErB,MAAM,WAAW,sBAAsB;IACnC,8BAA8B;IAC9B,KAAK,EAAE,oBAAoB,CAAA;IAC3B,mEAAmE;IACnE,KAAK,EAAE,MAAM,CAAA;IACb,2CAA2C;IAC3C,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAA;CAC7C;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC3B,MAAM,EAAE,6BAA6B,GACtC,sBAAsB,CAyCxB"}
|
|
@@ -6,9 +6,10 @@
|
|
|
6
6
|
* 2. Inadmissible assignment → inadmissible
|
|
7
7
|
* 3. Supporting premise false → unsound
|
|
8
8
|
* 4. Counterexample (all supporting true, conclusion false) → counterexample
|
|
9
|
-
* 5.
|
|
10
|
-
* 6. Conclusion true →
|
|
11
|
-
* 7.
|
|
9
|
+
* 5. Supporting premises not known true (unknown or absent) → indeterminate
|
|
10
|
+
* 6. Conclusion vacuously true → vacuously-true
|
|
11
|
+
* 7. Conclusion true → sound
|
|
12
|
+
* 8. Otherwise → indeterminate
|
|
12
13
|
*/
|
|
13
14
|
export function gradeEvaluation(result) {
|
|
14
15
|
if (!result.ok) {
|
|
@@ -27,6 +28,11 @@ export function gradeEvaluation(result) {
|
|
|
27
28
|
color: "red",
|
|
28
29
|
};
|
|
29
30
|
}
|
|
31
|
+
// Soundness requires the supporting premises to be true. An unknown or
|
|
32
|
+
// absent value is not true, so it can never reach sound or vacuously-true.
|
|
33
|
+
if (result.allSupportingPremisesTrue !== true) {
|
|
34
|
+
return { grade: "indeterminate", label: "Indeterminate", color: "gray" };
|
|
35
|
+
}
|
|
30
36
|
if (result.conclusionTrue === true) {
|
|
31
37
|
// Check if conclusion is vacuously true
|
|
32
38
|
const diag = result.conclusion?.inferenceDiagnostic;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"grading.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/grading.ts"],"names":[],"mappings":"AAuBA
|
|
1
|
+
{"version":3,"file":"grading.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/grading.ts"],"names":[],"mappings":"AAuBA;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC3B,MAAqC;IAErC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5E,CAAC;IAED,IAAI,MAAM,CAAC,sBAAsB,KAAK,KAAK,EAAE,CAAC;QAC1C,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC1E,CAAC;IAED,IAAI,MAAM,CAAC,yBAAyB,KAAK,KAAK,EAAE,CAAC;QAC7C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IAC/D,CAAC;IAED,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACnC,OAAO;YACH,KAAK,EAAE,gBAAgB;YACvB,KAAK,EAAE,gBAAgB;YACvB,KAAK,EAAE,KAAK;SACf,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,2EAA2E;IAC3E,IAAI,MAAM,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5E,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACjC,wCAAwC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,mBAAmB,CAAA;QACnD,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;YAC5D,OAAO;gBACH,KAAK,EAAE,gBAAgB;gBACvB,KAAK,EAAE,gBAAgB;gBACvB,KAAK,EAAE,QAAQ;aAClB,CAAA;QACL,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IAC7D,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5E,CAAC"}
|