Dear all @AI KR CG
I promised I would deliver a first draft of AI KR vocab in the first
quarter of this year, but I am behind
In the meantime. we have not been idle.
I just want to greet Jon Doyle, in cc and share pointers to his seminal
work on Truth Maintenance Systems
Realizing that the concept of TMS is somewhat escaping the AI standards
being define has provided the motivation for looking into gaps further
Good read still relevant today
truth maintenance systems - for problem solving
[image: image.png]
DSpace@MIT
https://dspace.mit.edu › handle › AITR-419
<https://dspace.mit.edu/bitstream/handle/1721.1/6926/AITR-419.pdf?sequence=2&isAllowed=y>
PDF
by J Doyle · 1978 · Cited by 235 — *The Truth Maintenance System is a
program for recording knowledge about deductions*. A reasoning program
interacts with the TMS by distinguishing a set of.
