Spaces:
Sleeping
Sleeping
| """ | |
| FALSIFY belief-revision tasks. | |
| The three-step revision pipeline, in execution order: | |
| 1. :func:`detect_contradictions` — two-gate detector: which existing evidence does a | |
| new fact contradict/supersede? | |
| 2. :func:`propagate_refutation` — flip the contradicted evidence to ``refuted`` and | |
| cascade ``invalidated`` forward through ``depends_on``; then | |
| :func:`promote_competing_hypothesis` re-scores the rival hypotheses. | |
| 3. :func:`cascade_forget` — hard-delete truly-orphaned dead-ends from graph + vector, | |
| keeping provenance tombstones. | |
| """ | |
| from falsify.tasks.detect_contradictions import ( | |
| Contradiction, | |
| ContradictionJudgement, | |
| detect_contradictions, | |
| ) | |
| from falsify.tasks.propagate_refutation import ( | |
| PropagationResult, | |
| promote_competing_hypothesis, | |
| propagate_refutation, | |
| ) | |
| from falsify.tasks.cascade_forget import ForgetResult, cascade_forget | |
| __all__ = [ | |
| "detect_contradictions", | |
| "Contradiction", | |
| "ContradictionJudgement", | |
| "propagate_refutation", | |
| "promote_competing_hypothesis", | |
| "PropagationResult", | |
| "cascade_forget", | |
| "ForgetResult", | |
| ] | |