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

ABDA-NL 为论证式讨论系统 ABDA 加入自然语言界面，用户可查看哪些结论被接受、拒绝或未定，并以平实英文编写事实、假设与规则。大语言模型负责语言与形式化之间的桥接，从场景文档和当前状态回答问题，并把英文编辑转为候选形式化陈述。确定性 ABDA 引擎仍是论证、攻击与接受标签的唯一来源，模型提议须经用户确认才生效。