Qual é o status da lógica difusa para o TCS em 2011?

Estou revisando o Manual de computação inovadora e inspirada na natureza para o SIGACT News. É uma leitura muito interessante. Cada capítulo, no entanto, tem o sabor: "Esta é a minha área de pesquisa e, caramba, é incrível!" Portanto, parte do que estou tentando fazer é separar o hype e fazer uma avaliação sóbria do conteúdo do livro.

Um capítulo é sobre lógica difusa e sistemas difusos, e quão impressionantes eles são. E talvez sejam, francamente, não sei. O senso intuitivo que tive de ficar andando por aí com cientistas da computação é que a lógica nebulosa e a modelagem nebulosa dos sistemas de controle etc. estão "mortas". Mas não sei se isso é verdade - e, mesmo que seja verdade, não sei se é verdade por uma "boa razão".

Alguém gostaria de pesar aqui? Qual é o status atual da pesquisa em sistemas nebulosos? A fuzzification vê aplicativos do mundo real? Costumava e as pessoas se mudavam por causa de problemas? Ou as pessoas "nas trincheiras" o usam o tempo todo, e é que os teóricos se afastaram dele? Ou outra coisa? (Eu não tenho ideia do que é verdade.)

Provavelmente vou citar respostas para essa pergunta na resenha do livro, a menos que um respondente me peça especificamente para não fazê-lo.

Obrigado.

Eu não consideraria a lógica difusa morta. Para sistemas de controle, eu não sei. No entanto, tem havido muita atividade nas lógicas nebulosas para teóricos da prova nos últimos anos: procure artigos de Ciabattoni, Olivetti, Fermüller, Metcalfe e Baaz para iniciantes.

Edit: Algumas referências específicas do meu arquivo BibTeX:

• D. Galmiche e Y. Sahli, Cálculos rotulados para Łukasiewicz Logics, Int. Workshop sobre Lógica, Linguagem, Informação e Computação, WoLLIC'08, Edinburgh, LNAI 5110, 2008.
• M. Baaz e G. Metcalfe, Teoria da Prova para a Primeira Ordem Łukasiewicz Logic. TABLEAUX 2007.
• D. Galmiche e D. Larchey-Wendling e Y. Salhi, possibilidade e contra-modelos na lógica de Gödel-Dummett, DISPROVING'07: Workshop sobre a desaprovação de não-teoremas, não-validade e não-provabilidade, 2007.
• S. Bova e F. Montagna, Pesquisa de prova na lógica básica de Häjek, ACM Trans. Comput. Log., 2007.
• DM Gabbay e G. Metcalfe, lógicas difusas baseadas em uninormas contínuas [0,1), AML 46 (5), 2007.
• G. Metcalfe e F. Montagna, Lógica fuzzy subestrutural. JSL 72 (3), 2007.
• R. Dyckhoff e S. Negri, Métodos de decisão para álgebras lineares ordenadas {H}. AML 45, 2006.
• G. Metcalfe e N. Olivetti e D. Gabbay, cálculos Sequent e Hypersequent para Abelian e Łukasiewicz Logics. ACM Trans. Comput. Registro. 6 (3), 2005.
• M. Baaz e A. Ciabattoni e F. Montagna, Cálculos analíticos para lógica monoidal baseada em norma t, Fund. Inf. 59 (4), 2004.
• S. Negri e J. van Plato, Sistemas de prova para a teoria da rede, Math. Struct. no Comp. Science 14 (4), 2004.
• A. Ciabattoni e CG Fermüller e G. Metcalfe, Regras uniformes e jogos de diálogo para a lógica difusa. LPAR 2004.
• A. Ciabattoni, geração automatizada de cálculos analíticos para lógicas com linearidade. CSL 2004.
• F. Montagna e L. Saccetti, semântica no estilo Kripke para lógicas com muitos valores, Math. Registro. Q. 49 (6), 2003. Correção no MLQ 50 (1), 2004.
• D. Larchey-Wendling, pesquisa de contra-modelo na lógica Gödel-Dummett, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Teoria da Prova para Lógica Fuzzy Proposicional, Tese de Doutorado, Departamento de Ciência da Computação, King's College, 2004.
• D. Gabbay e G. Metcalfe e N. Olivetti, Hypersequents e Fuzzy Logic, Revista da Real Academia de Ciências 98 (1), 2004.
• A. Ciabattoni e G. Metcalfe, Bounded Łukasiewicz Logics. TABLEAUX 2003.
• M. Baaz e A. Ciabattoni e CG Fermüller, ypersequent Calculi para Gödel Logics --- uma Pesquisa. JLC 13 (6), 2003.
• M. Baaz e A. Ciabattoni e CG Fermüller, Sequent of Relations Calculi: Uma Estrutura para Dedução Analítica em Lógicas de Muitos Valores. Além de dois: teoria e aplicações da lógica de valores múltiplos, M. Fitting e E. Orlowska, orgs., Physica-Verlag, 2003.
• N. Olivetti, Tableaux para Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
• G. Metcalfe e N. Olivetti e D. Gabbay, Analytic Sequent Calculi para Abelian e Łukasiewicz Logics. TABLEAUX 2002.
• O objetivo deste trabalho foi avaliar os efeitos de um modelo de regressão linear de regressão linear, utilizando-se um modelo de regressão linear, utilizando-se um modelo de regressão linear (RL).
• F. Esteva e L. Godo, lógica monoidal baseada em norma t: em direção a uma lógica para normas t contínuas à esquerda, Conjuntos e sistemas difusos 124 (3), 2001.
• M. Baaz e R. Zach, Hypersequent e a teoria da prova da lógica difusa intuicionista. CSL 2000.
• A. Avron, um sistema Tableau para a lógica Gödel-Dummett, com base em um cálculo hipersquente. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni e M. Ferrari, Hypertableau e Path-Hypertableau Calculi para algumas famílias de lógicas intermediárias. TABLEAUX 2000, LNAI 1847, 2000.
• RLO Cignoli e IML D'Ottaviano e D. Mundici, Fundações Algébricas do Raciocínio de Muitos Valores, Kluwer, Londres, 2000.
• S. Aguzzoli e A. Ciabattoni, Finitude na lógica Łukasiewicz de valor infinito. J. Lógica, Linguagem e Informação 9, 2000.
• R. Dyckhoff, A Deterministic Terminating Sequent Calculus for Gödel-Dummett logic, IGPL 7 (3), 1999.
• M. Baaz e A. Ciabattoni e CG Fermler e H. Veith, Teoria da Prova da Lógica Difusa: C de Urquhart e Lógicas Relacionadas. Fundamentos Matemáticos da Ciência da Computação 1998, 23º Simpósio Internacional, MFCS'98, Brno, República Tcheca, 24-28 de agosto de 1998, Proceedings, 1998.
• P. Häjek, Metamatemática de Fuzzy Logics, Kluer, 1998.
• R. Hähnle, teoria da prova da lógica de muitos valores - otimização linear - design da lógica: conexões e interações. Soft Comput. 1 (3), 1997.

Porém, essas são referências à teoria da prova e dedução automatizada,