« Résolution de littéraux » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
(2 versions intermédiaires par 2 utilisateurs non affichées) | |||
Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Ligne 16 : | Ligne 13 : | ||
==Sources== | |||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[https://www.info2.uqam.ca/~lounis_h/dic9250/dic9250_resolution.pdf Source : Hakim Lounis (UQAM)] | [https://www.info2.uqam.ca/~lounis_h/dic9250/dic9250_resolution.pdf Source : Hakim Lounis (UQAM)] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] |
Dernière version du 28 janvier 2024 à 12:22
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
Contributeurs: Patrick Drouin, wiki