我们提出了一种新的高效解决抽象论证中出现的重要计算问题的方法,该方法利用目前已知的针对受限碎片的算法,计算成本随着碎片之间的距离而扩展,从而逐渐增加可处理的碎片,我们发现某些可处理的碎片可进行扩展,而其他碎片则不支持扩展,对于一些拓扑结构良好的抽象论证碎片,它们的问题在某些参数中是可以高效处理的。我们采用广泛的设置并考虑了几种不同的语义,为算法结果利用最新的固定参数可跟踪性方面的发展。
Apr, 2011
本文提出了一个利用ASP构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合,第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具,而且还提供了一种新的通用的答案集可视化方法。
Jan, 2013
本文探讨抽象论证中关于扩展项的计数和投影模型计数,提出了一种基于动态规划的新算法,并建立了经典和参数化的复杂度结果,考虑到评估参数化问题的树宽度,最后针对有界树宽算法建立下界,得出复杂度分析结论。
Nov, 2018
本文介绍了一种通用的应对于德语和英语文本自动提取出行文构成及关系的演绎方法,结果表明该方法可有效生成有助于检测行文中语句之间关联性的演绎图,评估基于已有基准演绎结构。
Jun, 2020
本研究探讨了以论据图为基础支持论证解释的影响。通过使用较少之前接触的主题,实验结果表明,论据图在论证解释方面比纯文本更具有支持作用,更能提供临床上的解释效果。
Mar, 2023
研究提出了一种新的结构化论证框架,名为扩展论证决策图($xADG$),它是 Dung 抽象论证图的扩展。$xADG$ 框架允许论点在其内部结构中使用布尔逻辑运算符和多个前提,从而产生更简洁的论证图,易于用户理解,并在分类任务中取得了强大的预测能力。除此之外,该研究还表明,所构建的 $xADG$ 可能是可信的,可用于知识发现、获取和细化。
Jun, 2023
该研究论文提出了一种基于逻辑论证的框架,用于实例化构建双极论证图,并探讨了论证之间的内部结构和关系类型之间的一些约束。
Aug, 2023
本文提出了一种新的结构用于组织论证,并介绍了两种方法来利用该结构,包括一种多模态模型GreaseArG和一个新的注入图信息的预训练框架。实验证明,在进一步的预训练和微调之后,GreaseArG在两个论证任务上超过了同等规模的语言模型,同时在进一步的预训练过程中引入图信息也可以提高普通语言模型的性能。
Dec, 2023
本文提出了一种名为“图像蓝图辩论”的顶-下述式多模式推理方法,解决了多分类结果过于概括和由图像引入的分散注意力的挑战,并在科学问答和MMBench中实现了最先进的结果。
Mar, 2024
本研究解决了传统抽象论证框架未能考虑论证顺序的问题,提出了一种新模型来建模抽象论证图。通过考虑论证的表达顺序,研究能够为每个对话推导出唯一的结果,并确立了多个重要性质,如终止性和正确性。
Sep, 2024