« Clauses parentes » : 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 Balise : Éditeur de wikicode 2017 |
||
| Ligne 7 : | Ligne 7 : | ||
== Définition == | == Définition == | ||
Dans la démonstration du théorème de résolution, les deux clauses originales desquelles une nouvelle clause est dérivée par résolution. | |||
== Français == | == Français == | ||
'''Clauses parentes''' <small> féminin </small> | |||
== Anglais == | == Anglais == | ||
''' | '''Parent clauses''' | ||
<small> | <small> | ||
[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] | ||
Version du 6 juin 2020 à 19:49
en construction
Définition
Dans la démonstration du théorème de résolution, les deux clauses originales desquelles une nouvelle clause est dérivée par résolution.
Français
Clauses parentes féminin
Anglais
Parent clauses
Contributeurs: Imane Meziani, wiki
