Apa status logika fuzzy untuk TCS pada 2011?

Saya sedang meninjau Handbook of Nature-Inspired dan Innovative Computing untuk SIGACT News. Ini bacaan yang sangat menarik. Setiap bab, bagaimanapun, memiliki rasa, "Ini adalah area penelitian saya, dan sangat mengagumkan!" Jadi bagian dari apa yang saya coba lakukan adalah untuk memisahkan hype, dan membuat penilaian yang bijaksana dari isi buku.

Satu bab tentang logika fuzzy dan sistem fuzzy, dan bagaimana frikkin luar biasa. Dan mungkin mereka, saya terus terang tidak tahu. Perasaan intuitif yang saya dapatkan dari berkeliaran di antara para ilmuwan komputer adalah bahwa logika fuzzy dan pemodelan fuzzy sistem kontrol, dll., "Mati." Saya tidak tahu apakah itu benar - dan, bahkan jika itu benar, saya tidak tahu apakah itu benar karena "alasan yang bagus."

Adakah yang mau menimbang di sini? Apa status penelitian saat ini tentang sistem fuzzy? Apakah fuzzifikasi melihat aplikasi dunia nyata? Apakah dulu dan orang-orang pindah karena masalah? Atau apakah orang-orang "di parit" menggunakannya sepanjang waktu, dan hanya saja para ahli teori telah menjauh darinya? Atau sesuatu yang lain? (Saya tidak tahu apa yang benar.)

Saya mungkin akan mengutip jawaban untuk pertanyaan ini dalam ulasan buku, kecuali seorang penjawab secara khusus meminta saya untuk tidak melakukannya.

Terima kasih.

Saya tidak akan menganggap logika fuzzy mati. Untuk sistem kontrol, saya tidak tahu. Namun, ada banyak kegiatan dalam logika fuzzy untuk ahli teori bukti selama beberapa tahun terakhir: mencari makalah oleh Ciabattoni, Olivetti, Fermüller, Metcalfe, dan Baaz sebagai permulaan.

Sunting: Beberapa referensi khusus dari file BibTeX saya:

• D. Galmiche dan Y. Sahli, Kalkulus Berlabel untuk Łukasiewicz Logics, Int. Workshop Logika, Bahasa, Informasi dan Komputasi, WoLLIC'08, Edinburgh, LNAI 5110, 2008.
• M. Baaz dan G. Metcalfe, Teori Bukti untuk Logika Orde Pertama Łukasiewicz. TABLEAUX 2007.
• D. Galmiche dan D. Larchey-Wendling dan Y. Salhi, Provabilitas dan Countermodel dalam Logika Gödel-Dummett, DISPROVING'07: Workshop Penyangkalan Non-Teorema, Non-Validitas, dan Non-Provabilitas, 2007.
• S. Bova dan F. Montagna, Pencarian bukti di Basic Logic Häjek, ACM Trans. Komputasi. Log., 2007.
• DM Gabbay dan G. Metcalfe, logika Fuzzy berdasarkan [0,1) -terus menerus, AML 46 (5), 2007.
• G. Metcalfe dan F. Montagna, Logika fuzzy substruktural. JSL 72 (3), 2007.
• R. Dyckhoff dan S. Negri, Metode pengambilan keputusan untuk aljabar mata {H} yang dipesan secara linier. AML 45, 2006.
• G. Metcalfe dan N. Olivetti dan D. Gabbay, Sequent dan Hypersequi calculi untuk Abelian dan Łukasiewicz Logics. ACM Trans. Komputasi. Catatan. 6 (3), 2005.
• M. Baaz dan A. Ciabattoni dan F. Montagna, kalkulus analitik untuk logika t-norma berbasis monoid, Fund. Inf. 59 (4), 2004.
• S. Negri dan J. van Plato, Sistem bukti untuk teori kisi, Matematika. Struct. dalam Comp. Sains 14 (4), 2004.
• A. Ciabattoni dan CG Fermüller dan G. Metcalfe, Aturan Seragam, dan Game Dialog untuk Logika Fuzzy. LPAR 2004.
• A. Ciabattoni, Generasi Automate dari Analytic Calculi for Logics with Linearity. CSL 2004.
• F. Montagna dan L. Saccetti, semantik gaya Kripke untuk banyak logika yang dihargai, Matematika. Catatan. Q. 49 (6), 2003. Koreksi dalam MLQ 50 (1), 2004.
• D. Larchey-Wendling, pencarian Countermodel dalam logika Gödel-Dummett, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Teori Bukti untuk Propositional Fuzzy Logics, PhD Thesis, Departemen Ilmu Komputer, King's College, 2004.
• D. Gabbay dan G. Metcalfe dan N. Olivetti, Hypersequents dan Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni dan G. Metcalfe, Logika Łukasiewicz Terbatas. TABLEAUX 2003.
• M. Baaz dan A. Ciabattoni dan CG Fermüller, Kalkulus ypersequent untuk Logika Gödel --- sebuah Survei. JLC 13 (6), 2003.
• M. Baaz dan A. Ciabattoni dan CG Fermüller, Urutan Hubungan Calculi: Kerangka Kerja untuk Pengurangan Analitik dalam Logika Berharga Banyak. Beyond Two: Teori dan Aplikasi Multiple-Valued Logic, M. Fitting dan E. Orlowska, eds., Physica-Verlag, 2003.
• N. Olivetti, Tableaux untuk Łukasiwicz Infinite Valued Logic. Studia Logica 73 (1), 2003.
• G. Metcalfe dan N. Olivetti dan D. Gabbay, Analytic Sequent Calculi untuk Abelian dan Łukasiewicz Logics. TABLEAUX 2002.
• A. Ciabattoni dan CG Fermüller, Hypersequents sebagai Kerangka Kerja Seragam untuk Urquhart's C, MTL, dan Logika Terkait.
• F. Esteva dan L. Godo, logika t-norma monoidal: menuju logika t-norma kontinu-kiri, Fuzzy Sets and Systems 124 (3), 2001.
• M. Baaz dan R. Zach, Hypersequent dan Teori Bukti Intuitionistic Fuzzy Logic. CSL 2000.
• A. Avron, Sistem Tableau untuk Logika Gödel-Dummett Berdasarkan Kalkulus Hypersequent. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni dan M. Ferrari, Hypertableau dan Path-Hypertableau Calculi untuk beberapa keluarga logika perantara. TABLEAUX 2000, LNAI 1847, 2000.
• RLO Cignoli dan IML D'Ottaviano dan D. Mundici, Yayasan Aljabar dari Berbagai Penalaran Berharga, Kluwer, London, 2000.
• S. Aguzzoli dan A. Ciabattoni, Keterbatasan dalam Logika Łukasiewicz Yang Tak Bernilai Infinite. J. Logika, Bahasa dan Informasi 9, 2000.
• R. Dyckhoff, Kalkulus Sequent Pengakhiran Deterministic untuk logika Gödel-Dummett, IGPL 7 (3), 1999.
• M. Baaz dan A. Ciabattoni dan CG Ferm {\ "u} ller dan H. Veith, Teori Bukti Logika Fuzzy: Urquhart's C dan Logika Terkait. Yayasan Matematika Ilmu Komputer 1998, Simposium Internasional ke-23, MFCS'98, Brno, Republik Ceko, 24-28 Agustus 1998, Prosiding, 1998.
• P. Häjek, Metamathematics of Fuzzy Logics, Kluer, 1998
• R. Hähnle, Teori pembuktian dari banyak logika - optimasi linier - desain logika: koneksi dan interaksi. Soft Comput. 1 (3), 1997.

Ini adalah sebagian besar teori bukti dan referensi deduksi otomatis, meskipun,