doyle-1979-original-tms-dekleer-1986-atms

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

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

The original Truth Maintenance System was published by Doyle (1979, Artificial Intelligence 12(3)) and the Assumption-Based TMS (ATMS) by de Kleer (1986, Artificial Intelligence 28:127–162).

Summary

This records the two foundational papers in the TMS lineage: Doyle's 1979 original system and de Kleer's 1986 assumption-based extension. It matters because any reasoning about what TMS does, how it evolved, or which assumptions are inherited traces back to these two starting points, and they anchor the historical and technical context for everything built on top of them.