标签
本文提出了一个形式化框架，用于从多元结构理论中构造规范解释，其动机来自 LLM 辅助推理中的结构失效。它区分了非确定性的类型，并为许可的规范化提供了条件，但并未对所有情形建立完全的确定性化。
本文提出了一种基于AGO方法论的代理业务过程分析形式化框架，以形式化精度定义了代理、目标和对象，从而为代理人工智能构建可验证的知识库。
QUIVER 提出了一种形式化框架，用于量化在结构化为计算图的复合AI系统中扰动的传播方式，定义了灵敏度矩阵、轨迹发散、分岔阈值和分布忠实性，并在生产管道和公共管道上进行了验证。
这篇扩展论文重新审视了语义网服务在知识图谱方面的见解，提出了一个四维形式化框架和一个主体化功能配置文件（AAP），以便在智能体规划时实现有原则的知识图谱选择、组合和故障诊断。