• Aucun résultat trouvé

en fr

N/A
N/A
Protected

Academic year: 2022

Partager "en fr "

Copied!
62
0
0

Texte intégral

(1)

HAL Id: hal-02597181

https://hal.inrae.fr/hal-02597181

Submitted on 6 Jul 2020

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives| 4.0 International License

Adaptive approximate Bayesian computation for complex models

Maxime Lenormand, Franck Jabot, Guillaume Deffuant

To cite this version:

Maxime Lenormand, Franck Jabot, Guillaume Deffuant. Adaptive approximate Bayesian computation for complex models. 8th World Congress in Probability and Statistics, Jul 2012, Istanbul, Turkey.

pp.11. �hal-02597181�

(2)

Adaptive approximate Bayesian computation for complex models

Maxime Lenormand, Franck Jabot & Guillaume Deffuant

Laboratory of Engineering for Complex Systems Irstea of Clermont-Ferrand

8 th World Congress in Probability and Statistics July  th 

To bet t er r ef l ect i t s mi ssi ons, Cemagr ef becomes I r st ea.

This publication has been funded under the PRIMA (Prototypical policy impacts on multifunctional activities in rural municipalities) collaborative project, EU 7th Framework Programme (ENV 2007-1), contract no. 212345.

(3)

Plan

1 Motivation

2 Approximate Bayesian Computation (ABC)

3 Approximate Bayesian Computation Sequential Monte Carlo

4 Adaptive Population Monte Carlo Approximate Bayesian Computation

5 Comparison of the algorithms

6 The SimVillages Model

7 Conclusion

(4)

Motivation

Complex social model Individual-based model Stochastic

High dimensional parameter space High computational cost by simulation

Estimate the parameter values Calibrate the model

Understand the model behaviour Uncertainty analysis

Validation

(5)

Plan

1 Motivation

2 Approximate Bayesian Computation (ABC)

3 Approximate Bayesian Computation Sequential Monte Carlo

4 Adaptive Population Monte Carlo Approximate Bayesian Computation

5 Comparison of the algorithms

6 The SimVillages Model

7 Conclusion

(6)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

(Pritchard et al., 1999) Derived from T. Toni 2011

(7)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target s

(Pritchard et al., 1999) Derived from T. Toni 2011

(8)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target s

s

(Pritchard et al., 1999) Derived from T. Toni 2011

(9)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target s

s

(Pritchard et al., 1999) Derived from T. Toni 2011

(10)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target s

s s

(Pritchard et al., 1999) Derived from T. Toni 2011

(11)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

s s

s

(Pritchard et al., 1999) Derived from T. Toni 2011

(12)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

s s

s

s

(Pritchard et al., 1999) Derived from T. Toni 2011

(13)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

s s

s

s

(Pritchard et al., 1999) Derived from T. Toni 2011

(14)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

s s

s s s s s

s s s

s s

s

(Pritchard et al., 1999) Derived from T. Toni 2011

(15)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

s s

s s s s s

s s s

s s

s

sss sss ss

(Pritchard et al., 1999) Derived from T. Toni 2011

(16)

Approximate Bayesian Computation

1 Sample θ ∼ π(θ).

2 Simulate x ∼ f (x |θ ).

3 If ρ(S(x ), S(y )) ≤ , accept θ , otherwise reject.

4 Repeat until a sample of the desired size is obtained

Prior distribution π(θ)

Posterior distribution π(θ)P θ {f (x |θ) = y }

6

- Simulation

b

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

&%

'$

Target

s s

s s s s s

s s s

s s

s

sss sss ss

(Pritchard et al., 1999) Derived from T. Toni 2011

(17)

Plan

1 Motivation

2 Approximate Bayesian Computation (ABC)

3 Approximate Bayesian Computation Sequential Monte Carlo

4 Adaptive Population Monte Carlo Approximate Bayesian Computation

5 Comparison of the algorithms

6 The SimVillages Model

7 Conclusion

(18)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

(19)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

(20)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

(21)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s

s

s ss

(22)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s s s ss

s

s

s

s

sss

s

s

s s

ss

(23)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s s s ss

s s s s sss s s s s ss

- w i (1) s

w i (t) = π(θ

(t)

i )

P N j=1 w (t−1)

j σ −1

t−1 ϕ

σ −1

t−1 (θ (t) i −θ (t−1)

j )

(24)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s s s ss

s s s s sss s s s s ss

- w i (1) s

w i (t) = π(θ

(t)

i )

P N j=1 w (t−1)

j σ −1

t−1 ϕ

σ −1

t−1 (θ (t) i −θ (t−1)

j )

6 K 2

s

K t (θ |θ) = σ t−1 −1 ϕ

σ t−1 −1 − θ)

(25)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s s s ss

s s s s sss s s s s ss

- w i (1) s

w i (t) = π(θ

(t)

i )

P N j=1 w (t−1)

j σ −1

t−1 ϕ

σ −1

t−1 (θ (t) i −θ (t−1)

j )

6 K 2

s

K t (θ |θ) = σ t−1 −1 ϕ

σ t−1 −1 − θ)

- ρ(x , y ) ≤ 2

s

(26)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s s s ss

s s s s sss s s s s ss

- w i (1) s

w i (t) = π(θ

(t)

i )

P N j=1 w (t−1)

j σ −1

t−1 ϕ

σ −1

t−1 (θ (t) i −θ (t−1)

j )

6 K 2

s

K t (θ |θ) = σ t−1 −1 ϕ

σ t−1 −1 − θ)

- ρ(x , y ) ≤ 2

ss

s

s

s

ss

ss ss

sss s

(27)

ABC SMC

Algorithm

(Beaumont et al., 2009) (Toni et al., 2009)

Prior Posterior

T

1 2

· · ·

s s s s

s s s

s s

s s

s s s s ss

s s s s sss s s s s ss

- w i (1) s

w i (t) = π(θ

(t)

i )

P N j=1 w (t−1)

j σ −1

t−1 ϕ

σ −1

t−1 (θ (t) i −θ (t−1)

j )

6 K 2

s

K t (θ |θ) = σ t−1 −1 ϕ

σ t−1 −1 − θ)

- ρ(x , y ) ≤ 2

ss

s s s ss ss ss

sss s sss ssss

s

sss

(28)

ABC SMC

Recent Improvements

Determination "on-line" of the decreasing sequence of tolerance levels { 1 , ..., T }. (DelMoral et al. (2011)) and (Drovandi and Pettitt (2011).

From a quadratic complexity to a linear complexity for the computation of the weights thanks to a MCMC kernel.

(DelMoral et al. (2011)) and (Drovandi and Pettitt (2011).

Realisation of M pseudo-observations (DelMoral et al.

(2011))

= ⇒ The MCMC kernel leads to the problem of particles

duplication!!!

(29)

Plan

1 Motivation

2 Approximate Bayesian Computation (ABC)

3 Approximate Bayesian Computation Sequential Monte Carlo

4 Adaptive Population Monte Carlo Approximate Bayesian Computation

5 Comparison of the algorithms

6 The SimVillages Model

7 Conclusion

(30)

Adaptive PMC ABC

Algorithm

Prior

(Lenormand et al.)

(31)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

(Lenormand et al.)

(32)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

(Lenormand et al.)

(33)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

- w i (1)

(Lenormand et al.)

(34)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

- w i (1)

6

? K 1

(Lenormand et al.)

(35)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

- w i (1)

6

? K 1 s s

s sss s N − N α particles

p acc = P N

k=N α +1 1 ρ(x ,y)≤ 1

N − N α

(Lenormand et al.)

(36)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

s s s sss s N − N α particles

p acc = P N

k=N α +1 1 ρ(x,y)≤ 1

N − N α s s s sss s

s s s s

s s

s s

s s s N particles

(Lenormand et al.)

(37)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

s s s sss s N − N α particles

p acc = P N

k=N α +1 1 ρ(x,y)≤ 1

N − N α s s s sss s

s s s s

s s

s s

s s s N particles

-

N α

2

s ss s s s ss ss s s

(Lenormand et al.)

(38)

Adaptive PMC ABC

Algorithm

Prior N particles

(LHS)

s s s s

s s s

s s

s s

s s s s ss

-

N α

1

s s s s

s s

s s

s s s

s s s sss s N − N α particles

p acc = P N

k=N α +1 1 ρ(x,y)≤ 1

N − N α s s s sss s

s s s s

s s

s s

s s s N particles

-

N α

2

s ss s s s ss ss s s

· · · {p acc <p

accmin }

Posterior sss sss sss

(Lenormand et al.)

(39)

Adaptive PMC ABC

Pros and Cons

Pros

Control the number of simulations at each iteration (N − N α simulations).

Determination "on-line" of the decreasing sequence of tolerance levels.

No problem of particles duplication. Stopping criterion

Cons

Complexity O(N α 2 ) for the computation of the weights

(40)

Adaptive PMC ABC

Pros and Cons

Pros

Control the number of simulations at each iteration (N − N α simulations).

Determination "on-line" of the decreasing sequence of tolerance levels.

No problem of particles duplication. Stopping criterion

Cons

Complexity O(N α 2 ) for the computation of the weights

(41)

Adaptive PMC ABC

Pros and Cons

Pros

Control the number of simulations at each iteration (N − N α simulations).

Determination "on-line" of the decreasing sequence of tolerance levels.

No problem of particles duplication.

Stopping criterion Cons

Complexity O(N α 2 ) for the computation of the weights

(42)

Adaptive PMC ABC

Pros and Cons

Pros

Control the number of simulations at each iteration (N − N α simulations).

Determination "on-line" of the decreasing sequence of tolerance levels.

No problem of particles duplication.

Stopping criterion

Cons

Complexity O(N α 2 ) for the computation of the weights

(43)

Adaptive PMC ABC

Pros and Cons

Pros

Control the number of simulations at each iteration (N − N α simulations).

Determination "on-line" of the decreasing sequence of tolerance levels.

No problem of particles duplication.

Stopping criterion Cons

Complexity O(N α 2 ) for the computation of the weights

(44)

Plan

1 Motivation

2 Approximate Bayesian Computation (ABC)

3 Approximate Bayesian Computation Sequential Monte Carlo

4 Adaptive Population Monte Carlo Approximate Bayesian Computation

5 Comparison of the algorithms

6 The SimVillages Model

7 Conclusion

(45)

Comparison of the algorithms

Toy Example : Presentation

f(x|θ) ∼ 1 2 φ

θ, 1

100

+ 1

2 φ (θ, 1) and θ ∼ U [−10,10]

Probability

−3 −2 −1 0 1 2 3

0.0 0.5 1.0 1.5 2.0 2.5

θ

Références

Documents relatifs

Hussein Rappel, Lars Beex, Jack Hale, Stephane

An alternative identification method is the Bayesian approach which explicitly accounts for the experimental noise and consequently gives a probabilistic estimation of the

Approximate Bayesian computation scheme for parameter inference and model selection in dynamical systems. Journal of the Royal Society Interface,

Here θ denotes a concatenation of the parameters defining the distribution of the profile of the seed cluster and φ denotes a concatenation of all the transition parameters of

The aim of applying these additional criteria is to build an evaluation tree that minimizes the total computational cost of compiling (building the corresponding probability table)

10 Chiffres issus du Rapport de la Cour des Comptes sur les projets d’ajustement des budgets pour l’année 2009 et sur les projets de budgets pour l’année 2010 de la Région

(scénarios démographiques et/ ou évolutifs trop complexes) 1-Tirer une valeur du paramètre dans le prior. 2-Simuler un jeu de données avec cette valeur de paramètre Ex : taux

We show that our algorithm, applied to a toy exam- ple and to an individual-based social model, requires significantly less simulations to reach a given quality level of the