SymRetSymbolic Retraction

A dataset for rule propagation, belief retraction,
and counterfactual rule propagation on symbolic graphs.

Rule Statement Task Statement
Symbolic revision processA → C → D splits into two paths: the upper D → E → F path is blocked and retracted; the lower D → G → H path is recomputed from D’s new false value.

Dataset Versions

Validated evaluation candidates · Unreleased
VersionWidthDepthSupportBackward-RHPForward-RHPGraphsQuestions
v1561–2NoneNone503,252