« Clauses parentes » : différence entre les versions


m (Pitpitt a déplacé la page Parent clauses vers Clauses parentes)
Aucun résumé des modifications
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 ==
Ligne 14 : Ligne 14 :


[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:Scotty2]]

Version du 10 janvier 2021 à 12:38

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 féminin

Anglais

Parent clauses

Source : UTexas Artificial Intelligence Vocabulary

Contributeurs: Imane Meziani, wiki