generalized loopy 2u a new algorithm for approximate
play

Generalized Loopy 2U: A New Algorithm for Approximate Inference in - PowerPoint PPT Presentation

Generalized Loopy 2U: A New Algorithm for Approximate Inference in Credal Networks Alessandro Antonucci, Marco Zaffalon, Sun Yi, Cassio de Campos IDSIA Lugano, Switzerland PGM 08 - Hirtshals September 19th, 2008 Imprecise probabilities


  1. Generalized Loopy 2U: A New Algorithm for Approximate Inference in Credal Networks Alessandro Antonucci, Marco Zaffalon, Sun Yi, Cassio de Campos IDSIA Lugano, Switzerland PGM ’08 - Hirtshals September 19th, 2008

  2. Imprecise probabilities (Walley, 1991) Models of uncertainty about the state of a categorical variable X • A probability mass function P ( X ) • More generally, a closed convex set of probability mass functions K ( X ) This is a credal set (Levi, 1980) • Complete ignorance? A vacuous credal set K 0 ( X ) • Lower (and upper) expectation E K [ f ( X )] = inf P ( X ) ∈ K ( X ) P X P ( x ) f ( X )

  3. Imprecise probabilities (Walley, 1991) Models of uncertainty about the state of a categorical variable X • A probability mass function P ( X ) • More generally, a closed convex set of probability mass functions K ( X ) This is a credal set (Levi, 1980) • Complete ignorance? A vacuous credal set K 0 ( X ) • Lower (and upper) expectation E K [ f ( X )] = inf P ( X ) ∈ K ( X ) P X P ( x ) f ( X )

  4. Imprecise probabilities (Walley, 1991) Models of uncertainty about the state of a categorical variable X • A probability mass function P ( X ) (0,0,1) • More generally, a closed convex set of probability mass functions K ( X ) This is a credal set (Levi, 1980) P ( X ) • Complete ignorance? A vacuous credal set K 0 ( X ) (1,0,0) • Lower (and upper) expectation (0,1,0) E K [ f ( X )] = inf P ( X ) ∈ K ( X ) P X P ( x ) f ( X )

  5. Imprecise probabilities (Walley, 1991) Models of uncertainty about the state of a categorical variable X • A probability mass function P ( X ) (0,0,1) • More generally, a closed convex set of probability mass functions K ( X ) K ( X ) This is a credal set (Levi, 1980) • Complete ignorance? A vacuous credal set K 0 ( X ) (1,0,0) • Lower (and upper) expectation (0,1,0) E K [ f ( X )] = inf P ( X ) ∈ K ( X ) P X P ( x ) f ( X )

  6. Imprecise probabilities (Walley, 1991) Models of uncertainty about the state of a categorical variable X • A probability mass function P ( X ) (0,0,1) • More generally, a closed convex set of probability mass functions K ( X ) This is a credal set (Levi, 1980) • Complete ignorance? A vacuous credal set K 0 ( X ) (1,0,0) K 0 ( X ) • Lower (and upper) expectation (0,1,0) E K [ f ( X )] = inf P ( X ) ∈ K ( X ) P X P ( x ) f ( X )

  7. Imprecise probabilities (Walley, 1991) Models of uncertainty about the state of a categorical variable X • A probability mass function P ( X ) (0,0,1) • More generally, a closed convex set of probability mass functions K ( X ) K ( X ) This is a credal set (Levi, 1980) • Complete ignorance? A vacuous credal set K 0 ( X ) (1,0,0) • Lower (and upper) expectation (0,1,0) E K [ f ( X )] = inf P ( X ) ∈ K ( X ) P X P ( x ) f ( X )

  8. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  9. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  10. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  11. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  12. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  13. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  14. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

  15. From Bayesian to credal nets Bayesian nets (Pearl, 1988) Credal nets (Cozman, 2000) • (stochastic) independence by a DAG • strong independence by a DAG • conditional mass functions • conditional credal sets K ( X i | pa( X i )) P ( X i | pa( X i )) • joint probability mass function • joint credal set (strong extension) P ( x 1 , . . . , x n ) = Q n i =1 P ( x i | pa( X i )) K ( X 1 , . . . , X n ) • updating = compute P ( X q | x E ) • updating = compute P ( X q | x E ) NP PP -hard NP-hard (Cooper, 1989) (Campos & Cozman, 2005) • BP efficiently updates polytrees • 2U: fast alg for binary polytrees (Pearl, 1988) (Zaffalon, 1998) • Loopy BP for multi-connected • Loopy 2U for multi-connected binary (Murphy, 1999) (Ide & Cozman, 2002) • . . . ? Updating non-binary credal nets?

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend