Résolution de littéraux


Révision datée du 14 septembre 2019 à 10:46 par Pitpitt (discussion | contributions) (Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

en construction


Définition

xxxxxxx

Français

xxxxxxx

Anglais

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.


Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Patrick Drouin, wiki