直观逻辑在答案集编程中的应用
摘要：应用中间逻辑在答案集编程（ASP）领域的一些应用 答案集语义、直觉主义和其他中间逻辑的简要而全面的介绍 讨论一些等价概念及其应用 展示一些中间逻辑结果，并应用于证明答案集的属性 通过直觉主义可证性提供关于具有嵌套表达式的逻辑程序的答案集的表征，推广了Pearce最新的结果 已知具有嵌套表达式的逻辑程序的答案集语义可能选择非最小模型。最小模型在某些应用中非常重要，因此我们对其进行了研究；特别是，我们以直觉主义逻辑的方式对答案集同时也是最小模型进行了表征。 我们展示了逻辑G3表征了在这些模型引起的语义下程序之间的强等价概念。 最后，我们讨论了我们结果的可能应用和影响。他们明确地阐述了ASP和中间逻辑之间的有趣联系，可能会使这两个领域的研究更加密切联系在一起。
作者：Mauricio Osorio, Juan Antonio Navarro and Jose Arrazola
论文ID：cs/0305046
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23