Status: IN
Doyle (1979) designed Truth Maintenance Systems with SL justifications, propagation, retraction cascades, and an exogenous problem-solver slot. The TMS substrate is content-agnostic by design
Source: repo:beliefs-pi/entries/2026/05/06/paper-expert-doyle-1979-belief-network-analysis.md