« Résolution de littéraux » : 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 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == 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 == | == Français == | ||
'''résolution de littéraux''' | |||
== Anglais == | == Anglais == | ||
'''literals resolved upon''' | '''literals resolved upon''' | ||
in performing resolution, the two literals of opposite sign (one from each clause) that are unified and then removed in forming the result clause. | |||
<!--in performing resolution, the two literals of opposite sign (one from each clause) that are unified and then removed in forming the result clause.--> | |||
==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)] | |||
[[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
