本文介绍了一个新颖的框架,使用归纳逻辑编程方法来以可解释的方式学习几个抽象和结构化的论证框架的可接受语义。通过实证评估,我们证明了我们的框架胜过现有的论证求解器,从而在形式论证和人机对话领域开启了新的未来研究方向。
Oct, 2023
本研究探讨了利用模型检查的方式研究抽象概念来简化 argumentation framework,这是解决动态 multi-agent 系统中的问题的一种方法。
Nov, 2022
本文提出了一个基于模态逻辑和论证的逻辑框架,用于解决自主代理人在执行任务时产生的冲突问题,并评估哪个计划应该被采纳。
Apr, 2022
本文介绍了 ArgU:一种神经论证生成器,可从输入事实和世界真实概念中生成事实论据,并使用 Walton 的基于辩证方案的控制代码明确控制其立场和论证结构。此外,我们还发布了一个包括 69,428 个论据的注释语料库,跨足了六个话题和六个论证方案,并进一步进行了实验,以构建了一种推理策略,通过生成 “论证模板” 在实际论证生成之前生成,以展示使用基于辩证方案和立场的控制代码可以自动生成不同推理模式的多样化论据。
May, 2023
基于并发博弈模型的联盟逻辑,包含了三个强假设,而新提出的基于一般并发博弈模型的联盟逻辑则不包含这些假设,并展示了其完备性和与传统联盟逻辑的比较。
Mar, 2024
本文研究了关于逻辑基础论证的命题变体,分别探讨了 ARG、ARG-Check、ARG-Rel 等三种计算任务的参数化难度,并在 Schaefer 的框架下对问题进行结构参数分类,给出了各问题在参数化难度上的界限,其中一些情况具有极高的难度。
Feb, 2021
本研究利用语言模型进行论点生成,实现针对特定话题、立场和方面的句子级别论点生成,定义论点方面检测作为必要方法,通过数据增强和生成反证来提高立场检测模型的性能。
Apr, 2020
本文探讨了基于预训练语言模型的 AI 系统在协作问题上的行为,并通过众包和模型生成场景进行评估和测试,最后提供了一组生成场景的数据集和模型评估结果。
Mar, 2023
使用基于人物的多智能体框架进行辩论和讨论,以生成多样化且有说服力的论证,进一步改进了当前的语言模型生成表面的符号的问题。
Jun, 2024
本文中,我们正式分析了代理人协作中的控制问题、合作问题、对齐问题和能力问题,以及这些问题对委托人利益的影响,并展示了如何通过有限观察来估计这些指标,并为设计更协调和合作的 AI 系统提供帮助。
Feb, 2024