控制与决策

作者：刘勇,胡宇鹏,李学庆

单位：山东大学计算机科学与技术学院，济南250101;昌吉学院计算机工程系，新疆昌吉831100,,山东大学计算机科学与技术学院，济南250101,,山东大学计算机科学与技术学院，济南250101,

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

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

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

来源：2020年第2期

《控制与决策》期刊编辑部

查看控制与决策杂志2020年第2期