回答集编程中偏好处理的语义框架
人工智能
2007-05-23 v1
摘要
我们为回答集编程中的偏好处理提供了一个语义框架。为此，我们引入了偏好保持推论算子。由此产生的不动点刻画为我们提供了一个统一的语义框架，用于刻画现有方法中的偏好处理。尽管我们的方法可以通过交替不动点理论扩展到其他语义，但我们在此重点关注回答集语义下的偏好阐述。另外，我们展示了如何通过序保持的概念来刻画这些方法。这些统一的语义刻画为我们提供了关于相互关系以及实现方式的新见解。
引用
@article{arxiv.cs/0301023,
title = {A semantic framework for preference handling in answer set programming},
author = {Torsten Schaub and Kewen Wang},
journal= {arXiv preprint arXiv:cs/0301023},
year = {2007}
}
备注
39 pages. To appear in Theory and Practice of Logic Programming