Mar, 2016

非单调推理的 ABA + 特性

PDF
TL;DR我们研究 ABA + 的性质，ABA + 是一个扩展了假设为基础的论证（ABA）的形式化，具有偏好处理机制。我们确定了 ABA + 语义表现出的理想特性，这为 ABA + 在论证和非单调推理中满足一些（可以说是）理想的偏好处理原则以及 ABA + 的非单调推理性质奠定了基础。
发现论文，激发创造
  • 具有偏好的基于假设的论证

    提出 ABA+，一种新的处理偏好的结构化论证形式，通过直接将关于假设的偏好信息纳入攻击关系中，实现攻击反转。ABA + 保守地扩展了 ABA，并在论证语义与偏好处理之间展现了各种理想的特性。我们还介绍了 “弱逆否命题” 原则，涉及具有规则和偏好的推理，放松了逆否命题的标准原则，同时保证了 ABA + 的额外理想特性。

    Oct, 2016

  • 非扁平假设为基础的论证的实例化和计算方面

    该研究通过使用 ABA 和 BAF 之间的翻译，提出了一种基于实例的方法来推理非平坦的 ABA，并通过识别冗余参数的三种方式来降低计算成本。实证评估表明，这种方法在许多情况下胜过不构建参数的方法，反映了 BAF 推理的复杂度较低。

    Apr, 2024

  • 非扁平 ABA 是二极心论的一个实例

    本文提出了一种双极 AF 语义，借鉴了推理支持的概念，用于实例化 general ABAFs 概念，并证明了在此概念下具有所需的关系。

    May, 2023

  • 非单调推理、偏好模型和累积逻辑

    本文研究了非单调推理的一般模式，并试图通过参考积极属性来绘制非单调推理领域的地图，其中集中关注一些非单调推理的后果关系，并定义和表征了五个这样的后果关系家族。

    Feb, 2002

  • 利用增量式答案集求解在基于假设的论证中进行推理

    本文研究了基于假设的论证（ABA）中逻辑编程碎片中比第二层多项式分层难度的理性推理和优先推理问题的有效算法，利用增量 ASP 求解器中的非平凡反例引导的抽象精化程序。

    Aug, 2021

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

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

    May, 2024

  • 在真实世界的环境中，使用可辩证论证和数量数据进行比较和扩展

    本研究选择计算可信度作为应用领域，评估了异议论证推理的推理能力，并将其与模糊推理和专家系统进行了比较。结果表明，与基线相比，基于异议论证的模型表现更为稳健。这项研究扩展了先前工作，从而提高了异议论证作为处理数据和知识不确定性的一种复杂方法的普适性。

    Jun, 2022

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

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

    May, 2023

  • 基于 ASP 的 ABA 学习

    最近，提出了 ABA 学习作为一种从背景知识、正负样本中绘制基于假设的论证框架的符号机器学习方法。我们提出了一种使用答案集规划来实现 ABA 学习的新方法，以帮助指导 ABA 学习中的死记硬背和泛化。

    Aug, 2023

  • 非单调因果理论中的行动概率推理

    该研究提出了一种关于动作的概率推理语言 {m P}{cal C}+，是动作语言 {cal C}+ 的一种推广形式，能够处理行为的概率和不确定性影响，并利用历史和信念状态的概念，简明地阐述了该形式主要研究内容。

    Oct, 2012