SymRet v1
Fixed-size symbolic graphs: 5 nodes per layer × 6 layers, with 1–2 supports per derived node.
Without forward or backward RHP. Surviving support is restored during retraction; final CF rule propagation remains enabled.
Rules at a glance
| Rule | Operation | v1 | Behavior |
|---|---|---|---|
| A-1 | Initial inference | ✓ Included | Start from base facts; lower-numbered applicable rules run first. |
| A-2 · R-1 | Support history & restoration | ✓ Included | Keep each rule activation. The newest valid support wins, including a surviving support with the same value. |
| R-2 | Forward retraction | ✓ Included | Remove invalid support and restore existing history. |
| R-2 | No forward RHP | ✓ Assumed | Maintain existing support during forward retraction. Changed or restored values do not activate new rules or create new downstream beliefs. |
| R-3 | Backward retraction | ✓ Included | Retract upstream edges / signed beliefs within the selected cut. |
| R-3 | No backward RHP | ✓ Assumed | Maintain existing support during backward retraction. Changed or restored values do not activate new rules or create new downstream beliefs. |
| C-1 | CF target assignment | ✓ Included | Add the external CF value without a rule justification. Retain existing history and protect the assignment. |
| C-2 | Final CF computation | ✓ Included | Only rules triggered by CF and subsequent truth-value changes. Stop propagation when a node’s value stays the same. |
Read the shared Rule Statement → · Task Statement →
No cycles · One edge per ordered node pair · U only when no valid support remains
Dataset Statistics
| Support | Graph size | Graphs | Questions |
|---|---|---|---|
| 1–2 per node | 5 × 6 | 50 | 3,252 |
Train: 30 graphs · Validation: 10 · Test: 10. Each derived node independently receives one or two initial valid supports. Each graph has one base assignment and four cut variants. Inference uses all nodes; revision questions follow the capped sampling policy below.
Graph preview
Fifteen preview graphs from the 50-graph candidate, five per split. Graphs load on demand; the browser retains up to three in memory. Select a node to inspect its value and support history.
Loading graph metadata…
Without RHP · restore existing support during retraction · final propagation starts only from CF