arXiv:2603.13574cs.AIcs.LG2026-03

用线性代数构建概率逻辑模型,让规则与概率统一计算。

State Algebra for Probabilistic Logic

  • 将逻辑状态转为能量坐标,通过矩阵运算生成概率分布
  • 无需图遍历,直接用哈达玛积得出全局概率,效率更高
  • 适合医疗金融等需可解释决策的高风险场景

本文提出概率状态代数,作为命题逻辑的扩展,通过纯线性代数构建马尔可夫随机场(MRFs)。将逻辑状态映射为实值坐标,视为能量势能,定义基于能量的模型,全局概率分布由坐标逐点哈达玛积生成。该方法绕过传统依赖图遍历算法和编译电路的方式,利用t-对象和通配符,将逻辑归约原生嵌入矩阵运算。我们证明该代数可构造形式吉布斯分布,建立符号约束与统计推断间的严格数学联系。核心应用是概率规则模型(PRMs),能够同时整合概率关联与确定性逻辑约束,具备内在可解释性,支持医疗、金融等高风险场景中的人机协同决策。通过向量空间中的规则模块化求和,确保复杂概率系统可审计、可维护,且不牺牲配置空间的严谨性。

原文摘要 · Abstract (English)

This paper presents a Probabilistic State Algebra as an extension of deterministic propositional logic, providing a computational framework for constructing Markov Random Fields (MRFs) through pure linear algebra. By mapping logical states to real-valued coordinates interpreted as energy potentials, we define an energy-based model where global probability distributions emerge from coordinate-wise Hadamard products. This approach bypasses the traditional reliance on graph-traversal algorithms and compiled circuits, utilising $t$-objects and wildcards to embed logical reduction natively within matrix operations. We demonstrate that this algebra constructs formal Gibbs distributions, offering a rigorous mathematical link between symbolic constraints and statistical inference. A central application of this framework is the development of Probabilistic Rule Models (PRMs), which are uniquely capable of incorporating both probabilistic associations and deterministic logical constraints simultaneously. These models are designed to be inherently interpretable, supporting a human-in-the-loop approach to decisioning in high-stakes environments such as healthcare and finance. By representing decision logic as a modular summation of rules within a vector space, the framework ensures that complex probabilistic systems remain auditable and maintainable without compromising the rigour of the underlying configuration space.

概率逻辑能量模型可解释性规则建模

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