Résolution de littéraux


Révision datée du 28 janvier 2024 à 12:22 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

En logique, lors de la résolution, deux symboles 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ésolution de littéraux

Anglais

literals resolved upon



Sources

Source : UTexas Artificial Intelligence Vocabulary

Source : Hakim Lounis (UQAM)

Récupérée de « https://datafranca.org/wiki/index.php?title=Résolution_de_littéraux&oldid=92104 »

Contributeurs: Patrick Drouin, wiki