{"title":"模糊范式对知识表示的影响","authors":"I. Turksen","doi":"10.1109/FUZZY.1994.343540","DOIUrl":null,"url":null,"abstract":"Fuzzy normal forms can be generated with an application of \"Normal Form Generation Algorithm\" on fuzzy truth tables. This takes place at the third level of knowledge representation, i.e., propositional level. It is shown that at least three distinct sets of normal forms can be generated depending on the axioms one is willing to impose on the propositional fuzzy set and logic theories. All are conjunctive-disjunctive and complement based De Morgan logics with the following three classes of axioms that identify each general class of fuzzy normal forms in order of least to most restrictive set of axioms in the following sense: 1) boundary and monotonicity; 2) boundary, monotonicity, associativity and commutativity; and 3) boundary, monotonicity, associativity, commutativity and idempotency.<<ETX>>","PeriodicalId":153967,"journal":{"name":"Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference","volume":"90 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Impact of fuzzy normal forms on knowledge representation\",\"authors\":\"I. Turksen\",\"doi\":\"10.1109/FUZZY.1994.343540\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Fuzzy normal forms can be generated with an application of \\\"Normal Form Generation Algorithm\\\" on fuzzy truth tables. This takes place at the third level of knowledge representation, i.e., propositional level. It is shown that at least three distinct sets of normal forms can be generated depending on the axioms one is willing to impose on the propositional fuzzy set and logic theories. All are conjunctive-disjunctive and complement based De Morgan logics with the following three classes of axioms that identify each general class of fuzzy normal forms in order of least to most restrictive set of axioms in the following sense: 1) boundary and monotonicity; 2) boundary, monotonicity, associativity and commutativity; and 3) boundary, monotonicity, associativity, commutativity and idempotency.<<ETX>>\",\"PeriodicalId\":153967,\"journal\":{\"name\":\"Proceedings of 1994 IEEE 3rd International Fuzzy Systems Conference\",\"volume\":\"90 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-06-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"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.343540\",\"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.343540","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Impact of fuzzy normal forms on knowledge representation
Fuzzy normal forms can be generated with an application of "Normal Form Generation Algorithm" on fuzzy truth tables. This takes place at the third level of knowledge representation, i.e., propositional level. It is shown that at least three distinct sets of normal forms can be generated depending on the axioms one is willing to impose on the propositional fuzzy set and logic theories. All are conjunctive-disjunctive and complement based De Morgan logics with the following three classes of axioms that identify each general class of fuzzy normal forms in order of least to most restrictive set of axioms in the following sense: 1) boundary and monotonicity; 2) boundary, monotonicity, associativity and commutativity; and 3) boundary, monotonicity, associativity, commutativity and idempotency.<>