让对话系统安全复用答案，回答速度提升百倍以上。
Safety as Computation: Certified Answer Reuse via Capability Closure in Task-Oriented Dialogue
- 通过能力闭包计算预先生成所有可推导出的答案
- 答案复用只需亚毫秒级的包含性检查，无需重新检索或生成
- 适合需要高响应速度和安全性的任务型对话系统
我们提出一种任务型对话系统的新型范式：将安全认证作为答案复用的计算原语。现有系统在每轮对话中独立处理，即使答案已从先前状态可推导出也重复进行检索或生成。我们证明，在基于能力的系统中，安全认证步骤会计算出固定点闭包 cl(At)，其中已包含当前配置下所有可推导出的答案。为此，我们设计了带预答块（PAB）的认证答案存储器（CAS）：在每个认证回合，系统提前生成所有可推导的后续答案及最小溯源证据。后续查询可通过形式化包含性检查在亚毫秒内完成，彻底消除冗余检索与生成。
原文摘要 · Abstract (English)
We introduce a new paradigm for task-oriented dialogue systems: safety certification as a computational primitive for answer reuse. Current systems treat each turn independently, recomputing answers via retrieval or generation even when they are already derivable from prior state. We show that in capability-based systems, the safety certification step computes a fixed-point closure cl(At) that already contains every answer reachable from the current configuration. We operationalize this insight with a Certified Answer Store (CAS) augmented by Pre-Answer Blocks (PAB): at each certified turn, the system materializes all derivable follow-up answers together with minimal provenance witnesses. Subsequent queries are answered in sub-millisecond time via formal containment checks, eliminating redundant retrieval and generation.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。