Каков статус нечеткой логики для TCS в 2011 году?

Я рассматриваю Справочник по естественным и инновационным вычислениям для SIGACT News. Это очень интересное чтение. Каждая глава, тем не менее, имеет вкус: «Это моя область исследований, и, черт возьми, это круто!» Таким образом, часть того, что я пытаюсь сделать, - выделить шумиху и сделать трезвую оценку содержания книги.

Одна глава посвящена нечеткой логике и нечетким системам, а также тому, как они круты. И, может быть, я, честно говоря, не знаю. Интуитивное чувство, которое я получил от общения с компьютерными учеными, заключается в том, что нечеткая логика и нечеткое моделирование систем управления и т. Д. «Мертвы». Хотя я не знаю, правда ли это, и даже если это правда, я не знаю, правда ли это по «веской причине».

Кто-нибудь хотел бы взвесить здесь? Каков текущий статус исследований нечетких систем? Видит ли фаззификация реальные приложения? Раньше и люди уходили из-за проблем? Или люди "в окопах" используют его все время, и просто теоретики от него отошли? Или что-то другое? (Понятия не имею, что это правда.)

Я, вероятно, приведу ответы на этот вопрос в рецензии на книгу, если только тот, кто отвечает, не попросит меня не делать этого.

Благодарю.

Я бы не стал считать нечеткую логику мертвой. Для систем управления я не знаю. Тем не менее, в течение последних нескольких лет в нечеткой логике активно использовались теоретики доказательств: для начала посмотрите работы Чиабаттони, Оливетти, Фермюллера, Меткалфа и Бааза.

Изменить: некоторые конкретные ссылки из моего файла BibTeX:

• D. Galmiche и Y. Sahli, Меченые исчисления для логики Лукасевича, Int. Семинар по логике, языку, информации и вычислениям, WoLLIC'08, Эдинбург, LNAI 5110, 2008.
• М. Бааз и Г. Меткалф, Теория доказательств для первого порядка Лукасевич Лоджик. ТАБЛИЦА 2007.
• D. Galmiche, D. Larchey-Wendling и Y. Salhi, Обеспечиваемость и контрмодели в логике Гёделя-Даммета, DISPROVING'07: Семинар по опровержению не теорем, недействительности и недопустимости, 2007.
• С. Бова и Ф. Монтанья, Поиск доказательств в базовой логике Häjek, ACM Trans. Вычи. Журнал., 2007.
• Д. М. Габбей и Г. Меткалф. Нечеткие логики, основанные на [0,1) -прерывных неинорм, AML 46 (5), 2007.
• Г. Меткалф и Ф. Монтанья. Субструктурная нечеткая логика. JSL 72 (3), 2007.
• R. Dyckhoff, S. Negri, Методы принятия решений для линейно упорядоченных алгебр сглаживания {H}. AML 45, 2006.
• Г. Меткалф, Н. Оливетти и Д. Габбей, Секвенциальные и Гиперпоследующие исчисления для абелевой и Лукасевичской логики. ACM Trans. Вычи. Журнал. 6 (3), 2005.
• М. Бааз, А. Чиабаттони, Ф. Монтанья, Аналитические исчисления для моноидальной логики, основанной на t-нормах, Фонд. Inf. 59 (4), 2004.
• С. Негри и Дж. Ван Платон, Системы доказательства для теории решеток, Матем. Struct. в комп. Science 14 (4), 2004.
• А. Чиабаттони, К. Г. Фермюллер и Г. Меткалф. Унифицированные правила и диалогические игры для нечеткой логики. LPAR 2004.
• А. Чиабаттони, Автоматическая генерация аналитических исчислений для логики с линейностью. CSL 2004.
• F. Montagna и L. Saccetti, Семантика стиля Крипке для многозначных логик, Матем. Журнал. 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.
• А. Чиабаттони и Г. Меткалф, Ограниченный Лукасевич Логика. ТАБЛИЦА 2003.
• М. Бааз, А. Чиабаттони и К. Г. Фермюллер, последующие исчисления для логики Геделя --- обзор. JLC 13 (6), 2003.
• М. Бааз, А. Чиабаттони, К. Г. Фермюллер. Исчисление секвенций: основа аналитического вывода в многозначных логиках. За пределами двух: теория и приложения многозначной логики, М. Фиттинг и Э. Орловска, ред., Physica-Verlag, 2003.
• Н. Оливетти, Таблицы для логики Лукасевича с бесконечной ценностью. Studia Logica 73 (1), 2003.
• Г. Меткалф, Н. Оливетти и Д. Габбей, Аналитическое исчисление секвенций для абелевой и лукасевичской логики. ТАБЛИЦА 2002.
• А. Чиабаттони и К.Г. Фермюллер. Гиперсеквенты как единая основа для логики С, MTL и смежной логики Уркхарта. Материалы 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.
• RLO Cignoli и IML D'Ottaviano и D. Mundici, Алгебраические основы многозначных рассуждений, Kluwer, Лондон, 2000.
• С. Агуццоли и А. Чиабаттони. Конечность в бесконечнозначной лукасевичской логике. J. Логика, язык и информация 9, 2000.
• R. Dyckhoff, Детерминистское завершающее исчисление секвенций для логики Гёделя-Даммета, IGPL 7 (3), 1999.
• М. Бааз, А. Чиабаттони, К. Г. Фермулер и Х. Вейт, Теория доказательств нечеткой логики: Уркварт С и смежные логики. Математические основы информатики 1998, 23-й Международный симпозиум, MFCS'98, Брно, Чехия, 24-28 августа 1998 г., Труды, 1998.
• П. Хайек, Метаматематика нечеткой логики, Клюер, 1998.
• Р. Ханле, Теория доказательств многозначной логики - линейная оптимизация - логическое проектирование: связи и взаимодействия. Soft Comput. 1 (3), 1997.

Это в основном доказательство теории и ссылки на автоматические выводы, хотя,