[论文解读] Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots

Zeno Toffano, François Dubois|arXiv (Cornell University)|Jul 17, 2017

Quantum Computing Algorithms and Architecture参考文献 7被引用 3

一句话总结

本文提出Eigenlogic，一种受量子力学启发的逻辑框架，其中命题以量子可观测量表示，本征值作为真值，本征矢量作为语义解释。通过将玻尔兹曼规则应用于非本征矢量态，模糊隶属度自然产生，从而在自主机器人系统中实现可解释的多值逻辑与模糊逻辑，实验验证了具备增强行为决策能力的布莱特伯格车辆（Braitenberg vehicles）。

ABSTRACT

This work proposes a formulation of propositional logic, named Eigenlogic, using quantum observables as propositions. The eigenvalues of these operators are the truth-values and the associated eigenvectors the interpretations of the propositional system. Fuzzy logic arises naturally when considering vectors outside the eigensystem, the fuzzy membership function is obtained by the Born rule of the logical observable.This approach is then applied in the context of quantum robots using simple behavioral agents represented by Braitenberg vehicles. Processing with non-classical logic such as multivalued logic, fuzzy logic and the quantum Eigenlogic permits to enlarge the behavior possibilities and the associated decisions of these simple agents.

研究动机与目标

• 开发一种通过量子可观测量解释命题逻辑的逻辑框架，以提升可解释性。
• 解决经典逻辑在建模机器人决策中不确定或中间状态时的局限性。
• 证明模糊逻辑可自然地从量子形式体系中衍生，而无需人为定义。
• 将该框架应用于简单自主代理（布莱特伯格车辆），以扩展其行为能力。

提出的方法

• 将命题逻辑表示为厄米特量子可观测量，本征值作为真值，本征矢量作为语义解释。
• 利用玻尔兹曼规则计算非本征态的模糊隶属度，实现多值逻辑。
• 将行为代理建模为由Eigenlogic命题控制的布莱特伯格车辆。
• 使用量子力学形式体系构造逻辑算符，保持与量子概率的一致性。
• 将逻辑连接词映射为希尔伯特空间中的酉变换或可观测量组合。
• 通过可观测量的谱分解，将真值与意义锚定，确保可解释性。

实验结果

研究问题

• RQ1 如何通过量子可观测量重新表述命题逻辑，以同时提供真值与语义解释？
• RQ2 当态不是可观测量的本征态时，模糊逻辑在何种方式下自然地从量子形式体系中产生？
• RQ3 Eigenlogic 是否能超越经典逻辑，增强如布莱特伯格车辆等简单自主代理的决策能力？
• RQ4 真值与意义的可解释性如何提升机器人行为的透明度？
• RQ5 玻尔兹曼规则在该逻辑框架中生成模糊隶属函数时起什么作用？

主要发现

• 模糊隶属度通过将玻尔兹曼规则应用于非本征态自然导出，无需人为定义。
• 该框架提供统一表示，使真值与语义解释通过本征矢量内在关联。
• 配备Eigenlogic的布莱特伯格车辆展现出比经典逻辑更丰富、更细致的行为。
• 使用量子可观测量可在不损害可解释性的前提下实现多值逻辑。
• 该方法通过量子启发逻辑，支持透明且具备语义意识的自主代理决策。
• 该方法证明，量子形式体系可物理且数学一致地用于建模模糊推理。