Système de maintien vérifonctionnel

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.

Source : UTexas Artificial Intelligence Vocabulary