一种基于约束格维护概念模型一致性的方法

摘要：

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

关键词：概念建模、形式概念分析、概念格、约束格、投影、依赖关系

所属期刊栏目：35

分类号：TP273(自动化技术及设备)

资助基金：山东省重点研发计划项目2015GGX101009

在线出版日期：2020-03-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：367-374