捕捉衔尾蛇：关于非地面飞行器集计划
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
摘要：
一个重要的问题，以更广泛地接受答案集编程（ASP）是部署的工具，支持程序员在编码阶段。特别是，调试答案集程序的方法被认为是这方面的关键步骤。ASP中调试的最初工作主要集中在命题程序上，但实际的调试器也需要处理带有变量的程序。在本文中，我们讨论了一种调试技术，是直接面向非地面程序。根据以前的工作，我们解决了中央调试问题，为什么一些解释不是答案集。我们的方法提供的解释计算的元编程技术的装置，使用一个统一的编码的调试请求方面的ASP本身。我们的方法还允许程序包含比较谓词和整数算术，从而涵盖了所有国家的最先进的ASP求解器通常支持的相关语言类。
英文摘要：
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods for debugging an answer-set program are recognised as a crucial step in this regard. Initial work on debugging in ASP mainly focused on propositional programs, yet practical debuggers need to handle programs with variables as well. In this paper, we discuss a debugging technique that is directly geared towards non-ground programs. Following previous work, we address the central debugging question why some interpretation is not an answer set. The explanations provided by our method are computed by means of a meta-programming technique, using a uniform encoding of a debugging request in terms of ASP itself. Our method also permits programs containing comparison predicates and integer arithmetics, thus covering a relevant language class commonly supported by all state-of-the-art ASP solvers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
