基于形式概念的知识模型及其性质  

Knowledge model and its properties based on formal concept

作　　者：赵健[1,2] 刘磊[1] 丁蕾[3] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]长春工程学院软件学院,长春130012 [3]沈阳工业大学理学院,沈阳110870

出　　处：《吉林大学学报（工学版）》2011年第3期745-749,共5页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(60873044)

摘　　要：基于形式概念分析理论以及Galois连接对概念与概念之间的关联和演化进行形式化描述,构造了以形式概念射族为基本单元的概念空间,以及蕴含概念之间互操作规则和逻辑的环境空间,证明了环境空间的完备性,并研究了概念空间的基本性质。该理论为以概念为核心的复杂系统的演化分析及本体工程中知识演化研究提供了参考。Formal concept analysis theory and Galois connection are adopted for formal descriptions of concepts and interconnection along with evolvement between concepts. Concept space is constructed by employing formal concept mapping family as basic elements, researching the basic properties of concept space. Environmental space is also constructed, which contains concept interoperability rules and logic, proving the integrality of the environmental space. The theory mentioned fits into the evolvement analysis, which is based on a complex system centering on concepts, and offers consultable model to evolvement analysis of knowledge that are for ontology engineering and other methods.

关 键 词：计算机软件 形式概念分析 概念空间 环境空间 概念射族 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]