2011 yılında TCS için bulanık mantığın durumu nedir?

Gözden geçiriyorum SIGACT News için Doğadan Esinlenen ve Yenilikçi Hesaplama El Kitabı'nı . Çok ilginç bir okuma. Yine de her bölümün tadı var, "Burası benim araştırma alanım ve kahretsin, harika!" Yapmaya çalıştığım şeylerden biri de hype'ı ayırmak ve kitabın içeriği hakkında ayık bir değerlendirme yapmak.

Bir bölüm, bulanık mantık ve bulanık sistemler ve bunların ne kadar harika olduklarını anlatıyor. Ve belki öyleler, açıkçası bilmiyorum. Bilgisayar bilimcilerinin etrafında sarkan sezgisel his, kontrol sistemlerinin, vb. Bulanık mantık ve bulanık modellemesinin "ölü" olduğudur. Bunun doğru olup olmadığını bilmiyorum - ve doğru olsa bile, "iyi bir sebep" için doğru olup olmadığını bilmiyorum.

Burada tartmak isteyen var mı? Bulanık sistemlerle ilgili mevcut araştırma durumu nedir? Bulanıklaştırma gerçek dünyadaki uygulamaları görüyor mu? Eskiden mi oldu ve insanlar sorunlar yüzünden uzaklaştılar mı? Yoksa "siperdeki" insanlar her zaman kullanıyor mu ve sadece teorisyenler ondan uzaklaştı mı? Veya başka bir şey? (Neyin doğru olduğu hakkında hiçbir fikrim yok.)

Yanıtlayan biri özellikle istemediğim sürece, muhtemelen bu soruya cevapları kitap incelemesinde göstereceğim.

Teşekkürler.

Bulanık mantığın ölü olduğunu düşünmezdim. Kontrol sistemleri için bilmiyorum. Bununla birlikte, son birkaç yıldır kanıt teorisyenleri için bulanık mantıklarda çok fazla etkinlik oldu: yeni başlayanlar için Ciabattoni, Olivetti, Fermüller, Metcalfe ve Baaz'ın makalelerini arayın.

Düzenleme: BibTeX dosyamdan bazı referanslar:

• D. Galmiche ve Y. Sahli, asukasiewicz Logics için Etiketli Matematik, Int. Mantık, Dil, Bilgi ve Hesaplama Çalıştayı, WoLLIC'08, Edinburgh, LNAI 5110, 2008.
• M. Baaz ve G. Metcalfe, Birinci Derecenin İspat Teorisi Łukasiewicz Mantık. TABLO 2007.
• D. Galmiche ve D. Larchey-Wendling ve Y. Salhi, Gödel-Dummett Mantıklarında İhtimal ve Kontrendodeller, GELİŞTİRME'07: Teorem Dışı, Geçerlik Dışı ve Süreksizliği Azaltma Çalıştayı, 2007.
• S. Bova ve F. Montagna, Häjek Temel Mantığı, ACM Trans. Comput. Log., 2007.
• DM Gabbay ve G. Metcalfe, [0,1) - sürekli uninormlara dayanan bulanık mantıklar, AML 46 (5), 2007.
• Metcalfe ve F. Montagna, Altyapı bulanık mantıkları. JSL 72 (3), 2007.
• R. Dyckhoff ve S. Negri, Doğrusal sıralı {H} eyting cebirleri için karar yöntemleri. 45 AML 2006.
• Metcalfe ve N. Olivetti ve D. Gabbay, Abelian ve Łukasiewicz Logics için Sequent ve Hipersequent hesabı. ACM Trans. Comput. Giriş. 6 (3), 2005.
• M. Baaz ve A. Ciabattoni ve F. Montagna, Monoidal t-norm temelli mantık için analitik hesaplar, Fon. Enf. 59 (4), 2004'te açıklanmaktadır.
• S. Negri ve J. van Plato, Örgü teorisi için ispat sistemleri, Math. Struct. Comp. Science 14 (4), 2004.
• A. Ciabattoni ve CG Fermüller ve G. Metcalfe, Bulanık Mantık için Tekdüzen Kurallar ve Diyalog Oyunları. LPAR 2004.
• A. Ciabattoni, Doğrusal Mantık için Otomatik Analitik Analiz Üretimi. CSL 2004.
• F. Montagna ve L. Saccetti, çok değerli mantık için Kripke tarzı anlambilim, Math. Giriş. S. 49 (6), 2003. MLQ 50 (1), 2004'te düzeltme.
• D. Larchey-Wendling, Gödel-Dummett mantıklarında kontra model arama, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Önerme Bulanık Mantık için İspat Teorisi, Doktora Tezi, Bilgisayar Bilimleri Bölümü, King's College, 2004.
• D. Gabbay ve G. Metcalfe ve N. Olivetti, Hipersequents ve Bulanık Mantık, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni ve G. Metcalfe, Sınırlı asukasiewicz Logics. TABLO 2003.
• M. Baaz ve A. Ciabattoni ve CG Fermüller, Gödel Logics için bir önceki Analiz --- bir Anket. JLC 13 (6), 2003.
• M. Baaz ve A. Ciabattoni ve CG Fermüller, İlişkiler Hesabı: Çok Değerli Mantıklarda Analitik Kesinti İçin Bir Çerçeve. İki Ötesi: Çok Değerli Mantık Kuramı ve Uygulamaları, M. Fitting ve E. Orlowska, ed., Physica-Verlag, 2003.
• N. Olivetti, asiukasiwicz Sonsuz Değerli Mantık için Tableaux. Studia Logica 73 (1), 2003.
• G. Metcalfe ve N. Olivetti ve D. Gabbay, Abelian ve Łukasiewicz Logics için Analitik Ardışık Analizler. TABLOAX 2002.
• A. Ciabattoni ve CG Fermüller, Urquhart C, MTL ve İlgili Mantıklarda Tekdüze Bir Çerçeve Olarak Hiperquentler. 31. IEEE Çok Değerli Mantık Sempozyumu Bildirileri (ISMVL 2001), 2001.
• F. Esteva ve L. Godo, Monoidal t-norm temelli mantık: sol sürekli t-normlar için bir mantığa doğru, Bulanık Kümeler ve Sistemler 124 (3), 2001.
• M. Baaz ve R. Zach, Sezgisel Bulanık Mantıkın Hiperesif ve İspat Teorisi. CSL 2000.
• A. Avron, Göçel-Dummett Mantık için Hiperkonik Hesaplamaya Dayalı Bir Tablo Sistemi. TABLOAX 2000, LNAI 1847, 2000.
• A. Ciabattoni ve M. Ferrari, Hypertableau ve Path-Hypertableau Calculi bazı ara mantık aileleri için. TABLOAX 2000, LNAI 1847, 2000.
• RLO Cignoli ve IML D'Ottaviano ve D. Mundici, Çok Değerli Akıl Yürütmenin Cebirsel Temelleri, Kluwer, Londra, 2000.
• S. Aguzzoli ve A. Ciabattoni, Sonsuz Değerli asukasiewicz Mantığında Sonluluk. J. Mantık, Dil ve Bilgi 9, 2000.
• R. Dyckhoff, Gödel-Dummett mantığı için Deterministik Sonlandırıcı Sonraki Analiz, IGPL 7 (3), 1999.
• M. Baaz ve A. Ciabattoni ve CG Ferm {\ "u} ller ve H. Veith, Bulanık Mantıkların İspat Teorisi: Urquhart'ın C ve İlgili Mantıkları Bilgisayar Biliminin Matematiksel Temelleri 1998, 23. Uluslararası Sempozyumu, MFCS'98, Brno, Çek Cumhuriyeti, 24-28 Ağustos 1998, Bildiriler, 1998.
• P. Häjek, Bulanık Mantıkların Metamatiği, Kluer, 1998.
• R. Hähnle, Çok değerli mantığın ispat teorisi - doğrusal optimizasyon - mantık tasarımı: bağlantılar ve etkileşimler. Yumuşak Comput. 1 (3), 1997'de açıklanmaktadır.

Bununla birlikte, bunlar büyük ölçüde kanıt teorisi ve otomatik kesinti referanslarıdır,