Affiliations: [a] College of Computer & Communication Engineering, China University of Petroleum, Qingdao, Shandong, P. R. China | [b] School of Mathematics, Physics and Information Science, Zhejiang Ocean University, Zhoushan, Zhejiang, P. R. China | [c] Department of Mathematics, Bohai University, Jinzhou, P. R. China
Correspondence:
[*]
Corresponding author. College of Computer & Communication Engineering, China University of Petroleum, Qingdao, Shandong, 266580, P. R. China. E-mails: [email protected], [email protected]
Abstract: There are mainly two classes of approaches in the studies of Formal Concept Analysis (FCA), i.e. the constructive and axiomatic approaches. In axiomatic approach, operators are interpreted by using operations in mathematical systems instead of operations in a formal context. Seeking for minimal axioms to characterize the concept generation operators is an important issue in the research of the axiomatic approach. In this paper, axiomatic characterizations of set-theoretic operators are investigated. We construct an adjoint generalized (dual) concept systems in which the pair of classical concept generation operators are represented by one set-theoretic operator, and the other operator can be obtained from the former. Compared with the previous methods, the proposed generalized (dual) concept systems have fewer axioms and is easy to verify. Some properties of adjoint generalized (dual) concept systems are examined.
