« Circonscription » : différence entre les versions
m (Remplacement de texte — « <!-- Termium --> » par « Catégorie:Termium ») |
m (Remplacement de texte — « [[Category: » par « [[Catégorie: ») |
||
Ligne 3 : | Ligne 3 : | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:scotty2]] | [[Catégorie:scotty2]] | ||
[[ | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
==Définition== | ==Définition== |
Version du 27 septembre 2019 à 09:56
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