arXiv:2608.08192cs.AI2026-08

提出一种新型逻辑框架,让推理系统在高风险场景中智能决定何时下结论。

A Minimal $κ$--$τ$ Logic for Risk-Sensitive Abduction

  • 用两个核心机制:假设间交互与承诺阈值,实现动态推理
  • 能生成复合解释,并在多候选中按风险控制时机决策
  • 适合医疗、金融等需透明可审计推理的高风险领域

传统溯因推理虽可保留多个解释,但缺乏显式跨假设交互和对竞争性解释的敏感判断。本文指出,在高风险领域,过早承诺会带来不对称损失,因此承诺时机应作为可形式化决策。提出一个最小化的κ–τ逻辑框架,基于两个基本元素:假设间的认知交互(κ)与规范性承诺阈值(τ)。假设可共存、相互增强或抑制,形成涌现的复合解释;而结论的确定由治理约束而非单纯推理由决定。该框架以两种互补模式运行:合成模式从原子假设向上构建解释;分析模式将复杂现象分解为潜在因素簇,承诺在簇与因子层面均受控。该逻辑为‘高度可能’与‘值得承诺’有实际意义区分的领域提供形式化工具。κ–τ逻辑定位为神经符号架构中的符号治理层:其认知参数由神经组件(如语义嵌入、生成模型)自然估计,而规范参数保持人工可控,实现高风险场景中透明可审计的溯因推理。

原文摘要 · Abstract (English)

Standard approaches to abductive reasoning can retain multiple candidate explanations, but they do not generally combine explicit compositional cross-hypothesis interaction with an internal, rival-sensitive commitment judgment. This paper argues that in risk-sensitive domains -- where premature commitment carries asymmetric downside costs -- the timing of commitment is itself a governed decision that the inferential apparatus should formally represent. We present a minimal $κ$--$τ$ logical framework built on two primitives: epistemic interaction among hypotheses ($κ$) and a normative commitment threshold ($τ$). Hypotheses may coexist, reinforce or inhibit one another, and form emergent composite explanations, while collapse into committed conclusions is regulated by governance constraints rather than forced by inference alone. The logic is developed in two complementary modes sharing the interaction relation and the governance apparatus: a synthetic mode, in which atomic hypotheses are composed upward into emergent explanations, and an analytic mode, in which complex observed states of affairs are decomposed into causal clusters of latent factors, with commitment governed at both the cluster and the factor level. The framework provides formal machinery for domains in which the distinction between highly likely and commit-worthy is operationally consequential. The $κ$--$τ$ logic is positioned as the symbolic governance layer of a neurosymbolic architecture: its epistemic parameters are naturally estimated by neural components -- semantic embeddings and generative models, as demonstrated in existing computational realizations -- while its normative parameters remain under explicit human governance, yielding transparent and auditable abductive reasoning for deployment in high-stakes settings.

溯因推理逻辑框架高风险决策

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。