[论文解读] The Liar and Related Paradoxes: Fuzzy Truth Value Assignment for Collections of Self-Referential Sentences

Kostis Vezerides, Athanasios Kehagias|arXiv (Cornell University)|Sep 24, 2003

Advanced Algebra and Logic参考文献 44被引用 5

一句话总结

本文提出了一种模糊逻辑框架，通过将问题简化为求解非线性方程组，为自指句子集合（如说谎者悖论）分配一致的真值。证明在温和条件下，[0,1]^M 中始终存在一致解，并提出了计算这些解的算法，表明模糊真值通过避免经典 0/1 真值困境解决了悖论。

ABSTRACT

We study self-referential sentences of the type related to the Liar paradox. In particular, we consider the problem of assigning consistent fuzzy truth values to collections of self-referential sentences. We show that the problem can be reduced to the solution of a system of nonlinear equations. Furthermore, we prove that, under mild conditions, such a system always has a solution (i.e. a consistent truth value assignment) and that, for a particular implementation of logical ``and'', ``or'' and ``negation'', the ``mid-point'' solution is always consistent. Next we turn to computational issues and present several truth-value assignment algorithms; we argue that these algorithms can be understood as generalized sequential reasoning. In an Appendix we present a large number of examples of self-referential collections (including the Liar and the Strengthened Liar), we formulate the corresponding truth value equations and solve them analytically and/ or numerically.

研究动机与目标

• 通过为自指悖论（如说谎者和强化说谎者）分配一致的模糊真值，而非经典二元值，来解决这些悖论。
• 将一致真值赋值问题形式化为一组非线性方程组。
• 证明在温和的连续性条件下，此类方程组始终存在解。
• 开发并评估用于在模糊逻辑框架中寻找一致真值赋值的计算算法。
• 通过考虑有限真值集合作为经典逻辑与无限值逻辑之间的中间地带，探讨有限理性的含义。

提出的方法

• 将一致真值赋值问题简化为由逻辑连接词（与、或、非）作用于自指句子所导出的一组非线性代数方程。
• 采用特定的模糊逻辑算子实现方式——特别是中点解法——在温和条件下可保证一致性。
• 应用标准的数值求根技术，如牛顿-拉夫森法和基于最小化的优化方法，求解非线性方程组。
• 引入一种受控制理论启发的算法，以在真值赋值过程中平衡收敛速度、稳定性与心理上的合理性。
• 使用真值函数 Tr(·) 将逻辑表达式映射到 [0,1] 区间内的真值，实现连续而非二元的评估。
• 通过大量示例的解析与数值解验证该方法，包括说谎者、强化说谎者以及双人句对。

实验结果

研究问题

• RQ1 在温和连续性条件下，每个自指句子集合是否都至少存在一个一致的模糊真值赋值？
• RQ2 由模糊逻辑运算导出的非线性方程组是否始终可解，从而保证一致性？
• RQ3 不同计算算法（如牛顿-拉夫森法、最小化法、受控制理论启发的算法）在收敛性、速度和合理性方面如何比较？
• RQ4 在特定模糊逻辑算子实现下，'中点'解（所有真值设为 0.5）是否始终一致？
• RQ5 该框架能否被扩展到有限真值集合，以更好地建模人类推理中的有限理性？

主要发现

• 在温和连续性条件下，每个自指句子集合在 [0,1]^M 中至少存在一个一致的模糊真值赋值。
• 对于特定模糊逻辑算子实现，中点解（所有真值设为 0.5）始终一致。
• 由自指句子之间逻辑关系导出的非线性方程组保证至少存在一个解。
• 数值实验表明，受控制理论启发的算法在收敛速度、稳定性与心理合理性之间实现了良好平衡。
• 该方法通过分配非二元真值成功解决了经典悖论（如说谎者和强化说谎者），从而避免了 0/1 矛盾。
• 该框架可扩展至有限真值集合，尽管零不一致性解的存在性不再保证，从而为有限理性研究开辟了新方向。