论文标题
抽象论证和答案集编程：尼尔森逻辑的两个面孔
Abstract argumentation and answer set programming: two faces of Nelson's logic
论文作者
论文摘要
在这项工作中，我们表明逻辑编程和抽象论证框架都可以用尼尔森的建设性逻辑N4来解释。我们通过在这一逻辑上形式化我们称之为非矛盾的推论并加强了封闭世界假设的两个原则来做到这一点：第一个国家可以基于矛盾的证据来保持任何信仰，而后者的力量既未知，也不是矛盾的证据被认为是错误的。使用这些原理，逻辑编程和抽象论证框架都以模块化方式和使用对象语言转换为建设性逻辑。在翻译中，逻辑编程的含义和抽象论证支持成为遵循非矛盾的推论原理的新含义结缔组织。然后，通过将这种新含义与强烈的否定相结合来代表攻击。在逻辑编程（TPLP）的理论和实践中考虑的。
In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson's constructive logic N4. We do so by formalizing, in this logic, two principles that we call non-contradictory inference and strengthened closed world assumption: the first states that no belief can be held based on contradictory evidence while the latter forces both unknown and contradictory evidence to be regarded as false. Using these principles, both logic programming and abstract argumentation frameworks are translated into constructive logic in a modular way and using the object language. Logic programming implication and abstract argumentation supports become, in the translation, a new implication connective following the non-contradictory inference principle. Attacks are then represented by combining this new implication with strong negation. Under consideration in Theory and Practice of Logic Programming (TPLP).
