$\kappa$--$\tau$ Logic

新的 $\kappa$--$\tau$ 逻辑框架增强了风险敏感型人工智能推理能力

研究人员引入了一个名为 $\kappa$--$\tau$ 逻辑的新型逻辑框架，专为风险敏感型溯因推理而设计。该框架显式地模拟了假设之间的交互，并包含一个用于承诺的判断阈值，这在过早决策会带来高昂代价的领域至关重要。该逻辑在综合模式（自下而上组合）和分析模式（自上而下分解）下运行，为在高风险环境中管理不确定性和做出可审计的决策提供了形式化工具。它被设想为神经符号架构的符号治理层，其中神经组件估计认知参数，人类治理设定规范参数。