研究人员开发了 PULSE，一种新颖的可执行契约语言，专为时空知识图谱工程而设计。该语言旨在将操作角色、观测和约束整合到一个单一的、类型化的运行时中，从而修复证据不可覆盖问题，并确保基于事实的计时器和受保护的状态更改。该系统已经过严格测试，包括使用 Lean 4 进行形式化验证和广泛的时间轨迹分析，证明了其匹配独立工作流和识别突变体的能力。 AI
影响 这种新语言可以提高依赖于时空知识图谱的复杂 AI 系统的可靠性和可维护性。
排序理由 该条目是一篇研究论文，详细介绍了一种用于知识图谱工程的新语言。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
