本征逻辑：可解释的量子可观测量及其在车辆机器人模糊行为中的应用
人工智能
2017-07-19 v1
摘要
本工作提出了一种命题逻辑的表述，命名为本征逻辑(Eigenlogic)，使用量子可观测量作为命题。这些算子的本征值是真值，而相关的本征向量是命题系统的解释。当考虑本征系统之外的向量时，模糊逻辑自然出现，模糊隶属函数由逻辑可观测量通过玻恩规则(Born rule)获得。该方法随后被应用于量子机器人的背景中，使用由Braitenberg车辆表示的简单行为主体。利用非经典逻辑(如多值逻辑、模糊逻辑和量子本征逻辑)进行处理，能够扩展这些简单主体的行为可能性和相关决策。
引用
@article{arxiv.1707.05654,
title = {Eigenlogic: Interpretable Quantum Observables with applications to Fuzzy Behavior of Vehicular Robots},
author = {Zeno Toffano and François Dubois},
journal= {arXiv preprint arXiv:1707.05654},
year = {2017}
}