2011年のTCSのファジーロジックのステータスはどうなっていますか？

SIGACT News の自然に触発された革新的なコンピューティングのハンドブックをレビューしています。非常に興味深い読み物です。しかし、各章には「これは私の研究領域であり、それは最高だ！」という風味があります。だから、私がやろうとしていることの一部は、誇大広告を分離し、本の内容の冷静な評価をすることです。

1つの章では、ファジィロジックとファジィシステム、およびそれらの素晴らしさについて説明します。そして多分彼らは、私は率直に知らない。コンピューター科学者にぶらついていることから得た直感的な感覚は、制御システムなどのファジーロジックとファジーモデリングが「死んでいる」ということです。しかし、それが真実かどうかはわかりません。そして、たとえ真実であっても、「正当な理由」のために真実かどうかはわかりません。

ここで体重を測りたい人はいますか？ファジーシステムの研究の現状はどうですか？ファジー化は実際のアプリケーションを認識しますか？以前は問題があったために人々は去りましたか？それとも、人々は「trenchの中」で常にそれを使用していますか、それは理論家がそこから離れただけなのですか？または、他の何か？（私は何が本当かわからない。）

回答者から特に質問されない限り、書評でこの質問への回答を引用するでしょう。

ありがとう。

ファジーロジックが死んでいるとは思いません。制御システムについては、わかりません。しかし、過去数年間、証明理論家のためのファジィ論理で多くの活動がありました。まずは、Ciabattoni、Olivetti、Fermüller、Metcalfe、Baazの論文を探してください。

編集：私のBibTeXファイルからのいくつかの特定の参照：

• D.ガルミッシュとY.サーリ、Labelukasiewicz Logicsのラベル付き計算、Int。論理、言語、情報および計算に関するワークショップ、WoLLIC'08、エジンバラ、LNAI 5110、2008年。
• M. BaazおよびG. Metcalfe、一次オーシエヴィッツロジックの証明理論。TABLEAUX 2007。
• D.ガルミッシュとD.ラーキー-ウェンドリングとY.サルヒ、ゲーデルダンメットロジックのプロバビリティとカウンターモデル、DISPROVING'07：非定理、非有効性、非プロバビリティのワークショップ
• S. BovaおよびF. Montagna、HäjekのBasic Logic、ACM Transでの証明検索。計算。Log。、2007年。
• DM GabbayおよびG. Metcalfe、[0,1）に基づくファジーロジック-連続ユニノル、AML 46（5）、2007年。
• G. MetcalfeおよびF. Montagna、部分構造ファジーロジック。JSL 72（3）、2007。
• R. DyckhoffおよびS. Negri、線形に順序付けられた{H} eyting代数の決定方法。AML 45、2006。
• G. MetcalfeおよびN. OlivettiおよびD. Gabbay、AbelianおよびŁukasiewiczLogicsのSequentおよびHypersequent計算。ACM Trans。計算。ログ。6（3）、2005。
• M.バーズ、A。チャバトーニ、F。モンターニャ、モノイダルtノルムに基づく論理の解析計算、ファンド。Inf。59（4）、2004。
• S. NegriおよびJ. van Plato、格子理論の証明システム、Math。構造。コンプで Science 14（4）、2004。
• A.チャバトニとCGフェルミュラーとG.メトカーフ、ファジィ論理のための統一ルールと対話ゲーム。LPAR 2004。
• A. Ciabattoni、線形性を備えた論理の解析計算の自動生成。CSL 2004。
• F.モンターニャとL.サッケッティ、多値論理のためのクリプキスタイルのセマンティクス、Math。ログ。Q. 49（6）、2003。MLQ50（1）、2004の修正。
• D. Larchey-Wendling、Gödel-Dummettロジックのカウンターモデル検索、IJCAR 2004、LNAI 3097、Springer、2004。
• G. Metcalfe、命題ファジィ論理の証明理論、博士論文、キングスカレッジ、コンピューターサイエンス学科、2004年
• D.ガベイとG.メトカーフとN.オリベッティ、ハイパーシークエントとファジーロジック、Revista de la Real Academia de Ciencias 98（1）、2004年。
• A.チャバットーニとG.メトカーフ、有界edukasiewicz Logics。TABLEAUX 2003。
• M. BaazとA. CiabattoniとCGFermüller、ゲーデル論理学のためのyperequentent Calculi --- a Survey。JLC 13（6）、2003。
• M. BaazおよびA. CiabattoniおよびCGFermüller、関係計算のシークエント：多値論理における分析的演forのフレームワーク。2つを超えて：多値論理の理論と応用、M。フィッティングとE.オーロウスカ編、Physica-Verlag、2003年。
• N. Olivetti、ŁukasiwiczInfinite Valued Logicのタブロー。Studia Logica 73（1）、2003。
• G. MetcalfeおよびN. OlivettiおよびD. Gabbay、AbelianおよびŁukasiewiczLogicsの解析的逐次計算。TABLEAUX 2002。
• A. CiabattoniおよびCGFermüller、UrquhartのC、MTL、および関連ロジックの統一フレームワークとしてのハイパーシークエンス。第31回IEEE多値論理に関するシンポジウム（ISMVL 2001）、2001
• F. EstevaおよびL. Godo、モノイダルtノルムベースのロジック：左連続tノルムのロジックに向けて、Fuzzy Sets and Systems 124（3）、2001
• M. BaazおよびR. Zach、Hypersequentおよび直観的ファジィ論理の証明理論。CSL 2000。
• A. Avron、ハイパーシーケント計算に基づいたゲーデルデュメットロジックのTableauシステム。TABLEAUX 2000、LNAI 1847、2000。
• A. CiabattoniおよびM. Ferrari、HypertableauおよびPath-Hypertableau計算（一部の中間ロジックのファミリ）。TABLEAUX 2000、LNAI 1847、2000。
• RLO Cignoli and IML D'Ottaviano and D. Mundici、Algebraic Foundations of Many-Valued Reasoning、Kluwer、London、2000。
• S. AguzzoliおよびA. Ciabattoni、無限値のŁukasiewiczロジックの有限性。J.ロジック、言語および情報9、2000。
• R. Dyckhoff、決定論的な終了シーケント計算、ゲーデルデュメットロジック、IGPL 7（3）、1999年。
• M.バーズとA.チャバトーニとCGフェルム{\ "u} llerとH.フェイス、ファジィ論理の証明理論：アーカートのCと関連論理。チェコ共和国、1998年8月24〜28日、Proceedings、1998年。
• P.Häjek、メタ数学のファジィ論理、Kluer、1998年。
• R.Hähnle、多値論理の証明理論-線形最適化-論理設計：接続と相互作用。ソフト計算。1（3）、1997。

これらは主に証明理論と自動推論の参照ですが、