L'apprentissage PAC (pour probably approximately correct en anglais) est un cadre théorique pour l'apprentissage automatique. Il permet notamment d'évaluer la difficulté d'un problème dans le contexte de l'apprentissage supervisé. Il a été proposé par Leslie Valiant en 1984. Dans le cadre de l'apprentissage PAC, l'algorithme «apprenant» reçoit des données d'apprentissage («samples») et doit choisir une fonction qui généralise ces données. Cette fonction est choisie parmi un ensemble préétabli. Elle est appelée «hypothèse». Le but est que la fonction en question classifie de nouvelles données inconnues (distribuées identiquement aux données d'apprentissage) avec une erreur minimale, et ceci avec forte probabilité. Le cadre le plus simple est le suivant. On considère un ensemble d'échantillons, c'est-à-dire de points d'un espace X, étiquetés par «-1» ou «1». On dispose d'une loi de probabilité D sur X. On dispose aussi d'un ensemble d'hypothèses, c'est-à-dire d'un espace H, de fonctions de X vers {-1,1}. L'une d'elles est appelée le «concept» c : c'est la fonction inconnue que l'on veut apprendre. L'erreur d'une hypothèse h par rapport au concept c sur D est : . On dit que H est PAC apprenable s'il existe un algorithme L tel que : pour tout concept c de H ; pour toute loi D sur X ; pour tout paramètre d'erreur ; pour tout paramètre de confiance ; L fournit une hypothèse qui vérifie avec une probabilité , . L est efficace si sa complexité en temps est polynomiale en et . L'apprentissage PAC a été proposé en 1984 par Leslie Valiant. Ce cadre formel a permis de rapprocher la théorie de la complexité de l'apprentissage, et a donné naissance à ce que l'on appelle la computational learning theory. Ce modèle a été critiqué, notamment à cause du choix de l'analyse dans le pire cas et de l'hypothèse que les données ne sont pas bruitées. D'autres modèles plus complexes ont alors été proposés. Apprentissage PAC-Bayésien L'apprentissage PAC-Bayésien s'inspire de l'inférence bayésienne dans un cadre PAC.
Matthieu Wyart, Mario Geiger, Leonardo Petrini
Michael Christoph Gastpar, Amedeo Roberto Esposito, Ibrahim Issa
Michael Christoph Gastpar, Amedeo Roberto Esposito, Ibrahim Issa