我们提出了一种新的高效解决抽象论证中出现的重要计算问题的方法,该方法利用目前已知的针对受限碎片的算法,计算成本随着碎片之间的距离而扩展,从而逐渐增加可处理的碎片,我们发现某些可处理的碎片可进行扩展,而其他碎片则不支持扩展,对于一些拓扑结构良好的抽象论证碎片,它们的问题在某些参数中是可以高效处理的。我们采用广泛的设置并考虑了几种不同的语义,为算法结果利用最新的固定参数可跟踪性方面的发展。
Apr, 2011
本文研究了抽象论证系统中一种特定的添加新论点的变化,探讨了这种变化对于该论证系统中扩展集合的影响,基于集合基数和包含关系定义了几个结构属性,还提出了一些基于特定论点状态变化的属性,研究了这些属性在两种特定语义下的可行性和优越性。
Jan, 2014
本文提出了一个综合性研究,通过对排名语义进行比较和评估,在现有的语义之间揭示了行为差异,以期为论证的过程提供更清晰的指导。
Feb, 2016
本研究探讨了利用模型检查的方式研究抽象概念来简化argumentation framework,这是解决动态multi-agent系统中的问题的一种方法。
Nov, 2022
研究提出了一种将抽象论证框架的概念重写为一种动作语言的形式化方法,以考虑论证陈述的时间顺序和因果关系,并提出了一种答案集编程实现。
Mar, 2023
本文提出了一种双极 AF 语义,借鉴了推理支持的概念,用于实例化 general ABAFs 概念,并证明了在此概念下具有所需的关系。
May, 2023
探索基于排名的语义在结构化论证中的应用行为,展示一类广泛用于排名的语义引发了所谓的可责任性度量,并且在论证构建方法的具体选择上相对稳定。
Jul, 2023
评估当代大型语言模型(LLM)进行论证推理的能力,发现大语言模型在论证挖掘(AM)和论证对提取(APE)任务中表现出了能够匹配或超过最新技术的能力,但它们的论证推理性能非常依赖于输入和输出表示形式。
Sep, 2023
本文介绍了一个新颖的框架,使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估,我们证明了我们的框架胜过现有的论证求解器,从而在形式论证和人机对话领域开启了新的未来研究方向。
Oct, 2023
我们通过对一阶逻辑(带等号)公式的语义进行自顶向下的表述,解决当前对于一般讨论和争论模型缺乏正式推理框架的问题。
Jun, 2024