引用本文:刘勇,胡宇鹏,李学庆.一种基于约束格维护概念模型一致性的方法[J].控制与决策,2020,35(2):367-374
【打印本页】   【HTML】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】 附件
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览次   下载 本文二维码信息
码上扫一扫!
分享到: 微信 更多
一种基于约束格维护概念模型一致性的方法
刘勇1,2, 胡宇鹏1, 李学庆1
(1. 山东大学计算机科学与技术学院,济南250101;2. 昌吉学院计算机工程系,新疆昌吉831100)
摘要:
针对以形式概念分析理论为基础的概念建模过程中知识表示存在差距的问题,提出一种整合专家知识到概念格结构中的形式化模型.首先,将一组属性依赖与概念格提供的一系列蕴涵对齐,对原始格进行修订,然后,通过使用外延投影建立约束格来提供变化轨迹,并在此基础上,提出基于形式概念分析约束格理论弥补这一差距的建模方法,以维护概念模型的一致性.该方法不仅提供了领域专家修订概念模型的途径,还保留了原始格和最终约束格之间的变化轨迹.通过这些变化,专家可以访问实践中的概念如何与数据自动发布的概念相关联.最后,结合示例对基于约束格维护概念模型一致性方法的有效性进行了验证.
关键词:  概念建模  形式概念分析  概念格  约束格  投影  依赖关系
DOI:10.13195/j.kzyjc.2018.0414
分类号:TP273
基金项目:山东省重点研发计划项目(2015GGX101009).
A method of maintaining consistency of conceptual model with constrained lattice
LIU Yong1,2,HU Yu-peng1,LI Xue-qing1
(1. School of Computer Science and Technology,Shandong University,Jinan250101,China;2. Department of Computer Engineering, Changji University,Changji831100,China)
Abstract:
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.
Key words:  conceptual modeling  formal concept analysis  concept lattice  constraint lattice  projection  dependency relationship

用微信扫一扫

用微信扫一扫