本文提出了一种新的辩护关系和辩护图的概念,基于辩护语义,定义了两种接受论点的原因,即直接原因和根本原因,介绍了辩证汇总中根等价的概念。
Apr, 2017
本研究探讨了基于 Argumentation Framework 的框架和 Partial Stable Models 之间的关系,证明每个基于 AF 的框架 Delta 都可以被翻译成一个逻辑程序 P_Delta,而不同的 Delta 语义扩展可以对应于 P_Delta 的不同 PSM 子集。该研究为新的基于 AF 的框架的语义定义提供了可能性,例如带有递归攻击和递归演绎支持的 AFs。
Aug, 2020
本研究提出了一种基于原则的方法来探究 Argumentation Frameworks with Collective Attacks (SETAFs) 的语义,并提供了常见原则的综合概述,利用所得结果为增量计算提供了新的可行性结果。
May, 2022
本文介绍了抽象论证框架、基于价值的论证框架、半抽象论证框架及其关键概念、映射函数和结论关系等内容,并展示了这些形式化工具在复杂道德困境中的应用。
Sep, 2023
本文致力于研究基于强度的论证框架中附加性的新义和双扩展的计算方法,提出了基于伪布尔约束的新的求解方法,并进行模拟实验,证明了该方法可行且可扩展。
Jul, 2022
本文报道了一项经验认知研究,该研究提出了 12 个抽象论证框架,旨在比较不同的论证语义在人类论证评估中的有效性,结果表明基于场景语境和 CF2 语义的抽象论证语义最能符合人类论证评估行为。
Feb, 2019
本文介绍了一种名为 AFRA 的正式要素,它涵盖了论证框架内无限递归攻击的基本要求,并提供了具体的例子和与其他递归攻击形式化的详细比较。
Oct, 2018
本文介绍了一个新颖的框架,使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估,我们证明了我们的框架胜过现有的论证求解器,从而在形式论证和人机对话领域开启了新的未来研究方向。
Oct, 2023
本研究针对一种名为 ADFs 的论证框架,提出 ADF^ +,实现与 NLP 的语义等价,并定义了一种新的 ADF^ + 语义用于 nlp 的 L-stable 语义的等价。
Jul, 2019
本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework,这是解决动态 multi-agent 系统中的问题的一种方法。
Nov, 2022