用数学商集重构对话答案复用机制,让系统更可信
From ambiguous utterances to governed reuse classes: canonicalization, quotient invariance, and conditional decidability
- 以数学商集代替相似度判断,定义可复用的对话请求等价类
- 三种身份关系形成严格递进链,确保输出在各阶段不变
- 适合构建需权限控制、版本管理的智能对话系统
语义缓存基于嵌入相似度复用答案:当相似度超过阈值时,两个表达共享存储答案,但缺乏授权、版本或等价性判断。本文将复用对象从相似度启发式改为经数学刻画的已解决对话请求的商集。三个独立定义的关系——阅读同一性、求解同一性和复用同一性——构成严格递进链,在部署日志中可验证的非退化条件下成立;整个流水线输出沿链保持不变。复用同一性正是求解映射到受控答案划分的核,因此复用商集是该划分在请求侧诱导出的对象,而非其重标号。复用同一性授权查询键及其认证答案空间;特定答案的复用需满足求解同一性或适用性证明。支撑层精确表述为:精确表示范式;连接聚合作为设计算子,闭包稳定单元表征无逃逸;相对于不可信提议层,全流水线完全可计算;策略适配任意提议者——且明确不保证事实准确或意图忠实;在目标一致性下,引出过程在有限次信息回复后终止且有效。
原文摘要 · Abstract (English)
Semantic caching defines answer reuse on embedding similarity: two utterances share a stored answer when a similarity score clears a threshold, with no notion of authorization, versioning, or of what makes two demands the same. This note changes the object on which reuse is defined: in a governed domain, reuse should operate on a mathematically characterized quotient of resolved conversational demands, not on a similarity heuristic. Three independently defined relations on resolved utterances -- reading identity, resolution identity, and reuse identity -- form a refinement chain, strict under realized nondegeneracy conditions checkable on deployment logs; the pipeline's outputs are invariant along the chain, and reuse identity is exactly the kernel of the resolution map into the governed answer partition, so the reuse quotient is the utterance-side object that partition induces, not a relabeling of it. Reuse identity licenses the governed query key and its certified answer space; reuse of a particular answer requires resolution identity or an applicability certificate. The supporting layer is stated at exactly the strength proved: exact-denotation normal forms; join aggregation as a design operator, with closure-stable cells characterizing no-escape; total computability of the full pipeline relative to an untrusted proposal layer; policy admissibility for arbitrary proposers -- and provably not factual grounding or intent fidelity; and elicitation terminating after finitely many informative replies, sound under target consistency.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。