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

Knowledge model and its properties based on formal concept

基于形式概念分析理论以及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.