Simulasikan dan periksa model di Stan: Mudah di Stan Playground – hanya berjalan di browser Anda! – Beragampengetahuan

Saat membuat model, akan sangat membantu jika kita memeriksa pemahaman kita dengan menyimulasikan data palsu dan melihat apakah model yang dipasang memulihkan parameter dasar yang sebenarnya. Ini mudah dilakukan di Stan!

Lihat di atas – Saya baru saja membuat contoh sederhana di Stan Playground. (Terima kasih, Brian!) Kodenya agak jelek karena saya menentukan nilai parameter sebenarnya dalam kode Stan datablock yang dikonversi daripada menyebutnya sebagai data; sisi positifnya, semuanya ada dalam satu program.

Ini berbeda dengan pemeriksaan kalibrasi (SBC) yang sepenuhnya berbasis simulasi. Di SBC, Anda mengekstrak nilai parameter sebenarnya dari sebelumnya, mengulangi seluruh proses berkali-kali secara paralel, dan kemudian membuat rata-rata prioritas dengan memeriksa cakupan rata-rata dari kesimpulan posterior relatif terhadap nilai parameter sebenarnya. Disini saya menjalankan simulasi hanya sekali dan mengatur nilai parameter sebenarnya hanya sekali. Ini adalah SBC yang cepat dan kotor yang masih berguna saat mengatasi masalah seperti model yang tidak dikenal atau pencampuran yang buruk.

Dan itu mudah dilakukan! Kapan pun Anda memasang model, Anda harus memeriksanya dengan data palsu.

Saya melakukan contoh di atas karena saya ingin segera memeriksa salah satu latihan yang saya tulis untuk buku saya yang akan datang tentang Bayesian Workflows.

polistiren Jika anda ingin mencobanya sendiri, berikut kode contoh diatas:

transformed data {
  int N = 100;
  real a_true = 0.2;
  real b_true = 0.3;
  real sigma_true = 0.2;
  vector[N] x;
  vector[N] y;
   for (n in 1:N) {
    x[n] = uniform_rng(0, 10);
    y[n] = normal_rng(1 / (a_true + b_true * x[n]), sigma_true);
  }
}
parameters {
  real<lower=0> a, b, sigma;
}
model {
  a ~ normal(0, 1);
  b ~ normal(0, 1);
  for (n in 1:N) {
    y[n] ~ normal(1 / (a + b * x[n]), sigma);
  }
}

ekonomi kreatif, ilmu ekonomi adalah, pelaku ekonomi
, kegiatan ekonomi adalah, sistem ekonomi

#Simulasikan #dan #periksa #model #Stan #Mudah #Stan #Playground #hanya #berjalan #browser #Anda