« 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 :
== en construction ==
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:Intelligence artificielle]]
[[Catégorie:UTexas]]
[[Catégorie:UTexas]]
 
[[Catégorie:Publication]]


== Définition ==
== Définition ==
xxxxxxx
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 ==
xxxxxxx
'''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 à 15: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