Non, un pattern c'est une sorte de schema court et simple qui 'resume' bien un ensemble que d'observations particulieres potentiellement détaillés et compliquées.
Trouver des pattern a partir d'une base d'exemples c'est *induire* une regle, une theorie et c'est ce que tente d'evaluer les tests de QI et ce que tache de reproduire les algos d'intelligence artificiel (reseaux de neuronnes, arbre de decisions, Support Vector Machines, programmation logique inductive, classeurs bayesiens naifs ...).
Les problemes d'inductions sont souvent durs, particulierement avec des resources de temps et d'espace limitée et c'est probablement pourquoi la notion d'intelligence est (pour moi) tres liée a ce pouvoir inductif en contexte de resources limitées.
Prouver qu'un pattern matche ou non un ensemble d'exemples données est un raisonnment deductifs et c'est tres souvent un probleme plus simple pour un meme domaine (exemple la SLD-resolution qui prove que des clause logique sont vrai ou fausse en DATALOG est plus simple que la programmation logique inductive qui cherche a ecrire un programme logique en DATALOG qui 'explique' un ensemble d'exemples positifs et negatifs).
[^] # Re: Le QI
Posté par Olivier Grisel (site web personnel) . En réponse au journal Les gens intelligents font moins de sexe (que les autres). Évalué à 1.
Trouver des pattern a partir d'une base d'exemples c'est *induire* une regle, une theorie et c'est ce que tente d'evaluer les tests de QI et ce que tache de reproduire les algos d'intelligence artificiel (reseaux de neuronnes, arbre de decisions, Support Vector Machines, programmation logique inductive, classeurs bayesiens naifs ...).
Les problemes d'inductions sont souvent durs, particulierement avec des resources de temps et d'espace limitée et c'est probablement pourquoi la notion d'intelligence est (pour moi) tres liée a ce pouvoir inductif en contexte de resources limitées.
Prouver qu'un pattern matche ou non un ensemble d'exemples données est un raisonnment deductifs et c'est tres souvent un probleme plus simple pour un meme domaine (exemple la SLD-resolution qui prove que des clause logique sont vrai ou fausse en DATALOG est plus simple que la programmation logique inductive qui cherche a ecrire un programme logique en DATALOG qui 'explique' un ensemble d'exemples positifs et negatifs).