Pohon peluang Bayes

Masukkan 2–20 hipotesis yang saling lepas dan lengkap; peluang awal yang tepat harus berjumlah 1. Bukti nol tidak terdefinisi.

  • Berjalan di browser
  • Tanpa unggahan
  • Periksa sebelum mengunduh

Masukkan 2–20 hipotesis yang saling lepas dan lengkap; peluang awal yang tepat harus berjumlah 1. Bukti nol tidak terdefinisi.

Model, tata bahasa, dan batas

Semua variabel dan koefisien tidak berdimensi; sudut dalam radian. Tulis perkalian secara eksplisit dan pakai titik desimal. Tata bahasa ekspresi: + - * / ^, tanda kurung, x (atau t, y, v untuk PD; n, a, b untuk rekurensi), pi, e, sin, cos, tan, exp, ln, sqrt, abs. Tanpa penugasan, kode, atau pemanggilan fungsi buatan sendiri.

Ekspresi: 512 karakter / 128 token / kedalaman 32; hasil buatan ≤ 8192 karakter / 512 token / kedalaman 64. Derajat polinom ≤ 12, matriks ≤ 6×6 (diperluas ≤ 6×7), vektor 2D/3D, PD ≤ 2000 langkah, Taylor ≤ 12, Fourier ≤ 24 harmonik / 2048 interval, interpolasi ≤ 50 titik (polinom ≤ 12), deret ≤ 2000 suku, rekurensi ≤ 1000 suku / batas rasional 8192 bit. Batas waktu worker 15 detik menghentikan pekerjaan yang belum selesai.

Identitas eksak hanya berlaku pada domain asalnya; residu numerik, perkiraan galat, dan grafik sampel bukan bukti akurasi/konvergensi global. Model untuk belajar ini bukan persetujuan perangkat keras, medis, keuangan, atau rekayasa. Tidak ada input yang dikirim atau disimpan diam-diam; unduh cadangan mentah sebelum mengatur ulang atau menutup halaman. Data input, rumus, dan nama file tidak pernah dikirim. Hanya jika Anda setuju (opsional), Refentra mengirim jumlah agregat tindakan dan hasil, tanpa isi input.

Verifikasi formal: 512 suku, 1024 hasil kali kandidat, 32 atom per monomial, 2048 karakter per atom, kunci kanonis 8192 karakter. Profil akar rasional: bilangan bulat konstanta/koefisien utama primitif ≤ 1000000 dan 20000 kandidat; faktor sisa tidak terbukti tak tereduksi.

Akar real utama mempertahankan cabangnya: sqrt(x²) bukan x untuk x negatif. Gauss–Kronrod 15/7 memakai delapan panel awal dan perubahan fase trigonometri yang dibatasi ≤ π/2 per panel. Batas: 20000 evaluasi / kedalaman 18. Perkiraan galat lokal bukan batas yang dijamin; resolusi/konvergensi yang belum terselesaikan ditolak. Deret faktorial memakai expm1 untuk amplitudo kecil.

P(Hᵢ|E)=P(Hᵢ)P(E|Hᵢ)/ΣP(Hⱼ)P(E|Hⱼ)

Hipotesis

Input yang dinyatakan

Input yang dinyatakan

Input yang dinyatakan
NilaiSatuan

Hipotesis

Hipotesis
Nama hipotesisPeluang awal P(H) (1)Kemungkinan P(E jika H) (1)
A1/44/5
B3/41/10
Sumber dan lisensi

Pakai profil yang dinyatakan

  1. Input yang dinyatakan

    Tambahkan hipotesis yang saling lepas dan lengkap. Isi prior dan likelihood untuk bukti yang sama; pecahan didukung dan jumlah prior harus tepat 1.

  2. Hitung

    A: prior 1/4, likelihood 4/5. B: prior 3/4, likelihood 1/10. Bukti = 11/40; posterior A = 8/11, B = 3/11.

  3. Unduh laporan CSV

    Bandingkan probabilitas gabungan dan jumlah posterior yang dinormalisasi sebesar 1. Simpan pecahan yang tepat; jangan menganggap desimal yang ditampilkan itu eksak.

Pertanyaan tentang model

Apa arti hasil ini?

Prior adalah P(H); likelihood adalah P(E|H), bukan P(H|E). Perkalian keduanya menghasilkan probabilitas gabungan; membaginya dengan total bukti menghasilkan posterior.

Bagaimana memperbaiki input yang ditolak atau hilang?

Jika total probabilitas bukti nol, posterior tidak ada. Perbaiki likelihood yang mustahil atau prior yang jumlahnya tidak tepat 1.

Apa saja batas alat ini?

Ini aritmetika probabilitas eksak yang terbatas untuk 2–20 hipotesis yang dinyatakan, bukan pengklasifikasi hasil pembelajaran dan bukan bukti bahwa hipotesis itu menggambarkan kenyataan.