La lógica difusa es un formalismo. En mi humilde opinión, es inferior a la inferencia bayesiana que proporciona un poder de razonamiento equivalente.
Las puertas de la mayoría serían la base para implementar la lógica difusa. Si bien hay muchas referencias a las compuertas de mayoría de puntos cuánticos, tales compuertas no proporcionan una base para explotar el paralelismo esperado de la computación cuántica. Son un medio para reducir el tamaño de los circuitos lógicos.
Una de las características de la computación cuántica basada en puertas cuánticas es que sus puertas son reversibles. Una puerta mayoritaria es inherentemente no reversible.
- ¿Cómo cambiaría la computación cuántica el campo del diseño de software?
- Estudiante de primer año en Física y ya tomó la mecánica AP Physics C y E&M. ¿Cuál es el mejor libro introductorio sobre mecánica cuántica que tiene un gran contenido y lo explica de una manera para que yo pueda comprender y pueda inspirarme?
- ¿Cuándo podré comprar una PC que tenga un procesador cuántico?
- ¿Es verdad que los científicos chinos han construido la primera computadora cuántica que es más rápida que ENIAC?
- Cómo aprender más sobre computación cuántica
Dado todo esto, es difícil ver por qué alguien trataría de combinar los dos conceptos marginalmente relacionados.
Lógica difusa (Enciclopedia de filosofía de Stanford): la lógica difusa pretende modelar el razonamiento lógico con declaraciones vagas o imprecisas como “Petr es joven (rico, alto, hambriento, etc.)”. Se refiere a una familia de lógicas de muchos valores (ver entrada en lógica de muchos valores) y por lo tanto estipula que el valor de verdad (que, en este caso equivale a un grado de verdad) de una proposición lógicamente compuesta, como “Carles es alto y Chris es rico ”, está determinado por el valor de verdad de sus componentes. En otras palabras, como en la lógica clásica, uno impone la verdad-funcionalidad.
Epistemología bayesiana: la epistemología bayesiana se convirtió en un movimiento epistemológico en el siglo XX, aunque sus dos características principales se remontan al epónimo Reverendo Thomas Bayes (c. 1701–61). Esas dos características son: (1) la introducción de un aparato formal para la lógica inductiva; (2) la introducción de una prueba pragmática de auto-derrota (como lo ilustran los argumentos holandeses del libro) para la racionalidad epistémica como una forma de extender la justificación de las leyes de la lógica deductiva para incluir una justificación de las leyes de la lógica inductiva.
