MMJan, 2013

利用 ASP 生成和可视化论证框架

PDF
TL;DR本文提出了一个利用 ASP 构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合，第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具，而且还提供了一种新的通用的答案集可视化方法。
computational modelsargumentationinstantiation-basedanswer-set programmingvisualization
发现论文，激发创造
  • 利用答案集程序设计的技术提升抽象论证系统

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

    Aug, 2011

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

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

    Aug, 2021

  • 半抽象的基于价值的论证框架

    本文介绍了抽象论证框架、基于价值的论证框架、半抽象论证框架及其关键概念、映射函数和结论关系等内容，并展示了这些形式化工具在复杂道德困境中的应用。

    Sep, 2023

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

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

    Oct, 2023

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

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

    Apr, 2024

  • 针对抽象论证的改进答案集编程编码

    本文使用 ASP 系统 clingo 提供的条件量词的析取形式，提供了三种著名的辩论语义的新编码，这些编码不仅比以前的版本更简洁，而且在标准基准测试中也表现优异，从而为高级辩论系统的高效解决方案的设计提供了一步关键。

    Jul, 2015

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

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

    May, 2023

  • 基于扩展的抽象论证中首选项计算与验证方法

    我们提出了一种基于扩展的方法来计算和验证抽象论证系统中的偏好。我们的研究考虑了标准推理问题的逆，即在给定一个抽象论证框架和一组被证明的论证时，计算关于论证的所有可能偏好的方法和算法。我们证明了算法的正当性、完备性和终止性。该研究表明，偏好是在评估阶段（论证的可接受性）之后使用基于扩展的方法确定的，而不是事先声明的。我们的研究集中在基于地面、首选和稳定的语义上，我们发现计算偏好集的复杂度与论证数量呈指数关系，因此描述了一种近似方法和算法来计算偏好，并提供了验证所计算偏好的新算法。我们提供了算法的实施细节（源代码已提供）、用于评估算法的各种实验以及结果的分析。

    Mar, 2024

  • 通过抽象解释保留论证性多智能体中的语义结构

    本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework，这是解决动态 multi-agent 系统中的问题的一种方法。

    Nov, 2022

  • 论带有偏好的论证的一般做法

    该文以 ASPIC + 形式主义为基础，构建了带偏好的论证的通用框架，并通过改进定义冲突自由的论据集，适应更广泛的逻辑实例化需求。最后，该框架被表明适应塔斯基逻辑实例化并通过古典逻辑审视，证明了该框架的广泛性。

    Apr, 2018