A Truth Maintenance System¶
Doyle, J. (1979). A Truth Maintenance System. Artificial Intelligence, 12(3), 231-272.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Chronological Backtracking Log
- A recorded failure is only valid while its justifying constraint holds; if that constraint is later relaxed, the branch it closed may now be viable, yet a naive reader still treats the old entry as final — the log misleads by being trusted past its expiry.
This sourceRecords the reasons for beliefs and revises dependent conclusions when their supporting assumptions change.
- A recorded failure is only valid while its justifying constraint holds; if that constraint is later relaxed, the branch it closed may now be viable, yet a naive reader still treats the old entry as final — the log misleads by being trusted past its expiry.
- Truth-Maintenance System
- A full TMS
This sourceIntroduces a truth-maintenance system that records justifications and revises assumption-dependent beliefs when new information contradicts them.
- A full TMS
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Was it audited? Yes. A second, independent pass read the citation against the article text and recorded a verdict.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:e2c8435805e9 · see in the full table