- MM用于逼近论证可接受性的图卷积网络和图注意力网络 -- 技术报告
通过改进 Graph Convolutional Networks 的性能以及使用 Graph Attention Networks,提高抽象论证的计算效率。
- 基于抽象论证的案例相关性学习的技术报告
在这篇论文中,我们关注于一种最近的基于案例的推理方法,通过采用抽象论证的实例来支持案例推理,其中论证代表案例,论证之间的攻击来自于案例之间的结果分歧与关联概念。在这个背景下,相关性与案例的特异性形式有关。我们探讨如何通过决策树的帮助在实践中 - 半抽象的基于价值的论证框架
本文介绍了抽象论证框架、基于价值的论证框架、半抽象论证框架及其关键概念、映射函数和结论关系等内容,并展示了这些形式化工具在复杂道德困境中的应用。
- 抽象论证中的时间性和因果性
研究提出了一种将抽象论证框架的概念重写为一种动作语言的形式化方法,以考虑论证陈述的时间顺序和因果关系,并提出了一种答案集编程实现。
- 基于主张中心观的抽象论证偏好影响研究
本文研究了在声称层面下偏好对抽象论证的影响,研究发现了四种处理偏好的减少方法在处理声称扩充论证框架的语义和计算复杂度方面的行为不同,这加强了认为必须谨慎选择处理偏好的观点。
- 渐进语义内的反问题的解析解
本文讲述了针对逐渐语义中的反问题,使用解析方法而非当前数值方法来识别权重分配问题,从而使得问题可迅速寻找解决方案且具有保证性。同时,本文也证明了几个在前人猜测中重要的性质。
- 关于议论渐进语义的反演问题
本文研究了加权阶段性语义,并提供了一个算法来解决加权初始义务以产生所需的论据排序这一问题,并给出了所需的阶段性语义的属性以使算法操作,同时进行了实证评估。
- MM用答案集编程解决高级论证问题
本文介绍了从抽象辩论框架 (ADF) 和 GRAPPA 到解答集编程 (ASP) 的新型有效转化,并提供了 ADF 的五种主要语义 (包括允许的、完整的、首选的、基本的和稳定的解释) 的降低。
- MM基于协相 Kohesion 的答案集语义与论证框架的相遇
本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系,比较了松弛稳定、状态和松弛相容扩展之间的异同,并阐述了松弛相容扩展的对称性。
- 人类评估复杂论证框架的实证研究” 技术报告
本文报道了一项经验认知研究,该研究提出了 12 个抽象论证框架,旨在比较不同的论证语义在人类论证评估中的有效性,结果表明基于场景语境和 CF2 语义的抽象论证语义最能符合人类论证评估行为。
- AAAI抽象论证推理的计数复杂度
本文探讨抽象论证中关于扩展项的计数和投影模型计数,提出了一种基于动态规划的新算法,并建立了经典和参数化的复杂度结果,考虑到评估参数化问题的树宽度,最后针对有界树宽算法建立下界,得出复杂度分析结论。
- MM针对抽象论证的改进答案集编程编码
本文使用 ASP 系统 clingo 提供的条件量词的析取形式,提供了三种著名的辩论语义的新编码,这些编码不仅比以前的版本更简洁,而且在标准基准测试中也表现优异,从而为高级辩论系统的高效解决方案的设计提供了一步关键。
- 论证和逻辑编程中的诱导和对话证明
本文研究抽象论证中的绑架模型,提出了基于对话证明理论的决策问题解决方案,并展示了如何基于绑定逻辑程序来实现该模型。
- 抽象论证中基于 SAT 的偏好扩展计算方法
本文提出了一种基于 SAT 的方法,针对抽象论证中的可扩展性进行计算,并重点关注首选语义。该方法的思想是将计算完整扩展的问题简化为一个 SAT 问题,然后使用深度优先搜索方法来推导首选扩展。 该方法已使用两种不同的 SAT 求解器进行了测试 - MMdynPARTIX - 一个用于抽象论证的动态规划推理器
本文介绍了基于分解和动态规划的新型抽象论证系统,并提供了首次实验评估,证明了该方法的可行性。
- IJCAI增强抽象论证的可处理片段
我们提出了一种新的高效解决抽象论证中出现的重要计算问题的方法,该方法利用目前已知的针对受限碎片的算法,计算成本随着碎片之间的距离而扩展,从而逐渐增加可处理的碎片,我们发现某些可处理的碎片可进行扩展,而其他碎片则不支持扩展,对于一些拓扑结构良