formal-framework

标签

Cards List
#formal-framework

QUIVER: 量化复合AI系统中扰动传播与分岔的形式化框架

arXiv cs.AI · 2026-05-26 缓存

QUIVER 提出了一种形式化框架,用于量化在结构化为计算图的复合AI系统中扰动的传播方式,定义了灵敏度矩阵、轨迹发散、分岔阈值和分布忠实性,并在生产管道和公共管道上进行了验证。

0 人收藏 0 人点赞
#formal-framework

可发现的主体知识——面向主体化知识图谱功能的形式化框架(扩展版)

arXiv cs.AI · 2026-05-20 缓存

这篇扩展论文重新审视了语义网服务在知识图谱方面的见解,提出了一个四维形式化框架和一个主体化功能配置文件(AAP),以便在智能体规划时实现有原则的知识图谱选择、组合和故障诊断。

0 人收藏 0 人点赞
← 返回首页

提交意见反馈