Qual è lo stato della logica fuzzy per TCS nel 2011?

Sto rivedendo il Manuale di elaborazione ispirata alla natura e di elaborazione innovativa per SIGACT News. È una lettura molto interessante. Ogni capitolo, tuttavia, ha il sapore, "Questa è la mia area di ricerca, e dannatamente è fantastico!" Quindi parte di ciò che sto cercando di fare è separare l'hype e fare una valutazione sobria dei contenuti del libro.

Un capitolo riguarda la logica fuzzy e i sistemi fuzzy, e quanto frikkin siano fantastici. E forse lo sono, francamente non lo so. Il senso intuitivo che ho avuto dagli scienziati informatici è che la logica fuzzy e la modellazione fuzzy dei sistemi di controllo, ecc., Sono "morte". Non so se sia vero, però, e, anche se è vero, non so se sia vero per una "buona ragione".

Qualcuno vorrebbe pesare qui? Qual è lo stato attuale della ricerca sui sistemi fuzzy? La fuzzificazione vede le applicazioni del mondo reale? Si era abituato e le persone si sono trasferite a causa di problemi? O le persone "nelle trincee" lo usano sempre, ed è solo che i teorici si sono allontanati da esso? O qualcos'altro? (Non ho idea di cosa sia vero.)

Probabilmente citerò le risposte a questa domanda nella recensione del libro, a meno che un risponditore non mi chieda espressamente di non farlo.

Grazie.

Non considererei la logica fuzzy morta. Per i sistemi di controllo, non lo so. Tuttavia, negli ultimi anni c'è stata molta attività nelle logiche fuzzy per i teorici delle prove: cerca i documenti di Ciabattoni, Olivetti, Fermüller, Metcalfe e Baaz per cominciare.

Modifica: alcuni riferimenti specifici dal mio file BibTeX:

• D. Galmiche e Y. Sahli, Calcoli etichettati per Łukasiewicz Logics, Int. Workshop su logica, lingua, informazione e calcolo, WoLLIC'08, Edimburgo, LNAI 5110, 2008.
• M. Baaz e G. Metcalfe, teoria della prova per la logica Łukasiewicz del primo ordine. TABLEAUX 2007.
• D. Galmiche e D. Larchey-Wendling e Y. Salhi, Providence e Countermodels in Gödel-Dummett Logics, DISPROVING'07: Workshop sulla confutazione dei non teoremi, della non validità e della non disponibilità, 2007.
• S. Bova e F. Montagna, ricerca di prove nella logica di base di Häjek, ACM Trans. Comput. Log., 2007.
• DM Gabbay e G. Metcalfe, logiche Fuzzy basate su uninormi continui [0,1), AML 46 (5), 2007.
• G. Metcalfe e F. Montagna, Logiche fuzzy substrutturali. JSL 72 (3), 2007.
• R. Dyckhoff e S. Negri, Metodi di decisione per algebre di eyting {H} linearmente ordinate. AML 45, 2006.
• G. Metcalfe e N. Olivetti e D. Gabbay, calcoli sequenziali e ipersequenti per le logiche abeliana e Łukasiewicz. ACM Trans. Comput. Log. 6 (3), 2005.
• M. Baaz e A. Ciabattoni e F. Montagna, Calcoli analitici per la logica monoideale basata su t-norm, Fondo. Inf. 59 (4), 2004.
• S. Negri e J. van Plato, Sistemi di prova per la teoria dei reticoli, Matematica. Struct. in Comp. Science 14 (4), 2004.
• A. Ciabattoni e CG Fermüller e G. Metcalfe, Uniform Rules e Dialogue Games for Fuzzy Logics. LPAR 2004.
• A. Ciabattoni, generazione automatizzata di calcoli analitici per la logica con linearità. CSL 2004.
• F. Montagna e L. Saccetti, semantica in stile Kripke per logiche dai molti valori, matematica. Log. Q. 49 (6), 2003. Correzione in MLQ 50 (1), 2004.
• D. Larchey-Wendling, ricerca contromodella nelle logiche Gödel-Dummett, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Proof Theory for Proposition Fuzzy Logics, Tesi di dottorato, Dipartimento di Informatica, King's College, 2004.
• D. Gabbay e G. Metcalfe e N. Olivetti, Hypersequents e Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni e G. Metcalfe, Bounded Łukasiewicz Logics. TABLEAUX 2003.
• M. Baaz e A. Ciabattoni e CG Fermüller, ypersequent Calculi for Gödel Logics --- a Survey. JLC 13 (6), 2003.
• M. Baaz e A. Ciabattoni e CG Fermüller, Sequent of Relations Calculi: un framework per la deduzione analitica nella logica a molti valori. Beyond Two: Theory and Applications of Multiple-Valued Logic, M. Fitting ed E. Orlowska, eds., Physica-Verlag, 2003.
• N. Olivetti, Tableaux per Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
• G. Metcalfe e N. Olivetti e D. Gabbay, Calcoli sequenziali analitici per la logica abeliana e Łukasiewicz. TABLEAUX 2002.
• A. Ciabattoni e CG Fermüller, Hypersequents come framework uniforme per C, MTL e logiche correlate di Urquhart. Atti del 31 ° Simposio internazionale IEEE sulla logica a valore multiplo (ISMVL 2001), 2001.
• F. Esteva e L. Godo, logica basata su t-norm monoideale: verso una logica per t-norm continue a sinistra, Fuzzy Sets and Systems 124 (3), 2001.
• M. Baaz e R. Zach, Hypersequent e la teoria della dimostrazione della logica fuzzy intuitiva. CSL 2000.
• A. Avron, un sistema di tableau per la logica di Gödel-Dummett basato su un calcolo ipersequente. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni e M. Ferrari, Hypertableau e Path-Hypertableau Calculi per alcune famiglie di logiche intermedie. TABLEAUX 2000, LNAI 1847, 2000.
• RLO Cignoli e IML D'Ottaviano e D. Mundici, Fondamenti algebrici del ragionamento a molti valori, Kluwer, Londra, 2000.
• S. Aguzzoli e A. Ciabattoni, finitezza nella logica Łukasiewicz a valore infinito. J. Logic, Language and Information 9, 2000.
• R. Dyckhoff, un calcolo sequenziale conclusivo deterministico per la logica di Gödel-Dummett, IGPL 7 (3), 1999.
• M. Baaz e A. Ciabattoni e CG Ferm {\ "u} ller e H. Veith, Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. Fondamenti matematici dell'informatica 1998, 23th International Symposium, MFCS'98, Brno, Repubblica ceca, 24-28 agosto 1998, Atti, 1998.
• P. Häjek, Metamatematica di Fuzzy Logics, Kluer, 1998.
• R. Hähnle, teoria della prova della logica a molti valori - ottimizzazione lineare - progettazione della logica: connessioni e interazioni. Soft Comput. 1 (3), 1997.

Si tratta in gran parte di prove teoriche e riferimenti di deduzione automatizzata, tuttavia,