arXiv:2412.08805v2 公告类型: 替换 摘要：多智能体仿真促进了自然和人工智能体之间交互的探索。然而，建模现实世界场景并开发仿真往往需要大量的专业知识和努力。为了简化这一过程，我们提出了一种框架，该框架利用大型语言模型（LLMs）增强智能体，通过博弈论形式化方法实现交互场景的自动形式化。智能体将自然语言交互描述翻译成可执行的逻辑程序，这些程序定义了每个游戏的规则，并通过求解器验证其语法正确性。然后进行锦标赛仿真以测试生成的游戏规则和策略的功能。在锦标赛之后，如果可用真实反馈支付矩阵，将执行精确语义验证。我们在110个自然语言描述上评估了我们的方法，这些描述例证了五个两人同时行动博弈的场景，Claude 3.5 Sonnet生成的游戏规则在语法上正确率达到100%，语义上正确率达到76.5%，而GPT-4o在语法上正确率达到99.82%，语义上正确率达到77%。此外，我们展示了在自动形式化游戏策略方面的高语义正确性。总体而言，结果突显了自动形式化在利用LLMs生成决策智能体的形式化推理模块方面的潜力。