สถานะของตรรกศาสตร์คลุมเครือสำหรับ TCS ในปี 2554 เป็นอย่างไร

ฉันกำลังตรวจสอบคู่มือคอมพิวเตอร์คำนวณแรงบันดาลใจจากธรรมชาติและนวัตกรรมสำหรับข่าว SIGACT มันเป็นการอ่านที่น่าสนใจมาก อย่างไรก็ตามในแต่ละบทมีรสชาติ "นี่คือพื้นที่การวิจัยของฉันและน่ากลัวจริงๆ!" ดังนั้นส่วนหนึ่งของสิ่งที่ฉันพยายามทำคือแยกโฆษณาออกและทำการประเมินเนื้อหาของหนังสืออย่างมีสติ

บทหนึ่งอยู่บนตรรกะของระบบฟัซซี่และระบบฟัซซี่ และบางทีพวกเขาคือฉันไม่ทราบแน่ชัด ความรู้สึกที่ใช้งานง่ายที่ฉันได้รับจากการแขวนอยู่รอบ ๆ นักวิทยาศาสตร์คอมพิวเตอร์คือตรรกะฟัซซีและการสร้างแบบจำลองฟัซซีของระบบควบคุม ฯลฯ เป็น "ตาย" ฉันไม่รู้ว่าจริงหรือไม่และถึงแม้ว่ามันจะเป็นจริงฉันก็ไม่รู้ว่ามันเป็นจริงด้วย "เหตุผลที่ดี"

ใครอยากชั่งน้ำหนักที่นี่ไหม สถานะปัจจุบันของการวิจัยในระบบฟัซซี่คืออะไร? Fuzzification เห็นแอปพลิเคชันที่ใช้งานจริงหรือไม่? มันเคยเป็นและคนย้ายไปเพราะปัญหา? หรือคน "ในสนามเพลาะ" ใช้มันตลอดเวลาและเป็นเพียงนักทฤษฎีที่ได้ย้ายออกไปจากมัน? หรืออย่างอื่น? (ฉันไม่รู้ว่าอะไรจริง)

ฉันอาจจะอ้างอิงคำตอบสำหรับคำถามนี้ในการตรวจสอบหนังสือเว้นแต่ผู้ตอบจะขอร้องเป็นพิเศษให้ฉัน

ขอบคุณ

ฉันจะไม่พิจารณาตรรกะที่คลุมเครือ สำหรับระบบควบคุมฉันไม่รู้ อย่างไรก็ตามมีกิจกรรมมากมายใน logics คลุมเครือสำหรับนักทฤษฎีพิสูจน์ในช่วงหลายปีที่ผ่านมา: มองหาเอกสารโดย Ciabattoni, Olivetti, Fermüller, Metcalfe และ Baaz สำหรับผู้เริ่มต้น

แก้ไข:การอ้างอิงเฉพาะจากไฟล์ BibTeX ของฉัน:

• D. Galmiche และ Y. Sahli, ติดฉลาก Calculi สำหรับ Logukasiewicz Logics, Int การประชุมเชิงปฏิบัติการเกี่ยวกับลอจิกภาษาข้อมูลและการคำนวณ WoLLIC'08, Edinburgh, LNAI 5110, 2008
• M. Baaz และ G. Metcalfe ทฤษฎีการพิสูจน์สำหรับคำสั่งแรกŁukasiewicz Logic TableAUX 2007
• D. Galmiche และ D. Larchey-Wendling และ Y. Salhi, ความสามารถและ Countermodels ในGödel-Dummett Logics, DISPROVING'07: การประชุมเชิงปฏิบัติการเรื่องการพิสูจน์ทฤษฎีที่ไม่ถูกต้อง, ความถูกต้องที่ไม่ถูกต้อง,
• S. Bova และ F. Montagna, การค้นหาหลักฐานในลอจิกพื้นฐานของHäjek, ACM Trans คอมพิวเต บันทึก., 2007
• DM Gabbay และ G. Metcalfe, logics ฟัซซี่อิงจาก [0,1) - uninorms ที่ต่อเนื่อง, AML 46 (5), 2007
• G. Metcalfe และ F. Montagna, logics คลุมเครือแบบโครงสร้าง JSL 72 (3), 2007
• R. Dyckhoff และ S. Negri, วิธีการตัดสินใจสำหรับการเรียงลำดับเชิง {{}} จีบราส์เชิงเส้น AML 45, 2549
• G. Metcalfe และ N. Olivetti และ D. Gabbay, Sequent และ Hypersequent calculi สำหรับ Abelian และŁukasiewicz Logics ACM Trans คอมพิวเต เข้าสู่ระบบ 6 (3), 2005
• M. Baaz และ A. Ciabattoni และ F. Montagna, แคลคูลัสเชิงวิเคราะห์สำหรับตรรกะตาม t-norm monoidal, กองทุน Inf 59 (4), 2547
• S. Negri และ J. van Plato ระบบพิสูจน์สำหรับทฤษฎีขัดแตะคณิตศาสตร์ โครงสร้าง ในคอมพ์ วิทยาศาสตร์ 14 (4), 2004
• A. Ciabattoni และ CG Fermüllerและ G. Metcalfe, กฎกติกาและเกมการสนทนาสำหรับ Logics Fuzzy LPAR 2004
• A. Ciabattoni การสร้างแคลคูลัสเชิงวิเคราะห์แบบอัตโนมัติสำหรับเชิงตรรกะ CSL 2004
• F. Montagna และ L. Saccetti, อรรถศาสตร์สไตล์คริปเกสำหรับการคำนวณทางคณิตศาสตร์ที่มีมูลค่ามากมาย เข้าสู่ระบบ Q. 49 (6), 2003. การแก้ไขใน MLQ 50 (1), 2004
• D. Larchey-Wendling, การค้นหาแบบจำลองในGödel-Dummett logics, IJCAR 2004, LNAI 3097, Springer, 2004
• G. Metcalfe ทฤษฎีการพิสูจน์สำหรับตรรกศาสตร์ฟัซซีเชิงประพจน์วิทยานิพนธ์ปริญญาเอกภาควิชาวิทยาการคอมพิวเตอร์ King's College, 2004
• D. Gabbay และ G. Metcalfe และ N. Olivetti, Hypersequents และ Fuzzy Logic, Revista de la Real Academia de Ciencias 98 (1), 2004
• A. Ciabattoni และ G. Metcalfe, ถูก จำกัด ขอบเขตŁukasiewicz Logics TableAUX 2003
• M. Baaz และ A. Ciabattoni และ CG Fermüller, ypersequent Calculi สำหรับGödel Logics --- การสำรวจ JLC 13 (6), 2003
• M. Baaz และ A. Ciabattoni และ CG Fermüller, ลำดับของความสัมพันธ์แคลคูลัส: กรอบสำหรับการลดการวิเคราะห์ใน Logics ที่ประเมินมูลค่าหลายตัว เกินกว่าสอง: ทฤษฎีและการประยุกต์ใช้ตรรกะที่มีหลายค่า, M. Fitting และ E. Orlowska, eds., Physica-Verlag, 2003
• N. Olivetti, Tableaux สำหรับŁukasiwicz Infinite Valued Logic Studia Logica 73 (1), 2003
• G. Metcalfe และ N. Olivetti และ D. Gabbay, แคลคูลัสตามลำดับเชิงวิเคราะห์สำหรับ Abelian และŁukasiewicz Logics TableAUX 2002
• A. Ciabattoni และ CG Fermüller, Hypersequents เป็น Framework Framework สำหรับ Urquhart's C, MTL และ Logics ที่เกี่ยวข้องการดำเนินการของการประชุมวิชาการ IEEE International ครั้งที่ 31 เกี่ยวกับตรรกะหลายค่า (ISMVL 2001), 2001
• F. Esteva และ L. Godo, ตรรกะตาม t-norm monoidal: สู่ตรรกะสำหรับ t-norms ซ้าย - ต่อเนื่อง, เซต Fuzzy และระบบ 124 (3), 2001
• M. Baaz และ R. Zach, Hypersequent และทฤษฎีการพิสูจน์ของตรรกศาสตร์คลุมเครือ CSL 2000
• A. Avron ระบบ Tableau สำหรับGödel-Dummett Logic จากแคลคูลัส Hypersequent TableAUX 2000, LNAI 1847, 2000
• A. Ciabattoni และ M. Ferrari, Hypertableau และ Path-Hypertableau Calculi สำหรับบางครอบครัวที่มี logics ระดับกลาง TableAUX 2000, LNAI 1847, 2000
• RLO Cignoli และ IML D'Ottaviano และ D. Mundici, รากฐานเชิงพีชคณิตของการใช้เหตุผลที่มีคุณค่ามากมาย, Kluwer, ลอนดอน, 2000
• S. Aguzzoli และ A. Ciabattoni, ความละเอียดสูงสุดใน Logicukasiewicz Logic ที่ไม่มีที่สิ้นสุด J. ตรรกศาสตร์ภาษาและข้อมูล 9, 2000
• ร. Dyckhoff, แคลคูลัสตามลำดับการยุติที่กำหนดสำหรับตรรกะGödel-Dummett, IGPL 7 (3), 1999
• M. Baaz และ A. Ciabattoni และ CG Ferm {\ "u} ller และ H. Veith, หลักฐานการพิสูจน์ของ Fuzzy Logics: Urquhart's C และ Logics ที่เกี่ยวข้องฐานรากคณิตศาสตร์ของวิทยาศาสตร์คอมพิวเตอร์ 1998, 23 International Symposium, MFCS'98, Brno, สาธารณรัฐเช็กวันที่ 24-28 สิงหาคม 2541 ดำเนินการตามกฎหมายปี 2541
• P. Häjek, Metamathematics ของ Fuzzy Logics, Kluer, 1998
• R. Hähnleทฤษฎีการพิสูจน์ของตรรกะที่มีค่ามากมาย - การเพิ่มประสิทธิภาพเชิงเส้น - การออกแบบเชิงตรรกะ: การเชื่อมต่อและการโต้ตอบ คำนวณแบบนุ่ม 1 (3), 1997

ส่วนใหญ่เป็นการพิสูจน์ทฤษฎีและการอ้างอิงการหักอัตโนมัติ