计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (5): 41-43.

• 研究、探讨 • 上一篇    下一篇

概念格的公理化

陈锦坤,李进金   

  1. 漳州师范学院 数学与信息科学系,福建 漳州 363000
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2012-02-11 发布日期:2012-02-11

Axiomatization of concept lattice

CHEN Jinkun, LI Jinjin   

  1. Department of Mathematics and Information Science, Zhangzhou Normal University, Zhangzhou, Fujian 363000, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2012-02-11 Published:2012-02-11

摘要: 概念格是数据分析和知识表示的一种有效工具。研究概念格的公理化问题。得到了两组关于概念格的公理组,且每组含有六个独立的公理。公理化的研究有助于概念格理论的进一步完善。

关键词: 概念格, 形式背景, 公理组

Abstract: 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.

Key words: concept lattice, formal concept, axioms