计算机工程 ›› 2008, Vol. 34 ›› Issue (24): 16-18.doi: 10.3969/j.issn.1000-3428.2008.24.006

• 博士论文 • 上一篇    下一篇

基于复合粗算子的形式概念格

邱卫根1,2,张国导3   

  1. (1. 广东工业大学计算机学院,广州 510090;2. 清华大学计算机科学与技术系智能技术与系统国家重点实验室,北京 100084;3. 广州市白云行知职业技术学校,广州 510515)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-12-20 发布日期:2008-12-20

Formal Concept Lattice Based on Composition Rough Operator

QIU Wei-gen1,2, ZHANG Guo-dao3   

  1. (1. Computer Faculty, Guangdong University of Technology, Guangzhou 510090; 2. State Key Lab of Intelligent Tech. and System, Department of Computer Science and Technology, Tsinghua University, Beijing 100084;3. Guangzhou Baiyun Xingzhi College of Technology, Guangzhou 510515)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-12-20 Published:2008-12-20

摘要: 形式概念格和粗集理论作为人工智能领域的2种有效而重要的数学方法,为知识处理和数据分析提供了一系列代数工具。该文研究形式概念格的复合粗集表示方法,证明了概念的内涵和外延都是某复合粗近似算子的不动点。结果揭示了形式概念格与粗糙近似空间之间内在的密切联系,对完善概念格分析的数学模型具有一定的作用。

关键词: 复合粗算子, 形式概念格模型, 粗集理论, 不动点

Abstract: As two effective and important approaches from mathematic theory in artificial intelligence fields, the formal concept analysis and the rough set theory offers a serial of excellent algebraic tools for the data analysis and knowledge treatment. This paper studies the representation form of the concept lattice by the composition rough set, and proves that the concept intension and extension are respectively the fixed points of some composition rough approximate operators. The paper reveals the close inner relationships between the formal concept lattice and the rough approximate space, and it is useful to perfect the mathematic model of formal concept lattice.

Key words: composition rough operator, formal concept lattice model, rough sets theory, fixed point

中图分类号: