Árbol de probabilidad de Bayes
Introduce de 2 a 20 hipótesis que se excluyan entre sí y cubran todos los casos.
- Funciona en tu navegador
- Sin subir archivos
- Revisa antes de descargar
Introduce de 2 a 20 hipótesis que se excluyan entre sí y cubran todos los casos. Las probabilidades previas exactas deben sumar 1. Con evidencia cero el resultado queda indefinido.
Modelo, gramática y límites
Todas las variables y los coeficientes son adimensionales, y los ángulos van en radianes. Escribe siempre el signo de multiplicar y usa el punto como separador decimal. Expresiones admitidas: + - * / ^, paréntesis, x (o t, y, v para ecuaciones diferenciales; n, a, b para recurrencias), pi, e, sin, cos, tan, exp, ln, sqrt y abs. No se admiten asignaciones, código ni llamadas a funciones propias.
Expresiones: 512 caracteres, 128 tokens y profundidad 32; salida generada ≤ 8192 caracteres, 512 tokens y profundidad 64. Grado del polinomio ≤ 12; matriz ≤ 6×6 (ampliada ≤ 6×7); vectores 2D o 3D; ecuaciones diferenciales ≤ 2000 pasos; Taylor ≤ 12; Fourier ≤ 24 armónicos y 2048 intervalos; interpolación ≤ 50 puntos (polinomio ≤ 12); series ≤ 2000 términos; recurrencias ≤ 1000 términos y racionales de hasta 8192 bits. Si el cálculo sigue sin resolverse a los 15 s, se detiene.
Las identidades exactas solo valen en los dominios originales. Los residuos numéricos, las estimaciones de error y los gráficos con muestras no prueban la precisión ni la convergencia en general. Este modelo educativo no aprueba ningún diseño técnico, médico ni financiero ni ningún equipo. No se envían tus datos ni se guardan sin avisar; descarga una copia de seguridad antes de restablecer o cerrar. Nunca se envían datos de entrada, fórmulas ni nombres de archivo. Solo con tu consentimiento voluntario, Refentra envía recuentos agregados de acciones y resultados, sin el contenido de las entradas.
Verificación formal: 512 términos, 1024 productos candidatos, 32 átomos por monomio, 2048 caracteres por átomo y claves canónicas de 8192 caracteres. Perfil de raíces racionales: enteros primitivos del término constante y del principal ≤ 1000000 y 20000 candidatos. No se demuestra que los factores restantes sean irreducibles.
Las raíces reales principales conservan su rama: sqrt(x²) no es x para x negativo. Gauss–Kronrod 15/7 usa ocho paneles iniciales y cambio de fase trigonométrico acotado por intervalos≤π/2 por panel. Límites:20000 evaluaciones/profundidad18. El error local estimado no es una garantía; se rechaza resolución/convergencia no resuelta. Las series factoriales usan expm1 para amplitudes pequeñas.
P(Hᵢ|E)=P(Hᵢ)P(E|Hᵢ)/ΣP(Hⱼ)P(E|Hⱼ)
Entradas declaradas
Entradas declaradas
| Valor | Unidad |
|---|
Hipótesis
| Nombre de hipótesis | Probabilidad previa P(H) (1) | Verosimilitud P(E dado H) (1) |
|---|---|---|
| A | 1/4 | 4/5 |
| B | 3/4 | 1/10 |
Fuentes y licencias
Usar el perfil declarado
- Entradas declaradas
Añade hipótesis mutuamente excluyentes y que cubran todos los casos. Introduce la probabilidad a priori de cada una y la verosimilitud de la misma evidencia; se admiten fracciones y las probabilidades a priori deben sumar exactamente 1.
- Calcular
A: a priori 1/4, verosimilitud 4/5. B: a priori 3/4, verosimilitud 1/10. Evidencia = 11/40; probabilidades a posteriori: A = 8/11, B = 3/11.
- Descargar informe CSV
Compara las probabilidades conjuntas y comprueba que las probabilidades a posteriori normalizadas suman 1. Guarda las fracciones exactas, en lugar de tomar los decimales mostrados como exactos.
Preguntas del modelo
¿Qué significa este resultado?
La probabilidad a priori es P(H); la verosimilitud es P(E|H), no P(H|E). Al multiplicarlas se obtiene la probabilidad conjunta, y al dividir entre la evidencia total se obtiene la probabilidad a posteriori.
¿Cómo soluciono una entrada rechazada o que falta?
Si la evidencia tiene probabilidad total cero, no existe probabilidad a posteriori. Corrige las verosimilitudes imposibles o las probabilidades a priori que no sumen exactamente 1.
¿Qué límites tiene esta herramienta?
Es aritmética de probabilidades exacta y finita para entre 2 y 20 hipótesis declaradas; no es un clasificador entrenado ni demuestra que las hipótesis describan la realidad.