Inexact Knowledge with Introspection

Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidean. The semantics corresponds to a system of modular knowledge, in which iterated modalities and simple modalities are not on a par. We show how the semantics helps to solve Williamson’s luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. We formulate a generalized version of the semantics, called token semantics, in which modalities are iteration-sensitive up to degree n and insensitive beyond n. The multi-agent version of the semantics yields a resource-sensitive logic with implications for the representation of common knowledge in situations of bounded rationality.     

Signalling signalhood and the emergence of communication

A unique hallmark of human language is that it uses signals that are both learnt and symbolic. The emergence of such signals was therefore a defining event in human cognitive evolution, yet very little is known about how such a process occurs. Previous work provides some insights on how meaning can become attached to form, but a more foundational issue is presently unaddressed. How does a signal signal its own signalhood? That is, how do humans even know that communicative behaviour is indeed communicative in nature? We introduce an experimental game that has been designed to tackle this problem. We find that it is commonly resolved with a bootstrapping process, and that this process influences the final form of the communication system. Furthermore, sufficient common ground is observed to be integral to the recognition of signalhood, and the emergence of dialogue is observed to be the key step in the development of a system that can be employed to achieve shared goals.     

Measuring concept semantic relatedness through common spatial pattern feature extraction on EEG signals

We study the semantic relationship between pairs of nouns of concrete objects such as “HORSE - SHEEP” and “SWING - MELON” and how this relationship activity is reflected in EEG signals. We collected 18 sets of EEG records; each set containing 150 events of stimulation. In this work we focus on feature extraction algorithms. Particularly, we highlight Common Spatial Pattern (CSP) as a method of feature extraction. Based on these latter, different classifiers were trained in order to associate a set of signals to a previously learned human answer, pertaining to two classes: semantically related, or not semantically related. The results of classification accuracy were evaluated comparing with other four methods of feature extraction, and using classification algorithms from five different families. In all cases, classification accuracy was benefited from using CSP instead of FDTW, LPC, PCA or ICA for feature extraction. Particularly with the combination CSP-Naïve Bayes we obtained the best average precision of 84.63%.     

First Order Common Knowledge Logics

In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies.     

Influence of seasonally adjusted exposure to cold and darkness on cognitive performance in circumpolar residents

The effects of seasonally adjusted 24-h exposure to cold and darkness on cognitive performance in urban circumpolar residents was assessed in 15 male subjects who spent three 24-h periods in a climatic chamber at 65° latitude during the winter (January–March) and/or summer (August–September). Each subject was exposed to three different environmental conditions in random order: (1) 22 °C temperature and 500 lx lighting; (2) 10 °C temperature and 500 lx lighting; and (3) 10 °C temperature and 0.5–l lx lighting. Accuracy on an addition-subtraction task was significantly greater in the summer than in the winter ( p = 0.038), while accuracy on a repeated acquisition task was significantly greater in the winter than in the summer ( p < 0.001). Independent of season, exposure to cold and darkness was significantly associated with a decline in response time on five cognitive tests, an improvement in accuracy on three tests measuring complex cognitive tasks, and a decline in accuracy on two tests measuring simple tasks. Increased performance on complex tasks may result from increased arousal in response to the combination of cold temperatures and dim light characteristic of the winter in urban circumpolar settings.     

Analysis of systems influencing renal hemodynamics and sodium excretion. I. Biochemical systems theory

In this article we present a new methodology—Biochemical Systems Theory and Analysis—as an alternative to traditional parametric statistical procedures for investigating differences between risk groups in a population. We review the systems theory and how it can be used to represent a model of processes influencing renal hemodynamics and sodium (Na⁺) excretion. We also discuss the potential for new measures of the biology of common diseases that can emerge from a synergism between systems theory and population-based statistical approaches. This work was supported in part by grants from the Public Health Service, RO1-HL30428, R01-HL39107 and General Clinical Research Center Grant RR0585.     

Dynamic precipitation of Al–Zn alloy during rolling and accumulative roll bonding

In this study, cold rolling was performed on a binary Al–20 wt%Zn alloy and dynamic precipitation identified for the first time in Al alloys under cold rolling. Zn clusters formed after application of 0.6 strain, and the Zn phase precipitated upon further increasing strain. Both grain refinement and rolling-induced defects are considered to promote Zn precipitation. The hardness of Al–Zn alloy initially increased with strain up to a strain of 2.9 and then decreased with increasing rolling strain. Dynamic precipitation greatly affects the strengthening mechanism of the rolled Al–Zn alloy under various strains.