ABDA‑NL 为 ABDA 系统增添了自然语言交互层。ABDA 是基于 ASPIC‑知识库并采用 grounded 语义的论证讨论平台。用户可以直接看到每个结论的接受、拒绝或未决定状态，并可打开交互式的 grounded 讨论游戏视图，了解背后的推理过程。系统支持通过暂停假设、禁用规则或调整偏好等方式进行 what‑if 探索；用户还能基于场景的参考文档提问，系统会给出答案；此外，用户可以用纯英文描述新增事实、假设或规则。大型语言模型充当语言与形式之间的桥梁：它负责从文档和当前场景状态中回答问题，并将用户的自然语言编辑翻译为候选形式化语句。所有正式的论证、攻击关系和接受标签仍由确定性的 ABDA 引擎生成，模型的每一次提议都必须经用户确认后才会生效。
点评