基于多目标线性规划的本体冲突消除方法
来源：计算机应用与软件杂志2024年第2期北京时间：
作者：彭蔚, 吴茂念, 郝秀兰, 朱绍军, 郑博
摘要：针对本体逻辑冲突消除传统方法未充分利用本体逻辑性质的缺陷，引入Shapley值法刻画本体逻辑性质，构建基于多目标0-1整数线性规划的本体冲突消除方法，使用分层序列法求解多目标线性规划模型。其解遵循理性放弃原则，避免传统方法中目标权重的平均性或随机性。实验结果表明，采用该方法能够令解集遵循理性放弃原则的前提下，利用本体逻辑性质有效减少解集数量，从而提高决策效率。
关键词：本体, 逻辑冲突, 多目标整数线性规划, 最小不可满足子集, Shapley值法
