Preferred First-Order Answer Set Programs
Vernon Asuncion, Yan Zhang, Yi Zhou · ACM Transactions on Computational Logic · 2014
In this article, we consider the issue of how first-order answer set programs can be extended for handling preference reasoning. To this end, we propose a progression-based preference semantics for first-order answer set programs while explicit preference relations are presented. We study essential properties of the proposed preferred answer set semantics. To understand the expressiveness of preferred first-order answer set programming, we further specify a second-order logic representation which precisely characterizes the progression-based preference semantics.