« Circonscription » : différence entre les versions
m (Remplacement de texte — « n.f. » par « nom fém. ») |
m (Remplacement de texte — « ==Définition== » par « ==Définition== ») |
||
| Ligne 4 : | Ligne 4 : | ||
[[Catégorie:scotty2]] | [[Catégorie:scotty2]] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
==Définition== | ==Définition== | ||
Règle conjecturale qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers. A savoir, les objets dont on peut démontrer qu'ils possèdent une certaine propriété P en raisonnant à partir de certains faits A sont tous les objets qui satisfont P. Plus généralement, la circonscription peut être utilisée pour conjecturer que les tuples <x, y ..., z> on peut montrer que pour satisfaire une relation P (x, y, ..., z), tous les tuples satisfaisant cette relation. | Règle conjecturale qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers. A savoir, les objets dont on peut démontrer qu'ils possèdent une certaine propriété P en raisonnant à partir de certains faits A sont tous les objets qui satisfont P. Plus généralement, la circonscription peut être utilisée pour conjecturer que les tuples <x, y ..., z> on peut montrer que pour satisfaire une relation P (x, y, ..., z), tous les tuples satisfaisant cette relation. | ||
Version du 18 avril 2020 à 11:34
Définition
Règle conjecturale qui permet de sauter aux conclusions au moyen de schémas axiomatiques particuliers. A savoir, les objets dont on peut démontrer qu'ils possèdent une certaine propriété P en raisonnant à partir de certains faits A sont tous les objets qui satisfont P. Plus généralement, la circonscription peut être utilisée pour conjecturer que les tuples <x, y ..., z> on peut montrer que pour satisfaire une relation P (x, y, ..., z), tous les tuples satisfaisant cette relation.
Français
circonscription nom fém.
Anglais
circumscription
Intelligence artificielle / Elaine Rich ; traduit de l'anglais par David Guedj. -- Rich, Elaine. Paris : Masson, 1987.
viii, 439 p.;Traduction de : Artificial intelligence.;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. / viii, 439 p.;Traduction de : Artificial intelligence;Comprend des index.;Bibliogr. : p. (416)-430.;ISBN 2225807736. * 1987
Contributeurs: Jacques Barolet, wiki
