{"title":"模糊推理和模糊逻辑","authors":"Guna Wang","doi":"10.1109/AFSS.1996.583672","DOIUrl":null,"url":null,"abstract":"Fuzzy reasoning and fuzzy logic are two related but different research fields such that both are fruitful but have not yet been well linked. The aim of the paper is to: (i) prove that it is impossible to keep all theorems in classical propositional calculus to be tautologies in fuzzy propositional calculus; (ii) establish a so called quasi-formal deduction system and prove the corresponding soundness theorem; and (iii) revise, clear and set a logic foundation for the concepts of fuzzy modus ponens and fuzzy modus tollens.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"325 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Fuzzy reasoning and fuzzy logic\",\"authors\":\"Guna Wang\",\"doi\":\"10.1109/AFSS.1996.583672\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Fuzzy reasoning and fuzzy logic are two related but different research fields such that both are fruitful but have not yet been well linked. The aim of the paper is to: (i) prove that it is impossible to keep all theorems in classical propositional calculus to be tautologies in fuzzy propositional calculus; (ii) establish a so called quasi-formal deduction system and prove the corresponding soundness theorem; and (iii) revise, clear and set a logic foundation for the concepts of fuzzy modus ponens and fuzzy modus tollens.\",\"PeriodicalId\":197019,\"journal\":{\"name\":\"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium\",\"volume\":\"325 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-12-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AFSS.1996.583672\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AFSS.1996.583672","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Fuzzy reasoning and fuzzy logic are two related but different research fields such that both are fruitful but have not yet been well linked. The aim of the paper is to: (i) prove that it is impossible to keep all theorems in classical propositional calculus to be tautologies in fuzzy propositional calculus; (ii) establish a so called quasi-formal deduction system and prove the corresponding soundness theorem; and (iii) revise, clear and set a logic foundation for the concepts of fuzzy modus ponens and fuzzy modus tollens.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
