tms-two-justification-types

IN premise — summaries/2026/08/24/wiki-Reason_maintenance.md

Created 2026-08-24T17:11:22+00:00

Truth Maintenance Systems support exactly two justification types: Support List (SL, a set of supporting nodes) and Conditional Proof (CP, a conditional inference structure).

Summary

When the system needs to explain why something is true, it only has two options: either point to a group of facts that directly back it up, or walk through an if-then chain of reasoning. This is a hard design limit, meaning every claim in the system must fit into one of those two patterns, and no other form of justification is available.