I. Turksen, A. Esper, K. Patel, S. Starks, V. Kreinovich
{"title":"从DNF-CNF区间选择一个模糊逻辑运算:产生的运算有多实用?","authors":"I. Turksen, A. Esper, K. Patel, S. Starks, V. Kreinovich","doi":"10.1109/NAFIPS.2002.1018025","DOIUrl":null,"url":null,"abstract":"In classical (two-valued) logic, CNF and DNF forms of each propositional formula are equivalent to each other. In fuzzy logic, CNF and DNF forms are not equivalent, they form an interval that contains the fuzzy values of all classically equivalent propositional formulas. If we want to select a single value from this interval, then it is natural to select a linear combination of the interval's endpoints. In particular, we can do that for CNF and DNF forms of \"and\" and \"or\", thus designing natural fuzzy analogues of classical \"and\" and \"or\" operations. The problem with thus selected \"and\" and \"or\" operations is that, contrary to common sense expectations, they are not associative. We show the largest possible value of the corresponding non-associativity is reasonably small and thus, this non-associativity does not make these operations impractical.","PeriodicalId":348314,"journal":{"name":"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Selecting a fuzzy logic operation from the DNF-CNF interval: how practical are the resulting operations?\",\"authors\":\"I. Turksen, A. Esper, K. Patel, S. Starks, V. Kreinovich\",\"doi\":\"10.1109/NAFIPS.2002.1018025\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In classical (two-valued) logic, CNF and DNF forms of each propositional formula are equivalent to each other. In fuzzy logic, CNF and DNF forms are not equivalent, they form an interval that contains the fuzzy values of all classically equivalent propositional formulas. If we want to select a single value from this interval, then it is natural to select a linear combination of the interval's endpoints. In particular, we can do that for CNF and DNF forms of \\\"and\\\" and \\\"or\\\", thus designing natural fuzzy analogues of classical \\\"and\\\" and \\\"or\\\" operations. The problem with thus selected \\\"and\\\" and \\\"or\\\" operations is that, contrary to common sense expectations, they are not associative. We show the largest possible value of the corresponding non-associativity is reasonably small and thus, this non-associativity does not make these operations impractical.\",\"PeriodicalId\":348314,\"journal\":{\"name\":\"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)\",\"volume\":\"40 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-08-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NAFIPS.2002.1018025\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2002 Annual Meeting of the North American Fuzzy Information Processing Society Proceedings. NAFIPS-FLINT 2002 (Cat. No. 02TH8622)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NAFIPS.2002.1018025","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Selecting a fuzzy logic operation from the DNF-CNF interval: how practical are the resulting operations?
In classical (two-valued) logic, CNF and DNF forms of each propositional formula are equivalent to each other. In fuzzy logic, CNF and DNF forms are not equivalent, they form an interval that contains the fuzzy values of all classically equivalent propositional formulas. If we want to select a single value from this interval, then it is natural to select a linear combination of the interval's endpoints. In particular, we can do that for CNF and DNF forms of "and" and "or", thus designing natural fuzzy analogues of classical "and" and "or" operations. The problem with thus selected "and" and "or" operations is that, contrary to common sense expectations, they are not associative. We show the largest possible value of the corresponding non-associativity is reasonably small and thus, this non-associativity does not make these operations impractical.