[論文レビュー] A Theory of Concepts and Their Combinations I: The Structure of the Sets of Contexts and Properties

Diederik Aerts, Liane Gabora|arXiv (Cornell University)|Feb 26, 2004

Bayesian Modeling and Causal Inference参考文献 84被引用数 141

ひとこと要約

本稿では、文脈的影響を概念の数学的構造に埋め込むことで、概念およびその組み合わせをモデル化する、量子にインspiredされた状態文脈性質（SCOP）フレームワークを提案する。文脈の集合と性質の集合が完全直交補完ラティスを形成することを示し、非古典的で動的な概念の典型性および性質の適用可能性の表現を可能にし、認知における概念の組み合わせの形式的理論を裏付ける。

ABSTRACT

We propose a theory for modeling concepts that uses the state-context-property theory (SCOP), a generalization of the quantum formalism, whose basic notions are states, contexts and properties. This theory enables us to incorporate context into the mathematical structure used to describe a concept, and thereby model how context influences the typicality of a single exemplar and the applicability of a single property of a concept. We introduce the notion `state of a concept' to account for this contextual influence, and show that the structure of the set of contexts and of the set of properties of a concept is a complete orthocomplemented lattice. The structural study in this article is a preparation for a numerical mathematical theory of concepts in the Hilbert space of quantum mechanics that allows the description of the combination of concepts (see quant-ph/0402205)

研究の動機と目的

• 文脈が概念内での例の典型性および性質の適用可能性にどのように動的に影響を与えるかを捉える形式的枠組みを構築すること。
• 古典的概念理論の限界、特に文脈依存的変化および概念の組み合わせをモデル化できないことへの対処。
• 文脈的ダイナミクスと重ね合わせに類似した状態を考慮する非古典的で量子に類似した概念理論の数学的基盤を提供すること。
• ラティス理論を用いて文脈と性質の構造を操作可能に定式化し、事前に量子力学を仮定せずに量子に類似した振る舞いを導出すること。
• 1つの概念が別の概念の文脈として機能し、状態遷移を引き起こすことで、概念の組み合わせを形式化する基盤を築くこと。

提案手法

• 状態 Σ、文脈 M、性質 L の3つの構成要素を持つ状態文脈性質（SCOP）システムを導入する。
• 「以上か強い」関係により文脈に部分順序を定義する。例：文脈 e「ペットが庭を走り抜ける」≥ 文脈 f「ペットが猫を追いかけるために庭を走り抜ける」。
• 文脈に「かつ」と「または」の演算を定義し、文脈の集合 M が完全ラティスを形成することを示す。
• 文脈に「でない」演算を導入し、直交補完性を導出し、M が完全直交補完ラティス構造を有することを示す。
• 固有状態（文脈によって影響を受けない状態）と可能性状態（文脈によって影響を受ける状態）を定義し、状態が e ∨ f の固有状態でない限り、それが e や f の固有状態でない場合に、量子に類似した振る舞いが現れる。
• 同じラティスおよび直交補完性構造を性質の集合 L に適用し、性質の集合 L が完全直交補完ラティスを形成することを示す。

実験結果

リサーチクエスチョン

• RQ1 文脈が、概念内での例の典型性および性質の適用可能性にどのように動的に変化をもたらすか。
• RQ2 文脈と性質の集合が、文脈的影響をモデル化できる数学的構造は何か。
• RQ3 1つの概念を別の概念の文脈として扱い、状態遷移を引き起こすことで、概念の組み合わせを形式的にモデル化できるか。
• RQ4 SCOPフレームワークは、非分配性や重ね合わせなどの量子に類似した振る舞い（例：非分配性、重ね合わせ）を、概念的認知で再現できるか。
• RQ5 量子力学を事前に仮定せずに、文脈と性質の完全直交補完ラティスの操作的導出は可能か。

主な発見

• 文脈の集合 M は、「以上か強い」部分順序の下で完全ラティスを形成し、「かつ」と「または」の演算が文脈に定義されている。
• 「でない」文脈の導入により、文脈の集合 M は直交補完ラティス構造を獲得し、量子に類似した振る舞いを可能にする。
• 状態が文脈によって変わらない場合にその状態は固有状態と呼ばれる。それ以外の場合は可能性状態であり、このような状態は非古典的振る舞いを示す。
• SCOPフレームワークは、量子に類似した非分配性を明らかにする：状態が e ∨ f の固有状態であるためには、それが e や f の固有状態でなければならない。これは一般に古典論理では成り立たない。
• 性質の集合 L も完全直交補完ラティスを形成し、文脈の集合と同様に、量子に類似した構造的特徴を有する。
• 閉包空間表現により、閉包作用素を用いて可能性状態が回復され、量子に類似したダイナミクスが位相的構造に埋め込まれる。