Maintenance de la Vérité

Labeling Algorithm

Procédure algorithmique assignant des états (vrai, faux, inconnu) aux propositions d'une base de connaissances en fonction de leurs dépendances logiques. Ces étiquettes sont mises à jour dynamiquement lors de la maintenance de la vérité.

← Terug