« Système de maintien vérifonctionnel » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Arielle H a déplacé la page Truth maintenance system vers Système de maintien vérifonctionnel) |
(Aucune différence)
| |
Version du 14 avril 2021 à 18:07
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
truth maintenance system
reason maintenance system
a system for maintaining a knowledge base (set of predicates) that allows a retract operation to remove predicates and that handles the problem that additional facts may have been derived from the retracted predicate.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
