« 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 |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
[[Catégorie:Publication]] | |||
== Définition == | == 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 == | == Français == | ||
'''règle de résolution des littéraux''' | |||
'''résolution des 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.--> | |||
| Ligne 21 : | Ligne 22 : | ||
[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)] | |||
Version du 21 février 2023 à 16:17
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)
Contributeurs: Patrick Drouin, wiki
