一种用于战略逻辑策略合成的神经符号方法

针对多智能体系统中战略交互能力的推理挑战，本文提出一种神经符号框架，将大语言模型（LLM）集成到模型检测流程中。该框架采用“生成 - 认证”架构：LLM 作为策略生成预言机提出候选策略，再由标准模型检测器进行形式化验证，确保在探索巨大组合空间的同时保持形式可靠性。作者在 NatATL 有界战略推理实例化了该框架，并构建了首个包含 4211 个实例的数据集。实验表明，基于 Qwen3-32B 的认证管道在策略合成结果上达到了 92% 的准确率。