Jaki jest status logiki rozmytej dla TCS w 2011 roku?

Przeglądam Podręcznik informatyki inspirowanej naturą i innowacji dla SIGACT News. To bardzo interesująca lektura. Każdy rozdział ma jednak smak: „To moja dziedzina badań i do cholery, to niesamowite!” Więc część tego, co próbuję zrobić, to oddzielić szum i dokonać trzeźwej oceny zawartości książki.

Jeden rozdział poświęcony jest logice rozmytej i systemom rozmytym oraz ich niesamowitości. A może są, szczerze mówiąc, nie wiem. Intuicyjnym poczuciem, jaki dostałem od kręcenia się wokół informatyków, jest to, że rozmyta logika i rozmyte modelowanie układów sterowania itp. Są „martwe”. Nie wiem jednak, czy to prawda - i nawet jeśli to prawda, nie wiem, czy to prawda z „dobrego powodu”.

Czy ktoś chciałby tu ważyć? Jaki jest obecny stan badań nad systemami rozmytymi? Czy fuzzification dotyczy rzeczywistych aplikacji? Czy kiedyś tak było i ludzie wyprowadzili się z powodu problemów? Czy też ludzie „w okopach” używają go cały czas, i tylko teoretycy się od niego oddalili? Albo coś innego? (Nie mam pojęcia, co jest prawdą).

Prawdopodobnie będę cytować odpowiedzi na to pytanie w recenzji książki, chyba że odpowiadający wyraźnie poprosi mnie, aby tego nie robić.

Dzięki.

Nie uważałbym, że logika rozmyta jest martwa. W przypadku systemów sterowania nie wiem. Jednak w ciągu ostatnich kilku lat w logice rozmytej działało wiele teorii teoretycznych: poszukaj artykułów Ciabattoni, Olivetti, Fermüller, Metcalfe i Baaz na początek.

Edycja: Niektóre określone odniesienia z mojego pliku BibTeX:

• D. Galmiche i Y. Sahli, Labeled Calculi dla Łukasiewicz Logics, Int. Warsztaty logiki, języka, informacji i obliczeń, WoLLIC'08, Edynburg, LNAI 5110, 2008.
• M. Baaz i G. Metcalfe, Teoria dowodowa dla logiki pierwszego rzędu Łukasiewicz. TABLEAUX 2007.
• D. Galmiche i D. Larchey-Wendling i Y. Salhi, Provability and Countermodels in Gödel-Dummett Logics, DISPROVING'07: Workshop on Disproving Non-theorems, Non-Validity and Non-Provability, 2007.
• S. Bova i F. Montagna, Wyszukiwanie dowodu w podstawowej logice Häjeka, ACM Trans. Comput. Log., 2007.
• DM Gabbay i G. Metcalfe, Logika rozmyta oparta na ciągłych unormacjach [0,1), AML 46 (5), 2007.
• G. Metcalfe i F. Montagna, Substrukturalna logika rozmyta. JSL 72 (3), 2007.
• R. Dyckhoff i S. Negri, Metody decyzyjne dla liniowo uporządkowanych algeb {E}. AML 45, 2006.
• G. Metcalfe i N. Olivetti oraz D. Gabbay, Rachunki sekwencyjne i hipersekwencyjne dla logiki Abeliana i Łukasiewicza. ACM Trans. Comput. Log. 6 (3), 2005.
• M. Baaz i A. Ciabattoni i F. Montagna, Rachunki analityczne dla logiki opartej na monoidalnych normach t, ​​Fund. Inf. 59 (4), 2004.
• S. Negri i J. van Plato, Systemy dowodowe dla teorii sieci, Math. Struct. w komp. Science 14 (4), 2004.
• A. Ciabattoni i CG Fermüller i G. Metcalfe, Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004.
• A. Ciabattoni, zautomatyzowane generowanie obliczeń analitycznych dla logiki z liniowością. CSL 2004.
• F. Montagna i L. Saccetti, semantyka w stylu Kripkego dla logiki o wielu wartościach, matematyka. Log. Pytanie 49 (6), 2003. Korekta w podpunkcie MLQ 50 (1), 2004.
• D. Larchey-Wendling, Poszukiwanie kontrmodeli w logice Gödela-Dummetta, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Proof Theory for Propositional Fuzzy Logics, doktorat, Wydział Informatyki, King's College, 2004.
• D. Gabbay i G. Metcalfe i N. Olivetti, Hypersequents and Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni i G. Metcalfe, Bounded Łukasiewicz Logics. TABLEAUX 2003.
• M. Baaz i A. Ciabattoni oraz CG Fermüller, następnie Calculi dla Gödel Logics --- ankieta. JLC 13 (6), 2003.
• M. Baaz i A. Ciabattoni i CG Fermüller, Sequent of Relations Calculi: Ramy analitycznej dedukcji w logice wielowartościowej. Beyond Two: Theory and Applications of Multiple-Valued Logic, M. Fitting i E. Orlowska, red., Physica-Verlag, 2003.
• N. Olivetti, Tableaux dla Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
• G. Metcalfe i N. Olivetti oraz D. Gabbay, Analytic Sequent Calculi dla Abelian i Łukasiewicz Logics. TABLEAUX 2002.
• A. Ciabattoni i CG Fermüller, Hypersequents jako jednolite ramy dla C, MTL i logiki pokrewnej Urquharta. Postępy 31. Międzynarodowego Sympozjum IEEE na temat logiki wielowartościowej (ISMVL 2001), 2001.
• F. Esteva i L. Godo, Logika oparta na monoidalnej normie t: w kierunku logiki dla ciągłych lewych norm t, Zestawy rozmyte i układy 124 (3), 2001.
• M. Baaz i R. Zach, Hypersequent i teoria dowodowa intuicyjnej logiki rozmytej. CSL 2000.
• A. Avron, System tablicowy dla logiki Gödela-Dummetta na podstawie rachunku hipersekwencyjnego. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni i M. Ferrari, Hypertableau i Path-Hypertableau Calculi dla niektórych rodzin logiki pośredniej. TABLEAUX 2000, LNAI 1847, 2000.
• RLO Cignoli i IML D'Ottaviano i D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Londyn, 2000.
• S. Aguzzoli i A. Ciabattoni, Skończoność w nieskończonej wartościowości logice Łukasiewicza. J. Logic, Language and Information 9, 2000.
• R. Dyckhoff, A Deterministic Endating Sequent Calculus for logic Gödel-Dummett, IGPL 7 (3), 1999.
• M. Baaz i A. Ciabattoni oraz CG Ferm {\ "u} ller i H. Veith, Teoria dowodu logiki rozmytej: Urquhart C i logika pokrewna. Matematyczne podstawy informatyki 1998, 23. Międzynarodowe Sympozjum, MFCS'98, Brno, Republika Czeska, 24–28 sierpnia 1998 r., Postępowanie, 1998 r.
• P. Häjek, Metamathematics of Fuzzy Logics, Kluer, 1998.
• R. Hähnle, Dowodowa teoria logiki wielowartościowej - optymalizacja liniowa - projektowanie logiki: połączenia i interakcje. Soft Comput. 1 (3), 1997.

Są to jednak głównie referencje teoretyczne i odniesienia do zautomatyzowanej dedukcji,