标签
本文研究了在具有线性和守卫存在规则的知识库上回答双向（合取）正则路径查询的复杂度，在数据和组合复杂度方面建立了完备性结果。
介绍了用于验证和修复AI生成工作流的代理事务处理（ATP），它将生成的动作视为不可信的提案，直到通过约束集验证。系统Mnemosyne以低开销提供安全保障。