asprin: Customizing Answer Set Preferences without a Headache
asprin: Customizing Answer Set Preferences without a Headache
复制标题
阿司匹林：轻松自定义答案集首选项
DOI：
10.1609/aaai.v29i1.9398
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Torsten Schaub
中科院分区：
文献类型：
--
作者：
G. Brewka;J. Delgrande;J. Romero;Torsten Schaub
在本文中，我们描述asprin，一个通用的，灵活的，可扩展的框架，用于处理偏好之间的稳定模型的逻辑程序。我们展示了如何通过用户定义的偏好类型及其参数来指定复杂的偏好关系。我们描述了如何偏好规范处理内部所谓的偏好程序，这是用于优势测试。我们还给出了算法计算一个，或所有，最佳稳定模型的逻辑程序。值得注意的是，我们的算法依赖于优势测试的复杂性，并利用多镜头答案集求解技术。
In this paper we describe asprin, a general, flexible, and extensible framework for handling preferences among the stable models of a logic program. We show how complex preference relations can be specified through user-defined preference types and their arguments. We describe how preference specifications are handled internally by so-called preference programs, which are used for dominance testing. We also give algorithms for computing one, or all, optimal stable models of a logic program. Notably, our algorithms depend on the complexity of the dominance tests and make use of multi-shot answer set solving technology.