带编译偏好的逻辑程序
人工智能
2007-05-23 v1
摘要
我们描述了一种在答案集语义下将偏好编译到逻辑程序中的方法。有序逻辑程序是一种扩展逻辑程序，其中规则以唯一术语命名，偏好由一组专用原子表示。将有序逻辑程序转化为空的、常规的扩展逻辑程序，其中偏好得以尊重，即转换后的理论得到的答案集对应于原始理论的受偏好约束的答案集。我们的做法既允许指定静态排序（如大多数前期工作中所见），其中偏好位于逻辑程序之外，也允许对规则集合进行排序。因此，我们主要关注描述一种统一方法，用于在逻辑程序中均匀地包含偏好信息。由于我们的翻译结果是扩展逻辑程序，我们可以利用现有的实现，如 dlv 和 smodels。为此，我们开发了一个可在网上获得的编译器，作为这些编程系统的前端。
引用
@article{arxiv.cs/0003028,
title = {Logic Programs with Compiled Preferences},
author = {James P. Delgrande and Torsten Schaub and Hans Tompits},
journal= {arXiv preprint arXiv:cs/0003028},
year = {2007}
}