tms-two-component-architecture

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

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

A Truth Maintenance System uses a two-component architecture where a reasoner performs domain inferences and a TMS tracks justifications and consistency, communicating via a shared interface—the TMS does not perform domain reasoning itself.

Summary

The system splits its work into two roles: one component actually figures things out in the domain, while the other keeps score of why each conclusion holds and whether any contradictions have crept in. This separation matters because the tracking layer stays general-purpose and swappable, and it never gets confused with doing the domain thinking itself.