Résumé cours précédent 1. Théorème de Bayes Probabilité a posteriori Probabilité a priori Vraisemblance Facteur de normalisation (performance globale du modèle) 2. Méthodes de Monte Carlo: échantillonner la distribution a posteriori ~ (K = 10 000) Probabilité a posteriori = fréquence d´apparition dans l ´échantillon
Modèles stochastiques Bayésiens Chick A C C G A G A T Man A G C G A G C T Cat A G G G A G A T Fish A G G G A C A T Snail A G G C A C A T Fly A C G C A C A T Hydra A C C A A C A T Polyp A C C A A C A T hypothèse : données : (D) (phylogénie) (alignement) modèle : (M) (processus d´évolution par accumulation de mutations)
Monte Carlo Markov chain (MCMC) E =-ln L For any topology T : burn in (discarded) sample 45 Chick 67 Man 78 Cat Fish ~ 90 Snail Fly 87 Hydra Polyp posterior consensus
Réseaux Bayésiens Example introductif Définition Méthodes de Monte Carlo Problème inverse : apprendre la structure du réseau, à partir de données observées problème n°1 : apprendre les lois locales problème n°2 : apprendre la structure globale Application : réseaux de régulation génétique
Représenter les dépendances statistiques entre plusieurs variables bougies propres essence niveau réservoir démarrage
bougies essence propres niveau réservoir démarrage oui 0.98 non 0.02 0.96 non 0.04 bougies propres essence niveau réservoir démarrage e = oui e = non plein 0.39 0.01 mi-plein 0.60 vide 0.98 e = oui e = non b = oui 0.99 / 0.01 0 / 1 b = non 0.01 / 0.99
Définition un ensemble de variables aléatoires Un réseau Bayésien est une représentation graphique de la distribution de probabilité conjointe Elle est caractérisée par deux éléments : 1. un graphe acyclique orienté (à n sommets) 2. n distributions conditionnelles où est l´ensemble des parents de
Calcul de la distribution conjointe à partir du graphe Indépendances conditionnelles: ...
Classe d´équivalence : indistinguabilité Deux graphes sont équivalents si ils impliquent les mêmes indépendances conditionnelles Théorème (Pearl et Verma, 1991): Deux Graphes acycliques orientés sont équivalents ssi : - ils sont sous-tendus par le même graphe non orienté - ils ont les mêmes v-structures
Classe d´équivalence : indistinguabilité Une classe d´équivalence peut être représentée de manière unique par un graphe acyclique partiellement orienté
Echantillonnage de Gibbs (Chaque admet pour valeurs possibles les entiers k=1..K) Essayer toutes les valeurs possibles pour et recalculer la probabilité conjointe à chaque fois : .... Tirer une nouvelle valeur pour en fonction de ces probabilités
Echantillonnage de Gibbs Appliquer la même procédure à , puis , ... jusqu´à ... Recommencer un très grand nombre de fois (K=10 000) échantillon : avec distribué suivant la probabilité conjointe Par exemple:
Echantillonnage de Gibbs simplification des calculs ...
Echantillonnage de Gibbs simplification des calculs ...
Echantillonnage de Gibbs
Calcul de probabilités conditionnelles On connait la valeur des variables 26, 22, 16. Calculer alors la probabilité des différentes valeurs possibles pour 8
Calcul de probabilités conditionnelles Faire un Gibbs en laissant fixes les variables 26, 22, 16. Mesurer alors la fréquence des différentes valeurs observées en 8 asymptotiquement égales aux probabilités recherchées
Problème inverse : Inférer les lois conditionnelles locales Données: structure du réseau (G) + table d´observations (D) (G) (D) Inconnues à estimer: lois de probabilités locales
Lois conditionnelles locales pour les réseaux binaires (Chaque admet pour valeurs possibles 0 ou 1) Nombres de paramètres à déterminer: 1 : ensemble des paramètres du réseau
Rappel : tirage à pile ou face : probabilité de tirer pile à un tirage donné : données observées (10 piles et 5 faces) Estimation rapide (efficace si beaucoup d´observations) : Inférence Bayésienne (incertitude mieux prise en compte) Métropolis sur 0.66
Estimation rapide des lois conditionnelles locales 5 12 1 7 2 4 24
Inférence Bayésienne des paramètres du réseau Structure du réseau Table d´observations Paramètres du réseau
Algorithme de Metropolis 1. proposer modif 2. calculer 3. accepter avec une proba p=Min(1,a) si accepté : si refusé : 4. recommencer à partir de 2.
Classificateur Bayésien « naïf » An ... Classe Attributs
Classificateur Bayésien « naïf » méthode d´apprentissage An ... Classe ? Attributs ? Jeu d´apprentissage: A1 A2 ... An C item1 item2 Application des méthodes mentionnées auparavant
Classificateur Bayésien avec corrélations entre attributs Classe C A1 A2 A3 ... An Attributs Cas particulier: le graphe restreint aux attributs est un arbre.
Problème inverse général : inférer la structure du réseau Table d´observations ? Structure du réseau
Inférence Bayésienne de la structure du réseau Table d´observations Paramètres du réseau (calculable analytiquement) Prior sur les réseaux possibles Uniforme : trop flexible Prior pénalisant les réseaux trop riches en liens
Inférence Bayésienne de la structure du réseau Table d´observations Paramètres du réseau (calculable analytiquement) Données suffisamment riches pour inférer le réseau avec certitude: rechercher graphe G qui maximise (NP difficile) Sinon : Monte Carlo à travers l´espace des graphes, pour échantillonner la distribution a posteriori
Classe d´équivalence : indistinguabilité Deux graphes sont équivalents si ils impliquent les mêmes indépendances conditionnelles Théorème (Pearl et Verma, 1991): Deux Graphes acycliques orientés sont équivalents ssi : - ils sont sous-tendus par le même graphe non orienté - ils ont les mêmes v-structures
Classe d´équivalence : indistinguabilité Une classe d´équivalence peut être représentée de manière unique par un graphe acyclique partiellement orienté
Validation de la méthode par simulations
Cas réel : projets d´études supérieures SEX : sexe SES : statut socio-économique PE : encouragement parental IQ : quotient intellectuel CP : projets d´études supérieures
Application : inférer les réseaux de régulation génétique à partir des puces à ADN
Cycle cellulaire division synthèse d´ADN (duplication du génome)
Application : inférer les réseaux de régulation génétique à partir des puces à ADN Mesure de l´expression de 6177 gènes de la levure de boulanger 76 mesures au total: 6 séries temporelles sur cellules synchronisées Discrétisation des niveaux d´expression de chaque gène -1 : sous-exprimé 0 : normal +1 : sur-exprimé Explorer les classes d´équivalence de réseaux de 6178 sommets - 6177 sommets correspondant aux gènes analysés - 1 sommet supplémentaire : phase du cycle cellulaire (contraint comme racine du graphe) Méthode Monte Carlo
Estimation rapide des lois conditionnelles locales 5 12 1 7 2 4 24
Relations de Markov
Gènes dominants (en amont des autres)
Relations de Markov