{"title":"从区间概率论到可计算模糊一阶逻辑及以后","authors":"D. Buehrer","doi":"10.1109/FUZZY.1994.343608","DOIUrl":null,"url":null,"abstract":"This paper first presents a simple explanation for the min/max bounds which are used in interval probability theory (IPT), possibility theory, fuzzy rough sets, and vague logic. Based on this definition, a computable version of first-order fuzzy logic is defined, where all of the upper bounds for instances of a theorem and its negation are guaranteed to eventually be listed. Based on this fuzzy logic, a complete version of fuzzy Prolog is defined. This fuzzy Prolog is then used to give some examples of fuzzy Prolog definitions of fuzzy concepts such as fuzzy linguistic variables, fuzzy modifiers, fuzzy quantifiers, and various kinds of fuzzy norms and conorms.<<ETX>>","PeriodicalId":153967,"journal":{"name":"Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"From interval probability theory to computable fuzzy first-order logic and beyond\",\"authors\":\"D. Buehrer\",\"doi\":\"10.1109/FUZZY.1994.343608\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper first presents a simple explanation for the min/max bounds which are used in interval probability theory (IPT), possibility theory, fuzzy rough sets, and vague logic. Based on this definition, a computable version of first-order fuzzy logic is defined, where all of the upper bounds for instances of a theorem and its negation are guaranteed to eventually be listed. Based on this fuzzy logic, a complete version of fuzzy Prolog is defined. This fuzzy Prolog is then used to give some examples of fuzzy Prolog definitions of fuzzy concepts such as fuzzy linguistic variables, fuzzy modifiers, fuzzy quantifiers, and various kinds of fuzzy norms and conorms.<<ETX>>\",\"PeriodicalId\":153967,\"journal\":{\"name\":\"Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-06-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FUZZY.1994.343608\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FUZZY.1994.343608","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
From interval probability theory to computable fuzzy first-order logic and beyond
This paper first presents a simple explanation for the min/max bounds which are used in interval probability theory (IPT), possibility theory, fuzzy rough sets, and vague logic. Based on this definition, a computable version of first-order fuzzy logic is defined, where all of the upper bounds for instances of a theorem and its negation are guaranteed to eventually be listed. Based on this fuzzy logic, a complete version of fuzzy Prolog is defined. This fuzzy Prolog is then used to give some examples of fuzzy Prolog definitions of fuzzy concepts such as fuzzy linguistic variables, fuzzy modifiers, fuzzy quantifiers, and various kinds of fuzzy norms and conorms.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
