用图结构分离信任与信心,让推理在矛盾中依然可靠。
Belief Graphs with Reasoning Zones: Structure, Dynamics, and Epistemic Activation
- 将信念建模为带符号权重的有向图,区分外部信任与内部信心。
- 通过收缩传播算法获得唯一稳定信心值,支持局部推理安全区。
- 可定位并修复矛盾区域,适合需容错推理的AI系统设计。
信念系统通常缺乏全局一致性,但有效推理仍可在局部持续。本文提出一种新的图论框架,清晰区分可信度(外部先验信任)与信心(由网络结构产生的内生估值)。信念作为有向、带符号、加权图的节点,边表示支持或矛盾。信心通过收缩传播过程获取,融合先验与结构感知影响,保证唯一且稳定解。在此动态下,定义了推理区:高信心、结构平衡的子图,在其上经典推理安全,即使全局存在矛盾。提出近线性算法,基于信心播种区域,用奇偶着色测试平衡性,并通过杰卡德去重的贪心策略构建紧凑地图集。引入冲击更新机制,局部下调支持、提升矛盾,通过简单回溯规则保持收缩性。重新传播后实现局部重构——区域可能缩小、分裂或坍塌,但不破坏整体稳定性。在含预设推理区的合成有向图上验证了区域恢复能力、抗冲击稳定性及运行效率。该框架为容忍矛盾的推理提供了原理性基础,仅在结构支持时激活经典逻辑。
原文摘要 · Abstract (English)
Belief systems are rarely globally consistent, yet effective reasoning often persists locally. We propose a novel graph-theoretic framework that cleanly separates credibility--external, a priori trust in sources--from confidence--an internal, emergent valuation induced by network structure. Beliefs are nodes in a directed, signed, weighted graph whose edges encode support and contradiction. Confidence is obtained by a contractive propagation process that mixes a stated prior with structure-aware influence and guarantees a unique, stable solution. Within this dynamics, we define reasoning zones: high-confidence, structurally balanced subgraphs on which classical inference is safe despite global contradictions. We provide a near-linear procedure that seeds zones by confidence, tests balance using a parity-based coloring, and applies a greedy, locality-preserving repair with Jaccard de-duplication to build a compact atlas. To model belief change, we introduce shock updates that locally downscale support and elevate targeted contradictions while preserving contractivity via a simple backtracking rule. Re-propagation yields localized reconfiguration-zones may shrink, split, or collapse--without destabilizing the entire graph. We outline an empirical protocol on synthetic signed graphs with planted zones, reporting zone recovery, stability under shocks, and runtime. The result is a principled foundation for contradiction-tolerant reasoning that activates classical logic precisely where structure supports it.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。