本杰明·安德烈斯;本杰明·考夫曼;奥利弗·马塞斯;托尔斯滕·绍布 基于不满意的卡环优化。 （英语） Zbl 1281.68204号 Dovier，Agostino（编辑）等人，第28届逻辑编程国际会议的技术交流（ICLP 2012），2012年9月4日至8日，匈牙利布达佩斯。论文基于会议上的陈述。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-43-9）。LIPIcs–莱布尼茨国际信息学会议录17，211-221，仅电子版（2012）。 摘要：答案集编程（ASP）具有基于分支定界算法的有效优化能力。与此不同，在可满足性测试（SAT）领域，发现最小不可满足核是解决最大可满足性（MaxSAT）问题的另一种方法。我们探索了在ASP环境下进行优化的替代方法。为此，我们基于最小不可满足核的计算，用优化组件扩展了ASP解算器卡环。生成的系统unclasp基于著名算法msu1和msu3的扩展，并根据ASP的特性进行了定制。我们针对现实的Linux软件包配置问题产生的多标准优化问题来评估我们的系统。事实上，基于ASP的Linux配置系统aspuncud依赖于uncasp，并在2011年MISC竞赛中赢得了七首曲目中的四首。关于整个系列，请参见[Zbl 1253.68010号]. 引用于27文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68T27型 人工智能中的逻辑 关键词：回答-编程;解算器 软件：芦笋 PDF格式BibTeX公司 XML格式引用 \textit{B.Andres}等人，LIPIcs——莱布尼茨国际程序。通知。17、211-221（2012；Zbl 1281.68204） 全文： 内政部