逻辑程序中编译偏好框架

我们引入了一种方法和框架，用于在答案集语义下表达通用偏好信息。有序逻辑程序是一种扩展逻辑程序，其中规则由唯一术语命名，且规则之间的偏好由形式为 s < t 的原子集合表示，其中 s 和 t 是名称。有序逻辑程序被转换为第二种常规扩展逻辑程序，其中偏好被尊重，即转换后程序得到的答案集对应于原始程序的首选答案集。我们的做法允许在程序中任意位置指定动态排序，其中偏好可以出现在程序中。静态排序（其中偏好位于逻辑程序之外）是通用动态情况的一个平凡限制。首先，我们发展出一种基于偏好排序指定规则应用顺序的推理方法。随后通过展示其他方法（包括 Brewka 和 Eiter 方法）可被纳入我们框架的方式，显示我们框架的广泛适用性。由于这些转换的结果是扩展逻辑程序，我们可以使用 dlv 和 smodels 等现有实现。为此，我们开发了一个可公开获取的编译器作为这些编程系统的前端。