Lógica probabilística

La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva.El resultado es un formalismo más rico y más expresivo con una amplia gama de posibles áreas de aplicación.Uno de los problemas de las lógicas probabilistas es que tienden a multiplicar la complejidad computacional.Otro problema es la posibilidad de resultados contraintuitivos, como los que aparece en la lógica subjetiva basada en evidencia que hace uso de la teoría Dempster-Shafer.[cita requerida] Hay numerosas propuestas para lógicas probabilísticas: