摘要
概念格是数据分析和知识表示的一种有效工具。研究概念格的公理化问题。得到了两组关于概念格的公理组,且每组含有六个独立的公理。公理化的研究有助于概念格理论的进一步完善。
Concept lattice is a useful tool for representation and analysis of data.The axioms for characterizing the concept lattice are given.Two groups of axioms that contain six independent axioms for the concept lattice are presented.The research is helpful to the theory of concept lattices.
出处
《计算机工程与应用》
CSCD
2012年第5期41-43,共3页
Computer Engineering and Applications
基金
国家自然科学基金(No.10971186)
漳州师范学院科学研究资助项目(No.SK09015)
关键词
概念格
形式背景
公理组
concept lattice
formal concept
axioms