¿Cuál es el estado de la lógica difusa para TCS en 2011?

Estoy revisando el Manual de Computación Inspirado en la Naturaleza e Innovador para SIGACT News. Es una lectura muy interesante. Sin embargo, cada capítulo tiene el sabor: "Esta es mi área de investigación, ¡y maldita sea, es increíble!" Entonces, parte de lo que estoy tratando de hacer es separar el bombo y hacer una evaluación sobria del contenido del libro.

Un capítulo trata sobre la lógica difusa y los sistemas difusos, y lo increíble que son. Y tal vez lo son, francamente no lo sé. El sentido intuitivo que tengo al pasar tiempo con los científicos informáticos es que la lógica difusa y el modelado difuso de los sistemas de control, etc., están "muertos". Sin embargo, no sé si eso es cierto e, incluso si es cierto, no sé si es cierto por una "buena razón".

¿A alguien le gustaría pesar aquí? ¿Cuál es el estado actual de la investigación en sistemas difusos? ¿Fuzzification ve aplicaciones del mundo real? ¿Solía ​​hacerlo y la gente se alejó debido a problemas? ¿O la gente "en las trincheras" lo usa todo el tiempo, y es solo que los teóricos se han alejado de él? ¿O algo mas? (No tengo idea de lo que es verdad).

Probablemente citaré respuestas a esta pregunta en la reseña del libro, a menos que un respondedor específicamente me pida que no lo haga.

Gracias.

No consideraría la lógica difusa muerta. Para los sistemas de control, no lo sé. Sin embargo, ha habido mucha actividad en las lógicas difusas para los teóricos de pruebas durante los últimos años: busque documentos de Ciabattoni, Olivetti, Fermüller, Metcalfe y Baaz para empezar.

Editar: Algunas referencias específicas de mi archivo BibTeX:

• D. Galmiche e Y. Sahli, Cálculos etiquetados para Łukasiewicz Logics, Int. Taller sobre lógica, lenguaje, información y computación, WoLLIC'08, Edimburgo, LNAI 5110, 2008.
• M. Baaz y G. Metcalfe, Teoría de la prueba para la lógica de Orderukasiewicz de primer orden. TABLEAUX 2007.
• D. Galmiche y D. Larchey-Wendling e Y. Salhi, Provability and Countermodels in Gödel-Dummett Logics, DISPROVING'07: Taller sobre refutando no teoremas, no validez y no demostrabilidad, 2007.
• S. Bova y F. Montagna, Búsqueda de pruebas en Häjek's Basic Logic, ACM Trans. Comput Log., 2007.
• DM Gabbay y G. Metcalfe, Lógicas difusas basadas en uninorms continuos [0,1], AML 46 (5), 2007.
• G. Metcalfe y F. Montagna, Lógicas difusas subestructurales. JSL 72 (3), 2007.
• R. Dyckhoff y S. Negri, Métodos de decisión para álgebras ordenadas linealmente {H}. AML 45, 2006.
• G. Metcalfe y N. Olivetti y D. Gabbay, cálculos secuenciales e hipersecuentes para las lógicas Abelian y Łukasiewicz. ACM Trans. Comput Iniciar sesión. 6 (3), 2005.
• M. Baaz y A. Ciabattoni y F. Montagna, Cálculos analíticos para lógica monoidal basada en la norma t, Fondo. Inf. 59 (4), 2004.
• S. Negri y J. van Plato, Sistemas de prueba para la teoría de redes, Math. Estructura en Comp. Science 14 (4), 2004.
• A. Ciabattoni y CG Fermüller y G. Metcalfe, Reglas uniformes y juegos de diálogo para Fuzzy Logics. LPAR 2004.
• A. Ciabattoni, Generación automatizada de cálculos analíticos para lógicas con linealidad. CSL 2004.
• F. Montagna y L. Saccetti, semántica de estilo Kripke para lógicas de muchos valores, Math. Iniciar sesión. Q. 49 (6), 2003. Corrección en MLQ 50 (1), 2004.
• D. Larchey-Wendling, Búsqueda de contramodelo en la lógica de Gödel-Dummett, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Proof Theory for Propositional Fuzzy Logics, Tesis doctoral, Departamento de Informática, King's College, 2004.
• D. Gabbay y G. Metcalfe y N. Olivetti, Hipersequents and Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni y G. Metcalfe, Acotado Łukasiewicz Logics. TABLEAUX 2003.
• M. Baaz y A. Ciabattoni y CG Fermüller, cálculos posteriores para Gödel Logics --- una encuesta. JLC 13 (6), 2003.
• M. Baaz y A. Ciabattoni y CG Fermüller, Cálculo de secuencia de relaciones: un marco para la deducción analítica en lógicas de muchos valores. Beyond Two: Theory and Applications of Multiple-Valued Logic, M. Fitting y E. Orlowska, eds., Physica-Verlag, 2003.
• N. Olivetti, cuadros para Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
• G. Metcalfe y N. Olivetti y D. Gabbay, Cálculos secuenciales analíticos para Abelian y ianukasiewicz Logics. TABLEAUX 2002.
• A. Ciabattoni y CG Fermüller, Hipersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics. Proceedings of the 31th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2001), 2001.
• F. Esteva y L. Godo, lógica basada en la norma t monoidal: hacia una lógica para las normas t continuas a la izquierda, Conjuntos y sistemas difusos 124 (3), 2001.
• M. Baaz y R. Zach, Hipersequent and the Proof Theory of Intuitionistic Fuzzy Logic. CSL 2000.
• A. Avron, un sistema de Tableau para la lógica de Gödel-Dummett basada en un cálculo hipersecuente. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni y M. Ferrari, Hypertableau y Path-Hypertableau Calculi para algunas familias de lógicas intermedias. TABLEAUX 2000, LNAI 1847, 2000.
• RLO Cignoli e IML D'Ottaviano y D. Mundici, Fundamentos algebraicos del razonamiento valioso, Kluwer, Londres, 2000.
• S. Aguzzoli y A. Ciabattoni, Finitud en la lógica de Łukasiewicz de valor infinito. J. Lógica, lenguaje e información 9, 2000.
• R. Dyckhoff, Un cálculo secuencial terminador determinista para la lógica de Gödel-Dummett, IGPL 7 (3), 1999.
• M. Baaz y A. Ciabattoni y CG Ferm {\ "u} ller y H. Veith, Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. Fundamentos matemáticos de la informática 1998, 23º Simposio internacional, MFCS'98, Brno, República Checa, 24-28 de agosto de 1998, Actas, 1998.
• P. Häjek, Metamathematics of Fuzzy Logics, Kluer, 1998.
• R. Hähnle, Teoría de la prueba de la lógica de muchos valores - optimización lineal - diseño lógico: conexiones e interacciones. Soft Comput. 1 (3), 1997.

Sin embargo, estas son referencias de teoría de prueba y deducción automática,