AI KR CG Open tasks - a glossary of terms

Greetings AI KR CG

In case someone is up for doing some homework, I think our KR glossary of
core terms could be useful if improved
even to a minimal set

Today I struggled to remind myself and what ATMS stands for. Biological
hard drives do deprecate

1. JTMS (Justification-based Truth Maintenance Systems)
John Doyle “A Truth Maintenance System”, Artificial Intelligence
12:231-272, 1979.
2. ATMS (Assumption-based Truth Maintenance Systems)
Johan de Kleer, “An assumption-based TMS”, Artificial Intelligence,
28:127–162,
1986
https://elearning.di.unipi.it/pluginfile.php/19734/mod_resource/content/3/KRR-3.pdf

I d like to finalize a glossary of terms in the next few months, and
publish it as a resource
Studying terminology is an excellent path to learning
anyone willing to study, learn and share their knowledge, please start
annotating on the wiki
thank you

https://www.w3.org/community/aikr/wiki/Main_Page