Answer set optimization (ASO) is a flexible framework for qualitative optimization in answer set programming (ASP). The ap proach uses a generating program to construct the space of problem solutions, and a preference program to assess the quality of solutions. In this short paper we generalize the approach by introducing aggregates in preference programs. This allows the user to express preferences which are based on minimization or maximization of some numerical criteria. We introduce the new language of preference programs, define its seman tics and give an example illustrating its use.
展开▼
机译:回答设置优化(ASO)是答案集编程(ASP)中的定性优化的灵活框架。 AP Proach使用生成程序来构建问题解决方案的空间,以及评估解决方案质量的偏好程序。在这篇短文中,我们通过在偏好计划中引入聚集体来概括方法。这允许用户表达基于最小化或最大化某些数值标准的偏好。我们介绍了新的首选项程序语言,定义了其Seman TICS,并举例说明其使用的示例。
展开▼