Який статус нечіткої логіки для TCS у 2011 році?

Я переглядаю Посібник з обчислень, орієнтованих на природу та інновації, для новин SIGACT. Це дуже цікаве читання. Кожен розділ, однак, має аромат: "Це моя дослідницька область, і чорт забирає!" Тому частина того, що я намагаюся зробити, - це відокремити ажіотаж і тверезо оцінити зміст книги.

В одній главі йдеться про нечітку логіку та нечіткі системи та про те, наскільки вони страхітливі. І, можливо, вони є, я, чесно кажучи, не знаю. Інтуїтивний сенс, який я отримав від розвішування комп'ютерних вчених, полягає в тому, що нечітка логіка та нечітке моделювання систем управління тощо "мертві". Я не знаю, чи це правда, і, навіть якщо це правда, я не знаю, чи це правда з "доброї причини".

Хтось хотів би зважити тут? Який сучасний стан досліджень нечітких систем? Чи відображається нечітка програма із реальними програмами? Це раніше було, і люди віддалилися через проблеми? Або люди "в окопах" ним користуються весь час, і просто теоретики віддалилися від нього? Або ... ще щось? (Я поняття не маю, що правда.)

Я, напевно, цитую відповіді на це питання в огляді книг, якщо тільки відповідь конкретно не попросить мене цього не робити.

Спасибі.

Я б не вважав нечітку логіку мертвою. Щодо систем управління, я не знаю. Однак протягом останніх кількох років у нечітких логіках проводиться велика активність для теоретиків доказів: шукайте статті для Ciabattoni, Olivetti, Fermüller, Metcalfe та Baaz для початку.

Редагувати: Деякі конкретні посилання з мого файлу BibTeX:

• D. Galmiche та Y. Sahli, Позначені підрахунками для Łukasiewicz Logics, Int. Семінар з логіки, мови, інформації та обчислень, WoLLIC'08, Едінбург, LNAI 5110, 2008.
• М. Бааз та Г. Меткальф, теорія доказів логіки першого порядку Лукасевич. TABLEAUX 2007.
• D. Galmiche, D. Larchey-Wendling та Y. Salhi, Provability and Countermodels in Gödel-Dummett Logics, DISPROVING'07.
• С. Бова та Ф. Монтанья, Доказ пошуку в основній логіці Хяека, ACM Trans. Обчислення. Журнал, 2007.
• Д. М. Габбай та Г. Меткалф, Нечітка логіка на основі [0,1) безперервної ненорми, AML 46 (5), 2007.
• Г. Меткальф та Ф. Монтанья, Неструктурна нечітка логіка. 72 (3) JSL, 2007.
• R. Dyckhoff та S. Negri, Методи рішення лінійно упорядкованих {H} очевидних алгебр. 45 AML, 2006.
• Г. Меткальф, Н. Оліветті та Д. Габбай, послідовне і гіперслідуюче обчислення для абелевої та Łкасевічевої логіки. ACM Trans. Обчислення. Журнал. 6 (3), 2005.
• М. Бааз, А. Ціабатоні та Ф. Монтанья, аналітичні розрахунки для моноїдної логіки, заснованої на t-нормі, фонд. Інф. 59 (4), 2004.
• С. Негрі та Дж. Ван Платон, Доказові системи для теорії решітки, Математика. Структуру. у склад. Наука 14 (4), 2004.
• А. Ciabattoni і CG Fermüller, G. Metcalfe, Єдині правила та ігри для діалогів для нечітких логік. LPAR 2004.
• А. Ciabattoni, Автоматизована генерація аналітичних розрахунків для логіки з лінійністю. CSL 2004 року.
• Ф. Монтанья та Л. Саккетті, семантика стилю Крипке для багатозначних логік, Математика. Журнал. Запитання 49 (6), 2003. Виправлення в MLQ 50 (1), 2004.
• Д. Ларчі-Вендлінг, пошук контрмоделей у логіках Геделя-Даммета, IJCAR 2004, LNAI 3097, Springer, 2004.
• Г. Меткальф, Теорія доказової нечіткої логіки, кандидатська дисертація, кафедра комп'ютерних наук, Коледж Короля, 2004.
• D. Gabbay, G. Metcalfe, N. Olivetti, Hypersequents and Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004.
• А. Ціабатоні та Г. Меткальф, обмежений Łукасевічем логікою. TABLEAUX 2003.
• М. Бааз, А. Ціабатоні та К. Г. Фермюллер, наступні розрахунки для логіки Геделя --- опитування. JLC 13 (6), 2003.
• М. Бааз, А. Ціабатоні та К. Г. Фермюллер, послідовність обчислень відносин: основа для аналітичної дедукції у багатозначній логіці. Більше двох: теорія та застосування багатозначної логіки, М. Фіттінг та Е. Орловська, ред., Physica-Verlag, 2003.
• Н. Olivetti, Tableaux для Łukasiwicz Нескінченна цінна логіка. Studia Logica 73 (1), 2003.
• Г. Меткальф, Н. Оліветті та Д. Габбай, аналітичні послідовні обчислення для абелевої та Łукасевіч Логіки. TABLEAUX 2002.
• А. Ciabattoni та CG Fermüller, Hypersequents як єдина рамка для C, MTL та суміжних логік Urquhart. Матеріали 31-го Міжнародного симпозіуму IEEE з багатозначної логіки (ISMVL 2001), 2001.
• Ф. Естева та Л. Годо, логіка, заснована на моноїдній t-нормі: до логіки для лівих безперервних t-норм, Нечіткі набори та системи 124 (3), 2001.
• М. Бааз та Р. Зак, Гіперпослідовність та теорія доказу інтуїціоністської нечіткої логіки. CSL 2000.
• А. Аврон, система Табау для логіки Ґеделя-Даммета, заснована на гіперсклерентному обчисленні. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni і M. Ferrari, Hypertableau та Path-Hypertableau Calculi для деяких сімейств проміжних логік. TABLEAUX 2000, LNAI 1847, 2000.
• РЛО Cignoli, IML D'Ottaviano і D. Mundici, Алгебраїчні основи багатоцінного міркування, Kluwer, Лондон, 2000.
• S. Aguzzoli та A. Ciabattoni, Кінцевість у логіці нескінченно оціненого Лукасевича. J. Логіка, мова та інформація 9, 2000.
• Р. Дікхофф, Детермінований чисельний підрахунок послідовних обчислень для логіки Геделя-Даммета, IGPL 7 (3), 1999.
• М. Бааз, А. Ціабатоні та К. Г. Ферм {\ "u} ller та Х. Вейт, Теорія доказів нечіткої логіки: С Уркхарта і супутня логіка. Математичні основи інформатики 1998 р., 23-й Міжнародний симпозіум, MFCS'98, Брно, Чехія, 24-28 серпня 1998 р., Матеріали, 1998.
• P. Häjek, Метаматематика нечіткої логіки, Kluer, 1998.
• Р. Хенле, Теорія доказів багатозначної логіки - лінійна оптимізація - логічне проектування: зв'язки та взаємодії. М'які обчислення. 1 (3), 1997.

Це значною мірою доказові теорії та автоматизовані посилання на дедукції, хоча,