HgMUS公司 swMATH ID: 40121 软件作者： Arif，M.Fareed；卡洛斯·门西娅（Carlos Mencía）；若昂·西尔瓦侯爵 描述： Horn公式的有效MUS枚举及其公理精确定位应用。最小不可满足子集（MUS）的枚举发现了越来越多的实际应用，其中包括广泛的诊断问题。作为一个具体的例子，描述逻辑EL族中的公理精确定位问题可以建模为Horn公式的群MUS的枚举。反过来，EL系列DL的公理精确定位找到了重要的应用程序，例如调试医学本体，其中SNOMED CT是最著名的示例。本文的主要贡献是为Horn公式开发了一个高效的群-MUS枚举器HGMUS，该枚举器可直接应用于DL的EL族的公理精确定位。在开发HGMUS的过程中，本文还确定了现有解决方案的性能瓶颈。当Horn公式的组MUS枚举所针对的问题域是DL的EL族的公理精确定位时，新算法被证明优于所有替代方法，其中一组具有代表性的例子取自不同的医学本体。 主页： https://arxiv.org/abs/1505.04365 相关软件： 信标;勒图尔;ELK公司;CEL公司;EL2MCS公司;只是;PULi公司;GOSDT公司;形状;AIspace公司;J工具;信息技术产业;MediBoost公司;PyDL8.5型;PMLB公司;PySAT公司;4.5条;Scikit公司;UCI-毫升;探测日志 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Horn公式的有效MUS枚举及其公理精确定位应用。 Zbl 1471.68173号阿里夫·M·法里德;卡洛斯·门西娅;若昂·西尔瓦侯爵 2015 全部的 前5名13位作者引用 4 若昂·席尔瓦侯爵。 三 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 三 卡洛斯·门西娅 三 拉斐尔·佩尼亚洛萨 2 阿里夫·M·法里德 1 尼科尔·比多特 1 塞兰、伊斯梅尔·伊尔坎 1 亚辛·伊扎 1 马，岳 1 诺伯特·曼恩 1 马蒂亚斯·蒂姆 1 约翰·彼得·沃纳 1 杨辉 3篇连载文章中引用 1 人工智能 1 自动推理杂志 1 人工智能研究杂志 在2个字段中引用 7 计算机科学（68至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文