Induction (logique)L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.
Apprentissage non superviséDans le domaine informatique et de l'intelligence artificielle, l'apprentissage non supervisé désigne la situation d'apprentissage automatique où les données ne sont pas étiquetées (par exemple étiquetées comme « balle » ou « poisson »). Il s'agit donc de découvrir les structures sous-jacentes à ces données non étiquetées. Puisque les données ne sont pas étiquetées, il est impossible à l'algorithme de calculer de façon certaine un score de réussite.
Syllogisme statistiqueUn syllogisme statistique (ou syllogisme proportionnelle, ou inférence directe) est un syllogisme non déductif. Il fait valoir, en utilisant le raisonnement inductif, la généralisation du vrai à un cas particulier. Les syllogismes statistiques peuvent utiliser des mots qualificatifs comme «la plupart», «fréquemment», «presque jamais», «rarement», etc., ou peuvent avoir une généralisation statistique comme l'un ou l'autre de leurs prémisses.
Matrice circulantevignette|Exemple de matrice circulante avec les éléments représentés par des couleurs En algèbre linéaire, une matrice circulante est une matrice carrée dans laquelle on passe d'une ligne à la suivante par permutation circulaire (décalage vers la droite) des coefficients. Une matrice circulante de taille n est donc de la forme où les coefficients ci sont des complexes. Une matrice circulante constitue un cas particulier de matrice de Toeplitz, de matrice de Frobenius (c'est la matrice générique de la multiplication par un élément de l'algèbre de groupe C[Z/nZ] et aussi un cas particulier de carré latin).
