Résolution de littéraux

Définition

En logique, lors de la résolution, deux littéraux de signe opposé (un pour chaque clause) sont unifiés puis supprimés lors de la formation de la clause résultante.

Français

règle de résolution des littéraux

résolution des littéraux

Anglais

literals resolved upon

Source : UTexas Artificial Intelligence Vocabulary Source : Hakim Lounis (UQAM)