[论文解读] 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

一句话总结

本文提出一种受量子启发的态-环境-属性（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)

研究动机与目标

• 开发一个形式化框架，以捕捉语境如何动态影响概念内实例的典型性及属性的适用性。
• 解决经典概念理论的局限性，特别是其无法建模语境依赖性变化与概念组合的问题。
• 为一种非经典、类似量子的理论提供数学基础，以解释语境动态与叠加态类似的状态。
• 通过格论操作化语境与属性的结构，推导出类似量子的行为，且无需先验假设量子力学。
• 为建模概念组合奠定基础，通过形式化一个概念如何作为另一概念的语境，诱导状态转换。

提出的方法

• 引入包含三个组成部分的态-环境-属性（SCOP）系统：状态集 Σ、语境集 M 和属性集 L。
• 通过‘强于或等于’关系定义语境上的偏序关系，例如语境 e ‘宠物穿过花园’ ≥ 语境 f ‘宠物穿过花园试图抓住一只猫’。
• 在语境上构建‘与’和‘或’运算，以证明语境集 M 构成一个完备格。
• 引入语境上的‘非’运算，以推导正交补性，从而为 M 赋予完备正交补格结构。
• 定义本征态（不受某语境影响的态）与潜在态（受某语境影响的态），当一态不是 e ∨ f 的本征态，除非它同时是 e 或 f 的本征态时，会表现出类似量子的行为。
• 将相同的格结构与正交补性应用于属性集 L，表明属性同样构成一个完备正交补格。

实验结果

研究问题

• RQ1 语境如何动态改变概念内实例的典型性与属性的适用性？
• RQ2 何种数学结构支撑概念的语境集与属性集，使其能够建模语境影响？
• RQ3 能否通过将一个概念视为另一概念的语境，诱导状态转换，从而形式化概念的组合？
• RQ4 SCOP 框架如何在概念认知中再现类似量子的行为（例如非分配性、叠加）？
• RQ5 在不假设量子力学的前提下，如何操作性地推导出语境与属性的完备正交补格结构？

主要发现

• 在‘强于或等于’偏序关系下，语境集 M 构成一个完备格，且在语境上定义了‘与’和‘或’运算。
• 通过引入‘非’语境，语境集 M 获得正交补格结构，从而支持类似量子的行为。
• 若一态在某语境下保持不变，则为该语境的本征态；否则为潜在态，此类态表现出非经典行为。
• SCOP 框架揭示了类似量子的非分配性：一态不是 e ∨ f 的本征态，除非它是 e 或 f 的本征态，这在经典逻辑中通常不成立。
• 属性集 L 同样构成一个完备正交补格，具有与语境集类似的类似量子的结构特征。
• 通过闭包运算，闭包空间表示可恢复潜在态，从而将类似量子的动力学嵌入到拓扑结构中。