Wrestiling with the AI KR vocab, and greeting Jon Doyle

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.

Received on Saturday, 10 May 2025 11:56:18 UTC