ABDA-NL：用于基于论证的推理的自然语言场景浏览器

ABDA-NL 为 ABDA 添加了一个自然语言接口，ABDA 是一个在基础语义下使用 ASPIC 知识库进行基于论证的讨论的系统。用户可以看到哪些结论被接受、被拒绝或尚未决定，打开扎根讨论游戏的交互式渲染来了解原因，通过暂停假设和规则或改变偏好来探索假设替代方案，提出场景参考文档中回答的问题，并用简单的英语编写新的事实、假设和规则。大语言模型提供了语言和形式主义之间的桥梁：它回答文档中的问题和场景的当前状态，并将简单的英语编辑翻译成候选的正式陈述。确定性 ABDA 引擎仍然是争论、攻击和接受标签的唯一来源，并且模型的每个提案在生效之前都经过用户的验证和确认。