Albero probabilità Bayes
Inserisci da 2 a 20 ipotesi che si escludono a vicenda e coprono tutti i casi; le probabilità a priori esatte sommano a 1.
- Funziona nel browser
- Nessun caricamento
- Controlla prima di scaricare
Inserisci da 2 a 20 ipotesi che si escludono a vicenda e coprono tutti i casi; le probabilità a priori esatte sommano a 1. Con evidenza pari a zero il risultato non è definito.
Modello, sintassi e limiti
Variabili e coefficienti sono adimensionali; gli angoli sono in radianti. La moltiplicazione va scritta esplicitamente e il separatore decimale è il punto. Grammatica: + - * / ^, parentesi, x (nelle equazioni differenziali t, y, v; nella ricorrenza n, a, b), pi, e, sin, cos, tan, exp, ln, sqrt, abs. Niente assegnazioni, codice o chiamate di funzioni proprie.
Espressione: 512 caratteri, 128 token, profondità 32; risultato: ≤ 8192 caratteri, 512 token, profondità 64. Grado ≤ 12, matrice ≤ 6×6 (aumentata ≤ 6×7), vettori 2D o 3D, equazioni differenziali ≤ 2000 passi, Taylor ≤ 12, Fourier ≤ 24 armoniche e 2048 intervalli, interpolazione ≤ 50 punti (polinomio ≤ 12), serie ≤ 2000 termini, ricorrenza ≤ 1000 termini e 8192 bit razionali. Il worker si ferma dopo 15 s.
Le identità esatte valgono solo nei domini originali; residui, stime e grafici campionati non provano precisione né convergenza globale. Modello didattico, senza approvazione medica, finanziaria o tecnica. I dati inseriti non vengono inviati né memorizzati di nascosto; scarica un backup prima di ripristinare o chiudere. I dati inseriti, le formule e i nomi dei file non vengono mai inviati. Solo con il tuo consenso facoltativo, Refentra invia conteggi aggregati delle azioni e dei risultati, senza il contenuto inserito.
Verifica formale: 512 termini, 1024 prodotti, 32 atomi per monomio, 2048 caratteri per atomo, 8192 per chiave. Radici razionali: interi primitivi con costante e coefficiente principale ≤ 1000000 e 20000 candidati; i resti non sono provati irriducibili.
Le radici reali principali conservano il ramo: sqrt(x²) non è x per x negativo. Gauss–Kronrod 15/7 parte da otto pannelli e limita la variazione di fase trigonometrica a intervalli ≤ π/2 per pannello. Limiti: 20000 valutazioni e profondità 18. La stima locale dell’errore non è garantita; se risoluzione o convergenza non sono stabilite, il risultato viene rifiutato. Le serie fattoriali usano expm1 per ampiezze piccole.
P(Hᵢ|E)=P(Hᵢ)P(E|Hᵢ)/ΣP(Hⱼ)P(E|Hⱼ)
Input dichiarati
Input dichiarati
| Valore | Unità |
|---|
Ipotesi
| Nome ipotesi | Probabilità a priori P(H) (1) | Verosimiglianza P(E dato H) (1) |
|---|---|---|
| A | 1/4 | 4/5 |
| B | 3/4 | 1/10 |
Fonti e licenze
Usa profilo dichiarato
- Input dichiarati
Aggiungi ipotesi che si escludano a vicenda e coprano tutti i casi. Inserisci prior e verosimiglianza della stessa evidenza; sono ammesse le frazioni, e i prior devono sommare esattamente 1.
- Calcola
A: prior 1/4, verosimiglianza 4/5. B: prior 3/4, verosimiglianza 1/10. Evidenza = 11/40; posteriori A = 8/11 e B = 3/11.
- Scarica rapporto CSV
Confronta le probabilità congiunte e controlla che i posteriori sommino 1. Salva le frazioni esatte: i decimali mostrati non sono necessariamente esatti.
Domande del modello
Che cosa significa questo risultato?
Il prior è P(H); la verosimiglianza è P(E|H), non P(H|E). Il prodotto è la probabilità congiunta; dividerla per l’evidenza totale dà il posteriore.
Come risolvo i dati rifiutati o mancanti?
Se l’evidenza ha probabilità totale zero, il posteriore non esiste. Correggi le verosimiglianze impossibili o i prior che non sommano esattamente 1.
Quali sono i limiti di questo strumento?
È un’aritmetica esatta e finita su 2–20 ipotesi dichiarate: non è un classificatore addestrato né una prova che le ipotesi rappresentino la realtà.