Wie ist der Status der Fuzzy-Logik für TCS im Jahr 2011?

Ich überprüfe das Handbuch für naturinspiriertes und innovatives Computing für SIGACT News. Es ist eine sehr interessante Lektüre. Jedes Kapitel hat jedoch den Geschmack: "Dies ist mein Forschungsgebiet, und verdammt, es ist großartig!" Ich versuche also, den Hype zu beseitigen und den Inhalt des Buches nüchtern zu beurteilen.

Ein Kapitel befasst sich mit Fuzzy-Logik und Fuzzy-Systemen und wie fantastisch sie sind. Und vielleicht sind sie es, ich weiß es ehrlich gesagt nicht. Das intuitive Gefühl, das ich durch das Herumhängen von Informatikern bekommen habe, ist, dass Fuzzy-Logik und Fuzzy-Modellierung von Steuerungssystemen usw. "tot" sind. Ich weiß jedoch nicht, ob das wahr ist - und selbst wenn es wahr ist, weiß ich nicht, ob es aus einem "guten Grund" wahr ist.

Möchte jemand hier wiegen? Wie ist der aktuelle Stand der Erforschung von Fuzzy-Systemen? Werden bei der Fuzzifizierung reale Anwendungen gesehen? War es früher so und die Leute sind wegen Problemen weggezogen? Oder benutzen die Leute "in den Schützengräben" es die ganze Zeit, und es ist nur so, dass Theoretiker sich davon entfernt haben? Oder etwas anderes? (Ich habe keine Ahnung, was wahr ist.)

Ich werde wahrscheinlich Antworten auf diese Frage in der Rezension zitieren, es sei denn, ein Beantworter bittet mich ausdrücklich, dies nicht zu tun.

Vielen Dank.

Ich würde Fuzzy Logic nicht für tot halten. Für Steuerungssysteme weiß ich nicht. In den letzten Jahren gab es jedoch viele Aktivitäten in der Fuzzy-Logik für Proof-Theoretiker: Suchen Sie zunächst nach Artikeln von Ciabattoni, Olivetti, Fermüller, Metcalfe und Baaz.

Bearbeiten: Einige spezifische Referenzen aus meiner BibTeX-Datei:

• D. Galmiche und Y. Sahli, Labeled Calculi für Łukasiewicz Logics, Int. Workshop zu Logik, Sprache, Information und Berechnung, WoLLIC'08, Edinburgh, LNAI 5110, 2008.
• M. Baaz und G. Metcalfe, Beweistheorie für die Łukasiewicz-Logik erster Ordnung. TABLEAUX 2007.
• D. Galmiche und D. Larchey-Wendling und Y. Salhi, Beweisbarkeit und Gegenmodelle in Gödel-Dummett Logics, DISPROVING'07: Workshop über das Widerlegen von Nicht-Theoremen, Nicht-Gültigkeit und Nicht-Beweisbarkeit, 2007.
• S. Bova und F. Montagna, Beweissuche in Häjeks Basic Logic, ACM Trans. Comput. Log., 2007.
• DM Gabbay und G. Metcalfe, Fuzzy Logics basierend auf [0,1] -kontinuierlichen Uninorms, AML 46 (5), 2007.
• G. Metcalfe und F. Montagna, Substrukturelle Fuzzy-Logik. JSL 72 (3), 2007.
• R. Dyckhoff und S. Negri, Entscheidungsmethoden für linear geordnete {H} -Algebren. AML 45, 2006.
• G. Metcalfe und N. Olivetti und D. Gabbay, Sequent and Hypersequent Calculi für Abelian und Łukasiewicz Logics. ACM Trans. Comput. Log. 6 (3), 2005.
• M. Baaz und A. Ciabattoni und F. Montagna, Analysekalküle für monoidale t-normbasierte Logik, Fund. Inf. 59 (4), 2004.
• S. Negri und J. van Plato, Beweissysteme für die Gittertheorie, Math. Struct. in Comp. Science 14 (4), 2004.
• A. Ciabattoni und CG Fermüller und G. Metcalfe, Einheitliche Regeln und Dialogspiele für Fuzzy Logics. LPAR 2004.
• A. Ciabattoni, Automatisierte Generierung von Analysekalkülen für Logiken mit Linearität. CSL 2004.
• F. Montagna und L. Saccetti, Semantik nach Kripke für mehrwertige Logik, Math. Log. Q. 49 (6), 2003. Korrektur in MLQ 50 (1), 2004.
• D. Larchey-Wendling, Suche nach Gegenmodellen in Gödel-Dummett-Logik, IJCAR 2004, LNAI 3097, Springer 2004.
• G. Metcalfe, Beweislehre für propositionale Fuzzy-Logik, Doktorarbeit, Institut für Informatik, King's College, 2004.
• D. Gabbay und G. Metcalfe und N. Olivetti, Hypersequents and Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni und G. Metcalfe, Bounded Łukasiewicz Logics. TABLEAUX 2003.
• M. Baaz und A. Ciabattoni und CG Fermüller, ypersequent Calculi for Gödel Logics --- a Survey. JLC 13 (6), 2003.
• M. Baaz und A. Ciabattoni und CG Fermüller, Folge von Beziehungskalkülen: Ein Rahmen für die analytische Deduktion in mehrwertigen Logiken. Beyond Two: Theorie und Anwendungen mehrwertiger Logik, M. Fitting und E. Orlowska, Hrsg., Physica-Verlag, 2003.
• N. Olivetti, Tableaux für Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
• G. Metcalfe und N. Olivetti und D. Gabbay, Analytic Sequent Calculi für Abelian und Łukasiewicz Logics. TABLEAUX 2002.
• A. Ciabattoni und CG Fermüller, Hypersequents als einheitliches Framework für Urquharts C-, MTL- und verwandte Logiken.Proceedings of the 31. IEEE International Symposium on Multiple-Valued Logic (ISMVL 2001), 2001.
• F. Esteva und L. Godo, monoidale t-normbasierte Logik: Hin zu einer Logik für linkskontinuierliche t-Normen, Fuzzy Sets and Systems 124 (3), 2001.
• M. Baaz und R. Zach, Hypersequenz und die Beweistheorie der intuitionistischen Fuzzy-Logik. CSL 2000.
• A. Avron, Ein Tableausystem für Gödel-Dummett-Logik basierend auf einer Hypersequenzrechnung. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni und M. Ferrari, Hypertableau und Path-Hypertableau Calculi für einige Familien von Zwischenlogiken. TABLEAUX 2000, LNAI 1847, 2000.
• VKE Cignoli und IML D'Ottaviano und D. Mundici, Algebraische Grundlagen des mehrwertigen Denkens, Kluwer, London, 2000.
• S. Aguzzoli und A. Ciabattoni, Endlichkeit in der unendlich geschätzten Łukasiewicz-Logik. J. Logik, Sprache und Information 9, 2000.
• R. Dyckhoff, A Deterministic Terminating Sequent Calculus für die Gödel-Dummett-Logik, IGPL 7 (3), 1999.
• M. Baaz und A. Ciabattoni und CG Ferm {\ "u} ller und H. Veith, Beweis der Fuzzy-Logik: Urquharts C und verwandte Logik. Mathematische Grundlagen der Informatik 1998, 23. Internationales Symposium, MFCS'98, Brno, Tschechische Republik, 24.-28. August 1998, Proceedings, 1998.
• P. Häjek, Metamathematik von Fuzzy Logics, Kluer, 1998.
• R. Hähnle, Beweistheorie mehrwertiger Logik - lineare Optimierung - Logikdesign: Zusammenhänge und Wechselwirkungen. Soft Comput. 1 (3), 1997.

Dies sind jedoch weitgehend Beweise und automatisierte Deduktionsreferenzen.