SCOP formalism

From Wikipedia, the free encyclopedia
Jump to: navigation, search

State COntext Property (SCOP) formalism[edit]

Our minds are able to construct a multitude of imaginary, hypothetical, or counterfactual deviations from the more prototypical states of particular concept, and the State COntext Property (SCOP) can model this. The SCOP formalism was inspired by the need to incorporate the effect of context into the formal description of a concept. It builds on an operational approach in the foundations of quantum mechanics in which a physical system is determined by the mathematical structure of its set of states, set of properties, the possible (measurement) contexts which can be applied to this entity, and the relations between these sets. The SCOP formalism is part of a longstanding effort to develop an operational approach to quantum mechanics known as the Geneva-Brussels approach.[1] With SCOP it is possible to describe situations with any degree of contextuality. In fact, classical an quantum come out as special cases: quantum at the one end of extreme contextuality and classical at the other end of extreme lack of contextuality.[2] The SCOP formalism permits one to describe not only physical or conceptual entities, but also potential entities of a more abstract nature,[3] which means that SCOP aims at a very general description of how the interaction between context and the state of an entity plays a fundamental role in its evolution.

SCOP entities[edit]

The description of SCOP entities seeks for a general description of an observableentity that evolves with time. Thus, the description of the entity needs to consider the different states that the entity can assume. In order to establish the differences among the states, we need to consider the properties that the states can hold. Note that a complete description of the states in terms of their properties requires that each state must hold a different properties, but in principle this is not the case. In order to observe the entity, we need a mechanism that permits us to measure properties on the states, i.e. there must exist a set of useful measurements or contexts that permits us to observe what properties are hold by the current state the entity. However, the context can affect the state of the entity, and change its state (this is well known as the observer effect).

Formally, a SCOP entity consists of a 5-tuple (\Sigma,\Mu,\mathit{L},\mu,\nu), where \Sigma represents the set of states that the entity can assume, \Mu represents a set of contexts (measurements), \mathit{L} represents a set of properties that the entity can hold, \mu:\Sigma\times \Mu\times \Sigma\to [0,1],~(p,e,q)\mapsto \mu(p,e,q) is a state-transition probability function that represents the likelihood to transition from the state p to the state q under the influence of the context e, and \nu:\Sigma\times\mathit{L}\to[0,1],~(p,a)\mapsto[0,1] is an property-applicability function that estimates how applicable is the property a to the state p of the entity.

Special states and contexts[edit]

It is possible to identify relations among the states and contexts, that recall the basic elements of the quantum formalism:

Unitary context and ground state[edit]

It is possible that the entity is in a situation of no contextual influence. We identify such situation by the unitary context, denoted by \mathbf{1}. Moreover, the state of the entity in this situation is identified by the ground state \hat{p}. We have that \mu(\hat{p},\mathbf{1},\hat{p})=1, and thus \mu(p,\mathbf{1},\hat{p})=1 for all p\in \Sigma, p\neq \hat{p}.

Thus, the interaction of the entity with any context different from the unitary context will lead to an evolutionary process of the state's entity.

Eigenstates and potentiality[edit]

If for some context e there is an state p such that \mu(p,e,p)=1, we say p is an eigenstate for the context e. Any state q that is not an eigenstate, it is referred to as potential state.

Order theory and SCOP[edit]

It is possible to describe the elements of SCOP using order-theoretic structures. In[3] it has been shown how to obtain a pre-ordered set of states and properties. In[4] it is shown that the set of contexts and properties can be equipped with an orthocomplemented lattice structure. By imposing axioms on the order-theoretical structures of the former elements of a SCOP entity it is possible, via representation theoretical techniques, to obtain the Hilbert space description of the entity.[5]

SCOP concepts[edit]

The SCOP approach to concepts belongs to the emergent field of quantum cognition. In a SCOP model of a concept we are able to incorporate all of the possible contexts that could influence the state of a concept. The more states and contexts included, the richer the model becomes. The level of refinement is determined by the role the model is expected to play. It is outstanding that in SCOP, unlike other mathematical models of concepts, the potential to include this richness is present in the formalism, i.e., it can incorporate even improbable states, and largely but not completely irrelevant contexts. The SCOP formalism has been successfully applied to model conceptual entities.[4][6] It has been used shown how to solve the inconsistencies of other mathematical model of concepts,[7] and at the same time it permits to join different perspectives coming from psychology and phylosophy.[8]

Contextual dependence[edit]

Early concept theorists such Eleanor Rosch have noted that the context in which a concept is elicited plays a fundamental role in the meaning that it takes in natural reasoning tasks such as learning or planning. While in some theories, such as Gärdenfors or Nosofsky theories of concepts, the context is modeled as a weighting function across attributes or properties, in SCOP any effect of context occurs by way of its effect on the state.

Typicality, membership and similarity[edit]

Many researchers in concepts such as Hampton, Kamp and Partee, Osherson and Smith, among others, have noticed that measures of typicality and membership in concepts are not equivalent. Typicality refers to how common or representative is an instance of a concept. Membership rather than measure representativeness only measures the allegiance or inclusiveness of a conceptual instances in the category determined by the concept. It is well known that both measures are context-dependent, and they have been related to the notion of similarity of concepts, in that concept-similarity would be a more fundamental notion and will imply determine their values. But no satisfactory mathematical theory of concept-similarity has been developed yet. In SCOP, similarity, membership, typicality, and any other measure, is modeled as a measurement-operator that acts on the state of the concept, in the same way as context do. This general manner of approach the measurement of quantities that permits to differentiate states are called "experiment-contexts".

Concept combination and emergence[edit]

The emergence of meaning when concepts are combined is at the core of the drawbacks in concept theories. For example, it has been shown that guppy is not a typical instance neither of concept PET or concept FISH, but is a highly typical instance of the combined concept PET-FISH. It has been proven that no logical-based approach can explain the ways these effects in concept combination.[9] The SCOP-based approach to concepts has been shown to model the concept combination in a satisfactory manner, by embedding the states of the combined concept in tensor space formed by the Hilbert spaces representing each concept.[4][9]

References[edit]

  1. ^ Piron, C.: Foundations of Quantum Physics. Benjamin, Reading, 1976.
  2. ^ Aerts D. Classical theories and non classical theories as a special case of a more general theory, Journal of Mathematical Physics, 24, 2441 – 2453. 1983
  3. ^ a b Aerts D. "Being and change: foundations of a realistic operational formalism", in Probing the Structure of Quantum Mechanics: Nonlinearity, Nonlocality, Computation and Axiomatics. eds. D. Aerts, M. Czachor and T. Durt, World Scientific, Singapore, 2002.
  4. ^ a b c Aerts D. and Gabora L. A state-context-property model of concepts and their combinations ii: A Hilbert space representation. Kybernetes, 34(1/2):176 – 204, 2005.
  5. ^ D’Hooghe. B. A Possible Operational Motivation for the Orthocomplementation in Quantum Structures, Found Phys. 40: 1669–1680, 2010.
  6. ^ Veloz T., Gabora L., Eyjolfson M., Aerts D., Toward a Formal Model of the Shifting Relationship between Concepts and Contexts during Associative Thought, Fifth International Symposium on Quantum Interaction, in press, 2011.
  7. ^ Gabora L. and Aerts D. Contextualizing concepts using a mathematical generalization of the quantum formalism Journal of Experimental and Theoretical Artificial Intelligence, 14 (4), 327 – 358, 2002.
  8. ^ Gabora L., Aerts D., A model of the emergence and evolution of integrated worldviews, Journal of Mathematical Psychology, 53, 434–451, 2009.
  9. ^ a b Aerts D., Quantum structure in cognition, Journal of Mathematical Psychology 53, 314- 348, 2009.