« Clauses parentes » : différence entre les versions
m (Pitpitt a déplacé la page Parent clauses vers Clauses parentes) |
m (Remplacement de texte : « ↵↵<small> » par « ==Sources== ») |
||
| (2 versions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== 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. | Dans la démonstration du théorème de résolution, les clauses parentes sont les deux clauses originales desquelles une nouvelle clause est dérivée par résolution. | ||
== Français == | == Français == | ||
'''Clauses parentes''' | '''Clauses parentes''' | ||
== Anglais == | == Anglais == | ||
'''Parent clauses''' | '''Parent clauses''' | ||
==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] | ||
| Ligne 14 : | Ligne 15 : | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 27 janvier 2024 à 20:07
Définition
Dans la démonstration du théorème de résolution, les clauses parentes sont les deux clauses originales desquelles une nouvelle clause est dérivée par résolution.
Français
Clauses parentes
Anglais
Parent clauses
Sources
Contributeurs: Imane Meziani, wiki
