[論文レビュー] 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

ひとこと要約

この論文では、命題を固有値を真理値とする量子観測可能量として表現し、固有ベクトルを解釈として持つ、量子にインspiredされた論理枠組みであるEigenlogicを紹介する。非固有ベクトル状態にボルン則を適用することで、自然に曖昧な所属値が出現し、解釈可能で多値および曖昧論理を実現する。自律的ロボットエージェントに応用可能であり、Braitenberg車両を用いた実装により、より洗練された行動意思決定能力が実証された。

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.

研究の動機と目的

• 解釈可能性を向上させるために、量子観測可能量を用いて命題論理を解釈する論理枠組みを開発すること。
• ロボット意思決定における不確実性や中間状態をモデル化する際の古典論理の限界を解決すること。
• 曖昧論理が、恣意的な定義を追加せずに、量子形式主義から自然に出現することを示すこと。
• Braitenberg車両のような単純な自律的エージェントにこの枠組みを適用し、行動の多様性を拡張すること。

提案手法

• 命題をエルミートな量子観測可能量として表現し、固有値を真理値、固有ベクトルを意味的解釈として扱う。
• ボルン則を用いて、固有空間外の状態の曖昧な所属値を計算し、多値論理を可能にする。
• 行動的エージェントを、Eigenlogic命題によって制御されるBraitenberg車両としてモデル化する。
• 量子力学的形式主義を用いて論理演算子を構築し、量子確率と整合性を保つ。
• 論理結合子をヒルベルト空間内でのユニタリ変換または観測可能量の組み合わせにマッピングする。
• 固有値と意味のスペクトル分解に根ざすことで、解釈可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 命題論理をどのように量子観測可能量を用いて再定式化すれば、真理値と意味的解釈の両方を提供できるか？
• RQ2 状態が観測可能量の固有状態でない場合、どのようにして曖昧論理が量子形式主義から自然に出現するか？
• RQ3 Eigenlogicは、Braitenberg車両のような単純な自律的エージェントの意思決定能力を、古典論理を上回って向上させられるか？
• RQ4 真理値と意味の解釈可能性が、ロボット行動の透明性をどのように向上させるか？
• RQ5 ボルン則は、この論理枠組み内での曖昧所属関数の生成において、どのような役割を果たすか？

主な発見

• 非固有状態にボルン則を適用することで、曖昧な所属値が自然に導かれる。これにより、恣意的な定義の必要がなくなる。
• この枠組みは、固有ベクトルを介して真理値と意味的解釈が本質的に結びつけられた統一的表現を提供する。
• Eigenlogicを搭載したBraitenberg車両は、古典論理を使用する場合よりも、より洗練された、より洗練された行動を示す。
• 量子観測可能量の使用により、解釈可能性を損なわずに多値論理を実現できる。
• 量子にインスパイアされた論理を用いることで、透明で意味的認識を持つ意思決定が自律的エージェントに可能になる。
• このアプローチは、量子形式主義が物理的かつ数学的に整合的である方法で曖昧推論をモデル化できることを示している。