Système de maintien vérifonctionnel
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.
![](/wiki/annonces/DF annonce FB.jpg)
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki