« Circonscription » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 5 : | Ligne 5 : | ||
[[Catégorie:scotty2]] | [[Catégorie:scotty2]] | ||
[[Category:GRAND LEXIQUE FRANÇAIS]] | [[Category: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. | ||
==Français== | ==Français== | ||
'''circonscription''' n.f. | '''circonscription''' n.f. | ||
==Anglais== | ==Anglais== | ||
Version du 15 juin 2019 à 19:38
Domaine
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 n.f.
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
