Rsum cours prcdent 1 Thorme de Bayes Probabilit
Résumé cours précédent 1. Théorème de Bayes Probabilité a posteriori Vraisemblance Probabilité a priori 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 Man Cat Fish Snail Fly Hydra Polyp A A A A C G G C C C G G G G C C A A A A A G G G C C C A A A A T T T 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 67 ~ 90 87 78 Chick Man Cat Fish Snail Fly 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
oui 0. 98 oui 0. 96 non 0. 02 non 0. 04 bougies propres essence niveau réservoir démarrage e = oui e = non plein 0. 39 0. 01 mi-plein 0. 60 0. 01 vide 0. 01 0. 98 e = oui e = non b = oui 0. 99 / 0. 01 0/1 b = non 0. 01 / 0. 99 0/1
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 entiers k=1. . K) Essayer toutes les valeurs possibles pour probabilité conjointe à chaque fois : et recalculer la . . 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) Inconnues à estimer: lois de probabilités locales (D)
Lois conditionnelles locales pour les réseaux binaires (Chaque admet pour valeurs possibles 0 ou 1) Nombres de paramètres à déterminer: 0 0 1 1 0 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 0 0 1 1 0 1 5 7 4 1 12 2 0 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 » Classe C A 1 A 2 . . . An Attributs
Classificateur Bayésien « naïf » méthode d´apprentissage Classe C A 1 A 2 . . . An ? Attributs ? Jeu d´apprentissage: A 1 A 2 . . . An C item 1 item 2. . . Application des méthodes mentionnées auparavant
Classificateur Bayésien avec corrélations entre attributs Classe C A 1 A 2 A 3 . . . 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 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 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: recher 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 0 0 1 1 0 1 5 7 4 1 12 2 0 24
Relations de Markov
Gènes dominants (en amont des autres)
Relations de Markov
- Slides: 41