#Answer Set Programming

做智能体框架的开发者可以看看这篇。它把 OpenHands、DeepSeek Harness 这类运行中换工具、换策略的行为用形式化语言描述清楚，还能编译成 ASP 验证。如果你的 harness 会动态挂载 MCP 工具或切换模型，这套理论能帮你检查组件变更后行为是否一致。