面向 LLM 代理的可执行语义约束实施：从本体到工具的编译

本文提出“本体到工具编译”机制，将形式化领域知识与大语言模型耦合。在“世界化身”框架中，本体规范被编译为可执行工具接口，迫使基于 LLM 的代理在创建和修改知识图谱实例时必须使用这些工具，从而在生成阶段而非事后验证中强制执行语义约束。该方法扩展了语义代理组合框架，利用模型上下文协议实现生成模型与符号约束的结构化交互。通过金属有机多面体合成文献案例，展示了该范式如何指导 LLM 行为并减少人工模式工程。