arXiv:2607.28027cs.MAcs.AI2026-07

VISA让智能体模拟模型可机器复现,解决文档模糊导致的重现实难问题。

VISA: A Structured Description Protocol for Agent-Based Simulation Models Towards Machine Reproducibility

论文配图:VISA: A Structured Description Protocol for Agent-Based Simulation Models Towards Machine Reproducibility
图 1 · 摘自论文原文
  • 用八张结构化表格描述模型,实现清晰、无歧义的规范表达
  • 通过19条可执行校验规则确保模型逻辑正确,支持跨语言直接复现
  • 适合需要高可复现性的研究人员与工业建模者使用

智能体模型(ABMs)难以复现:其行为分散在文字叙述、平台特有代码和隐含假设中,同一份文档常被不同读者重构出不同模型。我们提出VISA,一种基于符号的结构化描述协议,通过八个相互关联的表格——四个位于代理层面(代理、变量、感知、内部函数),四个位于模型层面(关联数据、输入/输出、调度、验证)——在最小性与完备性原则下定义模型。VISA使模型具备机器可读性与唯一性,依托两项成果:19条可执行的一致性规则将模型有效性转化为可验证属性;以及三项可由大模型执行的通用技能(撰写、检查、代码生成),实现从撰写到复现的完整闭环。我们在三个外部独立撰写的模型上验证该协议,涵盖三种平台:成功在不依赖原始代码的前提下,将两个跨语言模型(NetLogo到Python)直接从VISA规格复现;第三个工业级AnyLogic模型也以八张表形式完整记录,通过全部19条规则,同时明确标注因专有移动库和缺失数据导致的复现障碍——这一透明化本身即为重要贡献。VISA将复现障碍从不可见的模型内部转移至可定位、可行动的特定依赖项。

原文摘要 · Abstract (English)

Agent-based models (ABMs) are difficult to reproduce: their behavior is spread across prose narratives, platform-specific code, and implicit assumptions, so that two readers routinely reconstruct different models from the same documentation. We present VISA, a structured, symbol-based description protocol that specifies a model in eight interconnected tables---four at the agent level (Agent, Variable, Sensing, Internal Function) and four at the model level (Associated Data, Input/Output, Schedule, Validation)---under the principle of minimality with completeness. VISA makes a model machine-parseable and unambiguous via two artifacts: nineteen executable consistency rules that turn model validity into a checkable property, and three reusable LLM-executable skills (authoring, checking, and code generation) that operationalize the full author--check--code--reproduce loop. We validate the protocol on three external, independently authored ABMs spanning three platforms: we reproduce two cross-language (NetLogo to Python) directly from their VISA specifications, and we capture a third, an industrial AnyLogic model, in eight tables (passing all nineteen rules) while honestly demarcating where reproduction is blocked by a proprietary movement library and unavailable data---itself a transparency contribution. VISA moves the reproduction barrier from the model, where it is invisible, to a named, localized dependency, where it is actionable.

智能体模拟可复现性结构化协议LLM应用

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。