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

ABDA-NL 为基于 ASPIC- 知识库的论辩系统 ABDA 引入了自然语言界面，允许用户以纯英语编写事实与规则并探索假设情景。系统借助大语言模型回答文档问题并将自然语言编辑转化为候选形式化陈述，核心论据生成与状态判定仍由确定性的 ABDA 引擎负责，且模型提议须经用户验证确认后生效。