« Système de maintien vérifonctionnel » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 14 : | Ligne 14 : | ||
== Anglais == | == Anglais == | ||
'''truth maintenance system ''' | '''truth maintenance system ''' | ||
'''reason maintenance system''' | '''reason maintenance system''' | ||
Version du 14 septembre 2019 à 10:22
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
