{"title":"模糊概念算子的公理化方法","authors":"Xiaoxue Song, Xia Wang, Wenxiu Zhang","doi":"10.1109/ICMLC.2012.6358920","DOIUrl":null,"url":null,"abstract":"In formal concept analysis, various fuzzy generalizations of formal concepts have been made. The fuzzy concept operators defined under the condition that the truth values (degrees) coming from a complete residuated lattice satisfy many interesting properties. Conversely, fuzzy concept operators can be characterized in terms of their properties. In this paper, the axiomatic approaches in the theory of fuzzy formal concept analysis based on a complete residuated lattice are presented. In the axiomatic approach, the fuzzy conceptual knowledge system is defined, and axiom sets satisfied by the fuzzy conceptual knowledge system are stated. It is proved that axioms of the fuzzy conceptual knowledge system guarantee the existence of certain types of binary fuzzy relations producing the same fuzzy formal concepts. The independence of axiom sets characterizing the fuzzy conceptual knowledge system is examined.","PeriodicalId":128006,"journal":{"name":"2012 International Conference on Machine Learning and Cybernetics","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Axiomatic approaches of fuzzy concept operators\",\"authors\":\"Xiaoxue Song, Xia Wang, Wenxiu Zhang\",\"doi\":\"10.1109/ICMLC.2012.6358920\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In formal concept analysis, various fuzzy generalizations of formal concepts have been made. The fuzzy concept operators defined under the condition that the truth values (degrees) coming from a complete residuated lattice satisfy many interesting properties. Conversely, fuzzy concept operators can be characterized in terms of their properties. In this paper, the axiomatic approaches in the theory of fuzzy formal concept analysis based on a complete residuated lattice are presented. In the axiomatic approach, the fuzzy conceptual knowledge system is defined, and axiom sets satisfied by the fuzzy conceptual knowledge system are stated. It is proved that axioms of the fuzzy conceptual knowledge system guarantee the existence of certain types of binary fuzzy relations producing the same fuzzy formal concepts. The independence of axiom sets characterizing the fuzzy conceptual knowledge system is examined.\",\"PeriodicalId\":128006,\"journal\":{\"name\":\"2012 International Conference on Machine Learning and Cybernetics\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-07-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2012 International Conference on Machine Learning and Cybernetics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICMLC.2012.6358920\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2012 International Conference on Machine Learning and Cybernetics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICMLC.2012.6358920","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
In formal concept analysis, various fuzzy generalizations of formal concepts have been made. The fuzzy concept operators defined under the condition that the truth values (degrees) coming from a complete residuated lattice satisfy many interesting properties. Conversely, fuzzy concept operators can be characterized in terms of their properties. In this paper, the axiomatic approaches in the theory of fuzzy formal concept analysis based on a complete residuated lattice are presented. In the axiomatic approach, the fuzzy conceptual knowledge system is defined, and axiom sets satisfied by the fuzzy conceptual knowledge system are stated. It is proved that axioms of the fuzzy conceptual knowledge system guarantee the existence of certain types of binary fuzzy relations producing the same fuzzy formal concepts. The independence of axiom sets characterizing the fuzzy conceptual knowledge system is examined.