一种基于约束格维护概念模型一致性的方法
CSTR:
作者:
作者单位:

(1. 山东大学计算机科学与技术学院,济南250101;2. 昌吉学院计算机工程系,新疆昌吉831100)

作者简介:

通讯作者:

E-mail: xqli@sdu.edu.cn.

中图分类号:

TP273

基金项目:

山东省重点研发计划项目(2015GGX101009).


A method of maintaining consistency of conceptual model with constrained lattice
Author:
Affiliation:

(1. School of Computer Science and Technology,Shandong University,Jinan250101,China;2. Department of Computer Engineering, Changji University,Changji831100,China)

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对以形式概念分析理论为基础的概念建模过程中知识表示存在差距的问题,提出一种整合专家知识到概念格结构中的形式化模型.首先,将一组属性依赖与概念格提供的一系列蕴涵对齐,对原始格进行修订,然后,通过使用外延投影建立约束格来提供变化轨迹,并在此基础上,提出基于形式概念分析约束格理论弥补这一差距的建模方法,以维护概念模型的一致性.该方法不仅提供了领域专家修订概念模型的途径,还保留了原始格和最终约束格之间的变化轨迹.通过这些变化,专家可以访问实践中的概念如何与数据自动发布的概念相关联.最后,结合示例对基于约束格维护概念模型一致性方法的有效性进行了验证.

    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.

    参考文献
    相似文献
    引证文献
引用本文

刘勇,胡宇鹏,李学庆.一种基于约束格维护概念模型一致性的方法[J].控制与决策,2020,35(2):367-374

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2020-01-18
  • 出版日期:
文章二维码