Система с сопровождением истинности; TMS (truth maintenance system, TMS) — система, основанная на знаниях, которая поддерживает истинность ее базы знаний, отслеживая зависимости между убеждениями.
Примечание — Сопровождение истинности главным образом состоит в удалении элементов знаний, которые приводят к неправильным логическим выводам.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]