2011年TCS的模糊逻辑状况如何？

我正在查看SIGACT新闻的自然启发和创新计算手册。这是一个非常有趣的阅读。但是，每一章都带有这样的味道：“这是我的研究领域，真是太棒了！” 因此，我要做的一部分工作是将宣传内容分开，并对本书的内容进行清醒的评估。

一章是关于模糊逻辑和模糊系统，以及它们有多么出色。坦率地说，也许他们是，我不知道。我从周围的计算机科学家那里得到的直觉是，控制系统等的模糊逻辑和模糊建模是“死的”。我不知道这是不是真的，而且即使是真的，我也不知道是出于“充分的理由”。

有人想在这里称重吗？对模糊系统的研究现状如何？模糊化会看到现实世界中的应用程序吗？它曾经曾经因为问题而离开人们吗？还是“一直处于困境中”的人们一直在使用它，仅仅是理论家已经远离它了？或者是其他东西？（我不知道什么是真的。）

我可能会在书评中引用该问题的答案，除非有答卷者明确要求我不要这样做。

谢谢。

我不会认为模糊逻辑已经死了。对于控制系统，我不知道。但是，过去几年来，模糊逻辑为证明理论家开展了大量活动：寻找Ciabattoni，Olivetti，Fermüller，Metcalfe和Baaz的论文作为初学者。

编辑：来自我的BibTeX文件的一些特定引用：

• D. Galmiche和Y. Sahli，ŁukasiewiczLogics的标记结石，国际。逻辑，语言，信息和计算研讨会，WoLLIC'08，爱丁堡，LNAI 5110，2008年。
• M. Baaz和G. Metcalfe，一阶Łukasiewicz逻辑的证明理论。TABLEAUX 2007。
• D.Galmiche和D.Larchey-Wendling和Y.Salhi，《哥德尔-达米特逻辑中的可证明性和反模型》，《 DISPROVING'07：证明非定理，非有效性和不可证明性研讨会》，2007年。
• S. Bova和F. Montagna，在Häjek的《基本逻辑》中的证明搜索，ACM Trans。计算 日志，2007年。
• DM Gabbay和G.Metcalfe，基于[0,1）-连续统一的模糊逻辑，AML 46（5），2007年。
• G. Metcalfe和F. Montagna，子结构模糊逻辑。JSL 72（3），2007年。
• R. Dyckhoff和S. Negri，线性有序{H}代数的决策方法。AML 45，2006年。
• G. Metcalfe和N. Olivetti和D. Gabbay，阿贝尔和andukasiewicz逻辑的顺序和超顺序计算。ACM Trans。计算 日志。6（3），2005年。
• M. Baaz和A.Ciabattoni和F.Montagna，基于单调t范数逻辑的解析计算，基金。Inf。59（4），2004年。
• S. Negri和J. van Plato，格论证明系统，数学。结构。在比较中 科学14（4），2004。
• A. Ciabattoni和CGFermüller和G. Metcalfe，模糊逻辑的统一规则和对话游戏。LPAR 2004。
• A. Ciabattoni，具有线性逻辑的分析计算的自动生成。CSL 2004。
• F. Montagna和L. Saccetti，《多值逻辑的Kripke风格语义》，《数学》。日志。Q. 49（6），2003. MLQ 50（1），2004中的更正。
• D.Larchey-Wendling，《哥德尔-达米特逻辑中的反模型搜索》，IJCAR 2004，LNAI 3097，Springer，2004年。
• G. Metcalfe，命题模糊逻辑的证明理论，博士学位论文，国王学院计算机科学系，2004年。
• D. Gabbay和G.Metcalfe和N.Olivetti，Hypersequents and Fuzzy Logic，Revista de la Real Academia de Ciencias 98（1），2004。
• A. Ciabattoni和G. Metcalfe，《Łukasiewicz逻辑学》。TABLEAUX 2003。
• M. Baaz和A.Ciabattoni和CGFermüller，高德逻辑公司后来的计算---一项调查。JLC 13（6），2003年。
• M. Baaz和A. Ciabattoni和CGFermüller，关系计算的后继关系：多值逻辑的分析推论框架。超越两个：多值逻辑的理论和应用，M。Fitting和E. Orlowska编辑，Physica-Verlag，2003年。
• N. Olivetti，Tableukasiwicz无限值逻辑的Tableaux。Studia Logica 73（1），2003年。
• G. Metcalfe和N. Olivetti和D. Gabbay，Abelian和Łukasiewicz逻辑的分析顺序计算。TABLEAUX 2002。
• Ciabattoni和CGFermüller，Hypersequents作为Urquhart的C，MTL和相关逻辑的统一框架。第31届IEEE国际多值逻辑研讨会（ISMVL 2001），2001年。
• F. Esteva和L.Godo，基于Monoidal t-范数的逻辑：向左连续t-范数的逻辑，Fuzzy Sets and Systems 124（3），2001。
• M. Baaz和R. Zach，Hypersequent和直觉模糊逻辑的证明理论。CSL 2000。
• A. Avron，基于超顺序演算的Gödel-Dummett逻辑Tableau系统。TABLEAUX 2000，LNAI 1847、2000。
• 某些中间逻辑族的A. Ciabattoni和M. Ferrari，Hypertableau和Path-Hypertableau计算。TABLEAUX 2000，LNAI 1847、2000。
• RLO Cignoli和IML D'Ottaviano和D.Mundici，“多值推理的代数基础”，伦敦，克鲁维尔，2000年。
• S. Aguzzoli和A. Ciabattoni，无穷Łukasiewicz逻辑中的有限性。J.逻辑，语言和信息9，2000年。
• R.Dyckhoff，《哥德尔-达米特逻辑的确定性终止演算》，IGPL 7（3），1999年。
• M. Baaz和A. Ciabattoni和CG Ferm {\“ u} ller和H. Veith，模糊逻辑的证明理论：厄克特的C和相关逻辑。计算机科学的数学基础，1998年，第23届国际研讨会，MFCS'98，布尔诺，捷克共和国，1998年8月24日至28日，会议记录，1998年。
• P.Häjek，模糊逻辑的元数学，Kluer，1998年。
• R.Hähnle，多值逻辑的证明理论-线性优化-逻辑设计：连接和相互作用。软计算。1（3），1997年。

不过，这些主要是证明理论和自动推论参考，