ABDA-NL：基于论辩推理的自然语言场景探索器

ABDA-NL 为基于 ASPIC- 知识库的论辩讨论系统 ABDA 引入了自然语言交互界面，允许用户使用纯英文探索并编辑论辩推理场景。系统利用大语言模型解答文档相关提问并将自然语言转化为候选形式化陈述，论点与接受标签则完全由确定性 ABDA 引擎计算。模型生成的所有提议生效前均须经用户验证确认，项目已开放代码与在线演示。