Tình trạng logic mờ cho TCS năm 2011 là gì?

Tôi đang xem lại Sổ tay tính toán lấy cảm hứng từ thiên nhiên và sáng tạo cho SIGACT News. Đó là một bài đọc rất thú vị. Mặc dù vậy, mỗi chương đều có hương vị, "Đây là lĩnh vực nghiên cứu của tôi và thật tuyệt vời!" Vì vậy, một phần của những gì tôi đang cố gắng làm là tách biệt sự cường điệu và đưa ra đánh giá tỉnh táo về nội dung của cuốn sách.

Một chương là về logic mờ và hệ thống mờ, và chúng tuyệt vời như thế nào. Và có lẽ họ, tôi thực sự không biết. Cảm giác trực quan mà tôi có được từ việc treo xung quanh các nhà khoa học máy tính là logic mờ và mô hình mờ của các hệ thống điều khiển, v.v., đã "chết". Mặc dù vậy, tôi không biết điều đó có đúng không - và, ngay cả khi đó là sự thật, tôi không biết liệu điều đó có đúng vì "lý do chính đáng" hay không.

Có ai muốn cân nhắc ở đây không? Hiện trạng nghiên cứu hệ thống mờ là gì? Liệu mờ có nhìn thấy các ứng dụng trong thế giới thực? Nó đã từng và mọi người chuyển đi vì vấn đề? Hay những người "trong chiến hào" sử dụng nó mọi lúc, và chỉ là các nhà lý thuyết đã rời xa nó? Hay ... cái gì khác? (Tôi không biết điều gì là đúng.)

Tôi có thể sẽ trích dẫn câu trả lời cho câu hỏi này trong phần đánh giá sách, trừ khi một người trả lời đặc biệt yêu cầu tôi không làm.

Cảm ơn.

Tôi sẽ không xem xét logic mờ. Đối với hệ thống điều khiển, tôi không biết. Tuy nhiên, đã có rất nhiều hoạt động trong logic học mờ cho các nhà lý thuyết bằng chứng trong nhiều năm qua: tìm kiếm các bài báo của Ciabattoni, Olivetti, Fermüller, Metcalfe và Baaz cho người mới bắt đầu.

Chỉnh sửa: Một số tài liệu tham khảo cụ thể từ tệp BibTeX của tôi:

• D. Galmiche và Y. Sahli, Tính toán được dán nhãn cho Łukasiewicz Logics, Int. Hội thảo về Logic, Ngôn ngữ, Thông tin và Tính toán, WoLLIC'08, Edinburgh, LNAI 5110, 2008.
• M. Baaz và G. Metcalfe, Lý thuyết bằng chứng cho logic đầu tiên Łukasiewicz. TABLEAUX 2007.
• D. Galmiche và D. Larchey-Wendling và Y. Salhi, Tính khả thi và các biện pháp đối phó trong Loggel-Dummett Logics, DISPROVING'07: Hội thảo về việc bác bỏ những điều không định lý, không có giá trị và không có khả năng, 2007.
• S. Bova và F. Montagna, Tìm kiếm bằng chứng trong Logic cơ bản của Häjek, ACM Trans. Tính toán. Nhật ký, 2007.
• DM Gabbay và G. Metcalfe, lôgic mờ dựa trên [0,1) liên tục uninorms, AML 46 (5), 2007.
• G. Metcalfe và F. Montagna, lôgic mờ cấu trúc. Mã số 72 (3), 2007.
• R. Dyckhoff và S. Negri, Các phương pháp quyết định cho đại số {H} sắp xếp tuyến tính. AML 45, 2006.
• G. Metcalfe và N. Olivetti và D. Gabbay, tính toán tuần tự và siêu cấp cho Logel Abelian và Łukasiewicz. ACM Trans. Tính toán. Đăng nhập. 6 (3), 2005.
• M. Baaz và A. Ciabattoni và F. Montagna, Giải tích phân tích cho logic dựa trên tiêu chuẩn đơn hình, Quỹ. Thông tin 59 (4), 2004.
• S. Negri và J. van Plato, Các hệ thống chứng minh cho lý thuyết mạng, Toán học. Cấu trúc. trong phần Khoa học 14 (4), 2004.
• A. Ciabattoni và CG Fermüller và G. Metcalfe, Quy tắc thống nhất và Trò chơi đối thoại cho Logic mờ. LPAR 2004.
• A. Ciabattoni, Tự động tạo ra phép tính phân tích cho logic với tuyến tính. CSL 2004.
• F. Montagna và L. Saccetti, ngữ nghĩa kiểu Kripke cho logic học có giá trị, Toán học. Đăng nhập. Q. 49 (6), 2003. Sửa lỗi trong MLQ 50 (1), 2004.
• D. Larchey-Wendling, tìm kiếm Countermodel trong logic của Godel-Dummett, IJCAR 2004, LNAI 3097, Springer, 2004.
• G. Metcalfe, Lý thuyết bằng chứng cho logic mờ đề xuất, Luận án tiến sĩ, Khoa Khoa học máy tính, Đại học King's, 2004.
• D. Gabbay và G. Metcalfe và N. Olivetti, Hyper Hậu quả và Logic Mờ, Revista de la Real Academia de Ciencias 98 (1), 2004.
• A. Ciabattoni và G. Metcalfe, Ranh giới ukasiewicz. TABLEAUX 2003.
• M. Baaz và A. Ciabattoni và CG Fermüller, tính toán hậu quả cho Loggel Logel --- một khảo sát. JLC 13 (6), 2003.
• M. Baaz và A. Ciabattoni và CG Fermüller, Trình tự các mối quan hệ Tính toán: Một khuôn khổ cho việc khấu trừ phân tích trong logic nhiều giá trị. Ngoài hai: Lý thuyết và ứng dụng của logic đa giá trị, M. Lắp và E. Mitchowska, biên tập, Physica-Verlag, 2003.
• N. Olivetti, Tableaux cho Logic vô giá trị Łukasiwicz. Logia Logica 73 (1), 2003.
• G. Metcalfe và N. Olivetti và D. Gabbay, Giải tích trình tự phân tích cho logic của Abelian và Łukasiewicz. TABLEAUX 2002.
• A. Ciabattoni và CG Fermüller, Hyper Hậu quả như là một Khung thống nhất cho C, MTL và các logic liên quan của Urquhart. Các tiến trình của Hội nghị chuyên đề quốc tế lần thứ 31 về Logic đa giá trị (ISMVL 2001), 2001.
• F. Esteva và L. Godo, logic dựa trên chuẩn mực đơn hình: hướng tới logic cho các chỉ tiêu t liên tục trái, Bộ mờ và Hệ thống 124 (3), 2001.
• M. Baaz và R. Zach, Siêu nhân và Lý thuyết Chứng minh của Logic Mờ Trực giác. CSL 2000.
• A. Avron, Một hệ thống Tableau cho Logic của Godel-Dummett dựa trên phép tính siêu cấp. TABLEAUX 2000, LNAI 1847, 2000.
• A. Ciabattoni và M. Ferrari, Hypertableau và Path-Hypertableau Tính cho một số gia đình logic trung gian. TABLEAUX 2000, LNAI 1847, 2000.
• RLO Cignoli và IML D'Ottaviano và D. Mundici, nền tảng đại số của lý luận nhiều giá trị, Kluwer, London, 2000.
• S. Aguzzoli và A. Ciabattoni, Tính chính xác trong Logic vô hạn Łukasiewicz. J. Logic, Ngôn ngữ và Thông tin 9, 2000.
• R. Dyckhoff, Một phép tính trình tự kết thúc xác định cho logic của Godel-Dummett, IGPL 7 (3), 1999.
• M. Baaz và A. Ciabattoni và CG Ferm {\ "u} ller và H. Veith, Lý thuyết bằng chứng về logic mờ: C của Urquhart và các logic liên quan. Cơ sở toán học của Khoa học máy tính 1998, Hội thảo quốc tế lần thứ 23, MFCS'98, Brno, Cộng hòa Séc, 24-28 / 8/1998, Kỷ yếu, 1998.
• P. Häjek, Siêu dữ liệu của Logic Mờ, Kluer, 1998.
• R. Hähnle, Lý thuyết bằng chứng về logic nhiều giá trị - tối ưu hóa tuyến tính - thiết kế logic: kết nối và tương tác. Máy tính mềm. 1 (3), 1997.

Tuy nhiên, đây chủ yếu là các lý thuyết chứng minh và tham chiếu khấu trừ tự động