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.
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki
