Este documento describe tres tipos de algoritmos para la propagación de pruebas: exacto, aproximado y simbólico. Explica que la propagación de pruebas consiste en actualizar las distribuciones de probabilidad de las variables de acuerdo a nuevas pruebas disponibles, como calcular la distribución condicional de enfermedades dados los síntomas. También describe que en una red poli-arbórea, las pruebas se pueden descomponer en dos subconjuntos dependiendo de si se pueden acceder desde una variable a través de sus padres o hijos