摘要
针对以形式概念分析理论为基础的概念建模过程中知识表示存在差距的问题,提出一种整合专家知识到概念格结构中的形式化模型.首先,将一组属性依赖与概念格提供的一系列蕴涵对齐,对原始格进行修订,然后,通过使用外延投影建立约束格来提供变化轨迹,并在此基础上,提出基于形式概念分析约束格理论弥补这一差距的建模方法,以维护概念模型的一致性.该方法不仅提供了领域专家修订概念模型的途径,还保留了原始格和最终约束格之间的变化轨迹.通过这些变化,专家可以访问实践中的概念如何与数据自动发布的概念相关联.最后,结合示例对基于约束格维护概念模型一致性方法的有效性进行了验证.
In order to make up for the gap in knowledge representation in the process of concept modeling based on the formal concept analysis theory,a formal model of integrating expert knowledge into concept lattice structure is proposed.Firstly,the original lattice is revised by aligning a set of attribute dependencies with a set of implications provided by the concept lattice.Then,the constraint lattice is created by using the extent projection to provide change traces.On this basis,this paper proposes a modeling method based on the formal concept analysis constraint lattice theory to bridge this gap,so as to maintain the consistency of the conceptual model.This method not only provides a way for domain experts to revise the conceptual model,but also retains the traces of changes between the original lattice and the final constraint lattice.Through these changes,experts can track how the concept of the real world is associated with the concept of automatic derivation.Finally,examples are given to illustrate the effectiveness of the method to maintain the consistency of the conceptual model based on constraint lattice.
作者
刘勇
胡宇鹏
李学庆
LIU Yong;HU Yu-peng;LI Xue-qing(School of Computer Science and Technology,Shandong University,Jinan 250101,China;Department of Computer Engineering,Changji University,Changji 831100,China)
出处
《控制与决策》
EI
CSCD
北大核心
2020年第2期367-374,共8页
Control and Decision
基金
山东省重点研发计划项目(2015GGX101009).
关键词
概念建模
形式概念分析
概念格
约束格
投影
依赖关系
conceptual modeling
formal concept analysis
concept lattice
constraint lattice
projection
dependency relationship
作者简介
刘勇(1974-),男,副教授,博士,从事智能信息处理、知识工程及其应用等研究,E-mail:liuyong@sdu.edu.cn;胡宇鹏(1983-),男,讲师,博士,从事知识工程、软件工程等研究,E-mail:huyupeng@sdu.edu.cn;通讯作者:李学庆(1964-),男,教授,博士生导师,从事软件工程、知识工程和人机交互与虚拟现实等研究,E-mail:xqli@sdu.edu.cn.
