合并解释 swMATH ID: 24976 软件作者： Shchekotykhin，K.M.、Jannach，D.、Schmitz，T。 描述： MERGEXPLAIN：快速计算用于诊断的多个冲突。当目标是找到过度约束问题公式的松弛或解释时，尤其是在基于模型的诊断（MBD）方法的上下文中，计算最小冲突集是一项中心任务。本文提出了MERGEXPLAIN，这是一种非侵入式冲突检测算法，它实现了一种分治策略，将问题分解为一组较小的独立子问题。我们的技术允许我们在单个问题分解运行期间有效地确定多个最小冲突，这在MBD问题设置中特别有用。对各种基准问题的实证评估表明，我们的方法可以显著减少所需的诊断时间。 主页： https://dl.acm.org/citation.cfm？id=2832698 相关软件： 弹丸;OntoDebug（开始调试）;HermiT公司;Protege公司;故障电流互感器++;快速拉伸;ELK公司;俯冲;矿石 引用于： 3文件 2位作者引用 三 帕特里克·罗德勒 1 康斯坦丁·舍科提欣 连载1篇 2 人工智能 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文