论文标题
通过实价逻辑具有不确定性的推理基础
Foundations of Reasoning with Uncertainty via Real-valued Logics
论文作者
论文摘要
实用值的逻辑是越来越多的神经符号方法的基础，尽管通常仅在定性上表征其逻辑推理能力。我们为建立此类系统的正确性和力量提供了基础。我们提供了一个可以参数化的声音和强烈完整的公理化，以涵盖所有实现的逻辑，包括所有常见的模糊逻辑。我们的一类句子非常丰富，每个句子都描述了一组现实价值逻辑公式集合的可能的真实值，包括实际值的组合是可能的。强大的完整性使我们能够准确地得出有关公式集合的真实价值组合的组合，给出了有关其他几个公式集合的真实价值组合的信息。然后，我们扩展公理化以处理加权的子形成。最后，我们根据线性编程，用于确定某些现实价值逻辑以及在某些自然假设的情况下，给出决策过程，是否在逻辑上意味着我们的另一种句子。
Real-valued logics underlie an increasing number of neuro-symbolic approaches, though typically their logical inference capabilities are characterized only qualitatively. We provide foundations for establishing the correctness and power of such systems. We give a sound and strongly complete axiomatization that can be parametrized to cover essentially every real-valued logic, including all the common fuzzy logics. Our class of sentences are very rich, and each describes a set of possible real values for a collection of formulas of the real-valued logic, including which combinations of real values are possible. Strong completeness allows us to derive exactly what information can be inferred about the combinations of real values of a collection of formulas given information about the combinations of real values of several other collections of formulas. We then extend the axiomatization to deal with weighted subformulas. Finally, we give a decision procedure based on linear programming for deciding, for certain real-valued logics and under certain natural assumptions, whether a set of our sentences logically implies another of our sentences.
