MMMar, 2022

抽象论证和答案集编程：纳尔逊逻辑的两面

PDF
TL;DR本文提出非矛盾推理与强化封闭世界假设两个原则，将逻辑编程和抽象论证框架都用 Nelson 构造逻辑 N4 予以说明，并将它们以一种模块化的方式翻译成构造逻辑，从而形成一种新的蕴涵连接，支持攻击表示通过将这个新的蕴涵与强否定相结合。
logic programmingabstract argumentation frameworksnelson's constructive logic n4non-contradictory inference principleclosed world assumption
发现论文，激发创造
  • 论证和逻辑编程中的诱导和对话证明

    本文研究抽象论证中的绑架模型，提出了基于对话证明理论的决策问题解决方案，并展示了如何基于绑定逻辑程序来实现该模型。

    Jul, 2014

  • 学习基于假设的论证框架

    本文提出了一种基于逻辑的学习方法，通过利用给定的背景知识从正负样例中生成基于假设的辩证框架，并将这些框架映射到可能是非分层的失败否定的逻辑程序。该方法通过采用转换规则来处理常规规则的例外，其中包括一些从逻辑程序转换规则改编的规则，例如折叠，以及类似于背诵学习和假设引入的其他规则。我们提出了一个应用这些转换规则学习分层框架的通用策略，并还提出了一种处理非分层情况的变体。通过多个示例，我们展示了此方法的优点。

    May, 2023

  • （扩展）分离逻辑程序的论证特征

    该论文研究了论证理论，尤其是基于假设的论证和不同类型的逻辑程序之间的关系，并通过展示基于假设的论证不仅可以表示普通逻辑程序，而且可以表示否定逻辑程序及其扩展，扩展了 Caminada，Schultz 和 Toni 的已有研究结果。

    Jun, 2023

  • 关于非平坦的基于假设的论证和包含失败否定的逻辑规划的对应关系

    通过对非平面 ABA 的扩展，我们建立了假设为 LP 中的不可行否定的稳定模型语义，以及在 LP 中的否定失效头部的集合稳定 ABA 语义之间的对应关系。

    May, 2024

  • 攻击作为强否定，第一部分

    使用强否定来加强经典逻辑，并使用其解释攻击关系，使之与论证相关 $(x o Ny)$ 的一个对应物，对每个论证网络编写一个相应的对象级别（只使用 $N$）的经典理论，并表明该理论的经典模型与完整扩展的论证网络完全对应。通过实例证明了这种方法简化了对抽象论证网络的研究清理。同时，将此方法与把抽象论证网络翻译成逻辑的其他方法进行了比较，如使用经典谓词逻辑或模态逻辑、逻辑编程，并将其与抽象辩证框架进行比较。

    Jun, 2015

  • 基于良基语义和广义稳定模型的绑架

    本文介绍了一个将表扬逻辑编程与表格逻辑编程结合的方法，可以在显式否定和答案集的情况下计算基于显式否定和答案集的抽象，同时提供了一个用于评估查询的新型表格方法。

    Dec, 2003

  • 抽象论证框架语义：逻辑编程方法

    本研究探讨了基于 Argumentation Framework 的框架和 Partial Stable Models 之间的关系，证明每个基于 AF 的框架 Delta 都可以被翻译成一个逻辑程序 P_Delta，而不同的 Delta 语义扩展可以对应于 P_Delta 的不同 PSM 子集。该研究为新的基于 AF 的框架的语义定义提供了可能性，例如带有递归攻击和递归演绎支持的 AFs。

    Aug, 2020

  • 可否推翻的逻辑编程：一种论证方法

    这篇论文介绍了一种名为 Defeasible Logic Programming（DeLP）的形式化方法，它将 Logic Programming 和 Defeasible Argumentation 的结果结合起来，提供了一种在动态领域中处理不完整和矛盾信息的代理人知识表示和基于论证的推理机制。

    Feb, 2003

  • 利用答案集程序设计的技术提升抽象论证系统

    本文通过实验比较了原有编码与新的 metasp 编码，提供了最近引入的基于解析的基础语义的新编码，结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。

    Aug, 2011

  • 学习论证语义的统一框架

    本文介绍了一个新颖的框架，使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估，我们证明了我们的框架胜过现有的论证求解器，从而在形式论证和人机对话领域开启了新的未来研究方向。

    Oct, 2023