¿Cuál es la diferencia entre la lógica probabilística y la lógica difusa?

Answer 1

Pregunta respondida originalmente: ¿Cuál es la diferencia entre la lógica probabilística y la lógica difusa?

---

Quizás la diferencia más notable entre las dos lógicas es la naturaleza misma de las proposiciones.

En la lógica probabilística, las proposiciones expresadas son en sí mismas nítidas y precisas. El significado de la proposición es inequívoco. Lo que no es preciso es nuestro conocimiento del valor de verdad exacto de esa proposición, solo tenemos una estimación de su probabilidad de ser verdad, su probabilidad. Tenga en cuenta que todas y cada una de las propuestas son siempre verdaderas o no, nunca nada en el medio .

---

En la lógica difusa, a modo de contraste, las propias proposiciones no están definidas con precisión. El ejemplo clásico sería el predicado ‘ Ser alto ‘. Aquí no es el caso que un predicado se aplique o no a un objeto dado, sino que este predicado se mantenga hasta cierto punto. Está razonablemente claro que alguien de 2,50 metros no es alto, y alguien que mide 0,46 metros no es alto, pero ¿qué pasa con alguien de 1,95 metros?

Los dominios de los predicados se han vuelto imprecisos, vagos, borrosos. Esta imprecisión impregna toda la lógica. El significado de los conectores lógicos como ‘ y ‘ ([math] \ land [/ math]), ‘ o ‘ ([math] \ lor [/ math]), ‘implica’ ([math] \ implica [/ math ]), ‘ forall ‘ ([math] \ forall [/ math]) y ‘ there existe ‘ ([math] \ there [/ math]) tendrán que ser redefinidos para tener en cuenta la diferencia en la naturaleza de las proposiciones básicas .

Es interesante señalar que en la lógica difusa, en general, la ley del medio excluido y la ley de la no contradicción no se cumplen .

[math] (A \ lor \ lnot A) [/ math] no siempre es igual a 1, lo cual es incondicionalmente verdadero.

[math] \ lnot (A \ land \ lnot A) [/ math] tampoco siempre es igual a 1.

En esencia, la lógica difusa es compatible con una cierta forma de inconsistencia, en virtud de la vaguedad, y también es compatible con una cierta forma de “universo abierto”, en virtud del tercero no excluido. Esto puede hacer que la lógica sea muy sutil en sus consecuencias.

Answer 2

Las lógicas difusas son sistemas lógicos que utilizan todo el intervalo real [0,1] como valores de verdad. Hay muchos tipos de lógica difusa, diferenciados por la elección de cuál de las muchas funciones posibles en ese intervalo se asignarán como las definiciones de los operadores lógicos (conjunción, negación, etc.).

Las lógicas probabilísticas son aquellas lógicas difusas en las que las definiciones de los operadores lógicos se asignan de acuerdo con las leyes de la teoría de la probabilidad (Kolmagorov). Esta restricción da como resultado una lógica que es más complicada que muchas de las otras lógicas difusas bien conocidas, pero obviamente es útil para propósitos donde la teoría de la probabilidad es relevante.

Answer 3

Las lógicas difusas pueden desplegar más que verdadero y falso. así que tenemos “grados de verdad” opuestos a lo verdadero y lo falso. Así que tienes una cantidad variable de resultados: 1, 2, 3, 4.

Vale la pena señalar que es controvertido si estos resultados se pueden reducir a medios más simples. Entonces, si la salida es 3, ¿podemos reducir la ecuación a algo que resulte verdadero o falso? En otras palabras, se puede argumentar que la lógica difusa es una información más simple.

No estoy familiarizado con la lógica probabilística.

Puede encontrar la definición técnica en Wikipedia y en varios libros de texto:

Lógica difusa

Lógica Probabilística