2011 년 TCS의 퍼지 로직 상태는 무엇입니까?

SIGACT 뉴스를위한 자연에서 영감을 얻은 혁신적인 컴퓨팅 핸드북을 검토하고 있습니다. 매우 흥미로운 내용입니다. 그러나 각 장은 "이것은 나의 연구 분야이며, 정말 대단하다!" 그래서 내가하려고하는 일은 과대 광고를 분리하고 책의 내용을 냉정하게 평가하는 것입니다.

하나의 장은 퍼지 로직과 퍼지 시스템, 그리고 frikkin이 얼마나 멋진 지에 관한 것입니다. 그리고 아마도 그들은 솔직히 모르겠습니다. 컴퓨터 과학자들을 둘러싼 직관적 인 감각은 퍼지 로직과 제어 시스템 등의 퍼지 모델링이 "죽었다"는 것입니다. 그래도 그것이 사실인지는 모르겠습니다. 그리고 그것이 사실이더라도 "좋은 이유"인지는 모르겠습니다.

여기서 무게를 측정하고 싶은 사람이 있습니까? 퍼지 시스템에 대한 현재 연구 상태는 무엇입니까? 퍼지 화에 실제 응용 프로그램이 표시됩니까? 문제가 있었는데 사람들에게 익숙 해졌습니까? 아니면 "참호에있는"사람들이 항상 그것을 사용합니까? 그리고 이론가들이 그것을 멀리 이동 한 것입니까? 또는 다른 것? (나는 무엇이 진실인지 전혀 모른다.)

답변자가 구체적으로 요구하지 않는 한, 서평에서이 질문에 대한 답을 인용 할 것입니다.

감사.

퍼지 로직이 죽었다고 생각하지 않습니다. 제어 시스템의 경우 모르겠습니다. 그러나 지난 몇 년간 증거 이론가들을위한 퍼지 논리에서 많은 활동이있었습니다. Ciabattoni, Olivetti, Fermüller, Metcalfe, Baaz의 논문을 먼저 찾으십시오.

편집 : 내 BibTeX 파일의 일부 특정 참조 :

• D. Galmiche와 Y. Sahli, Łukasiewicz Logics, Int. 논리, 언어, 정보 및 계산 워크샵, WoLLIC'08, Edinburgh, LNAI 5110, 2008.
• M. Baaz와 G. Metcalfe, 1 차 Łukasiewicz 논리에 대한 증명 이론. TABLEAUX 2007.
• D. Galmiche 및 D. Larchey-Wendling 및 Y. Salhi, 괴델-듀 메트 논리의 확률 및 대응 모델, DISPROVING'07 : 비 이론, 비유 효성 및 비확산성에 대한 워크숍, 2007.
• S. Bova와 F. Montagna, Häjek의 기본 로직, ACM Trans. 계산. 2007 년.
• DM Gabbay와 G. Metcalfe, [0,1)-연속 uninorms에 기반한 퍼지 논리, AML 46 (5), 2007.
• G. Metcalfe 및 F. Montagna, 구조적 퍼지 논리. JSL 72 (3), 2007.
• R. Dyckhoff 및 S. Negri, 선형으로 정렬 된 {H} 대수를 결정하는 방법. AML 45, 2006.
• G. Metcalfe 및 N. Olivetti 및 D. Gabbay, Abelian 및 Łukasiewicz 논리의 순차 및 초속 계산. ACM 거래 계산. 로그. 2005 년 6 월 3 일.
• M. Baaz 및 A. Ciabattoni 및 F. Montagna, 단일체 t- 노름 기반 논리에 대한 분석적 계산법, Fund. Inf. 59 (4), 2004.
• S. Negri 및 J. van Plato, 격자 이론 증명 시스템, Math. 구조. Comp. 과학 14 (4), 2004.
• A. Ciabattoni 및 CG Fermüller 및 G. Metcalfe, 퍼지 논리에 대한 통일 규칙 및 대화 게임. LPAR 2004.
• A. Ciabattoni, 선형성을 갖는 로직에 대한 분석 계산의 자동 생성. CSL 2004.
• F. Montagna와 L. Saccetti, 많은 가치있는 논리를위한 Kripke 스타일의 의미, Math. 로그. Q. 49 (6), 2003. MLQ 50 (1)의 수정, 2004.
• D. Larchey-Wendling, Gödel-Dummett 논리의 카운터 모델 검색, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Propositional Fuzzy Logics에 대한 증명 이론, King 's College 컴퓨터 공학과 박사 학위 논문, 2004.
• D. Gabbay와 G. Metcalfe와 N. Olivetti, Hypersequents와 퍼지 논리, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni와 G. Metcalfe, 경계가있는 우카지에 비치 논리. TABLEAUX 2003.
• M. Baaz와 A. Ciabattoni와 CG Fermüller, Gödel Logics의 후속 계산 ---- 설문 조사. JLC 13 (6), 2003.
• M. Baaz와 A. Ciabattoni와 CG Fermüller, 관계의 결과 계산 : 많은 가치있는 논리의 분석 추론을위한 프레임 워크. 2 개 이상 : 다중 값 논리의 이론 및 응용, M. Fitting 및 E. Orlowska, eds., Physica-Verlag, 2003.
• N. Olivetti, Łukasiwicz 무한 가치 논리를위한 Tableaux. Studia Logica 73 (1), 2003.
• G. Metcalfe 및 N. Olivetti 및 D. Gabbay, Abelian 및 Łukasiewicz 논리의 분석 결과 계산. TABLEAUX 2002.
• A. Ciabattoni와 CG Fermüller, 우퍼 하트의 C, MTL 및 관련 논리를위한 단일 프레임 워크로서 Hypersequents. 다중 값 논리에 관한 제 31 회 IEEE 국제 심포지움 (ISMVL 2001), 2001.
• F. Esteva와 L. Godo, Monoidal t-norm 기반 논리 : 왼쪽 연속 t-norm에 대한 논리, Fuzzy Sets and Systems 124 (3), 2001.
• M. Baaz와 R. Zach, Hypersequent 및 직관적 이론 퍼지 논리의 증명 이론. CSL 2000.
• A. Avron, Hypersequent 미적분을 기반으로 한 Gödel-Dummett 논리를위한 Tableau 시스템. 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, 2000 년 런던 Kluwer의 많은 가치 추론의 대수 기초.
• S. Aguzzoli 및 A. Ciabattoni, 무한 가치 우카시 비츠 논리의 유한. J. 논리, 언어 및 정보 9, 2000.
• R. Dyckhoff, Gödel-Dummett 논리에 대한 결정 론적 종결 연속 미적분, IGPL 7 (3), 1999.
• M. Baaz와 A. Ciabattoni와 CG Ferm {\ "u} 퍼지 논리 증명 이론과 H. Veith : Urquhart의 C와 관련 논리 컴퓨터 과학의 수학적 기초 1998, 23 차 국제 심포지엄, MFCS'98, Brno, 1998 년 8 월 24 ~ 28 일 체코 공화국, 1998 년 절차.
• P. Häjek, 퍼지 로직의 메타 수학, Kluer, 1998.
• R. Hähnle, 많은 가치를 가진 논리-선형 최적화-논리 설계의 이론 : 연결 및 상호 작용. 소프트 컴퓨팅. 1 (3), 1997.

이것들은 대체로 증명 이론과 자동화 된 추론 기준입니다.