Un système de maintenance de la vérité pour une représentation de connaissance centrée-objet
Truth Maintenance System, un système de représentation des connaissances en Intelligence Artificielle ;
Ledit système utilise un moteur d'inférence tel qu'un planificateur d'ordre partiel ou un système de validation de vérité non monotone pour créer des plans.
Pour chaque noeud de proposition dans le système, le système de maintien vérifonctionnel fondé sur des hypothèses tient une liste d'ensembles minimum d'hypothèses (signaux booléens) appropriée au type SNCE.
Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,
Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,
Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод