通过交替不动点实现逻辑编程的优选良基语义：初步报告

我们分析了在基于交替不动点理论的通用框架内为有序逻辑程序定义良基语义的问题。我们首先表明，现有的答案集方法对偏好的推广在良基语义的设置中过于薄弱。然后，我们指定了一些非正式但直观的标准，并提出了一个更适合为有序逻辑程序定义良基语义的偏好处理语义框架。新方法的适用性通过我们的语义满足许多有吸引力的性质这一事实得到证实。特别是，我们的语义相对于各种现有的答案集语义仍然是正确的，同时成功地克服了它们推广到良基语义时的弱点。最后，我们指出了如何在我们的语义框架内捕获现有的优选良基语义。