- From: Paola Di Maio <paola.dimaio@gmail.com>
- Date: Sat, 10 May 2025 19:55:33 +0800
- To: W3C AIKR CG <public-aikr@w3.org>, jdoyle2@ncsu.edu
Received on Saturday, 10 May 2025 11:56:18 UTC
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