Cut Elimination for S4C: A Case Study

S4C is a logic of continuous transformations of a topological space. Cut elimination for it requires new kind of rules and new kinds of reductions     

Doing cognitive neuroscience: a third way

The “top-down” and “bottom-up” approaches have been thought to exhaust the possibilities for doing cognitive neuroscience. We argue that neither approach is likely to succeed in providing a theory that enables us to understand how cognition is achieved in biological creatures like ourselves. We consider a promising third way of doing cognitive neuroscience, what might be called the “neural dynamic systems” approach, that construes cognitive neuroscience as an autonomous explanatory endeavor, aiming to characterize in its own terms the states and processes responsible for brain-based cognition. We sketch the basic motivation for the approach, describe a particular version of the approach, so-called ‘Dynamic Causal Modeling’ (DCM), and consider a concrete example of DCM. This third way, we argue, has the potential to avoid the problems that afflict the other two approaches.     

社交焦虑个体对正性面孔刺激的解释偏差

本研究分别在短时（60ms）和长时（无时间限制）条件下呈现匹配的正性和中性面孔,要求高、低社交焦虑被试选择更具威胁性的面孔,以验证两者对正性刺激是否存在主观解释偏差,并考察该偏差产生于认知加工的哪一阶段。结果发现,长时条件下,高焦虑组选择正性面孔的比例显著高于低焦虑组;短时条件下无显著差异。提示高社交焦虑个体对正性刺激存在主观、外显的解释偏差,他们更倾向于对正性刺激做出消极解释,并且这种偏差产生于认知加工的后期。     

Dynamic Factor Analysis of Worldviews/Religious Beliefs and Well-Being among Older Adults

Intraindividual patterns of time-lagged relationships among self-reports of worldviews/religious beliefs, self-concept, and physical and psychological well-being were investigated. Participants were older adults (mean age = 77 years) who were measured weekly covering a total of 25 weeks. Dynamic Factor Models were fitted to multivariate repeated measures data pooled over subsets of participants. The results showed significant time-lagged cross-factor relationships suggesting that worldviews/religious beliefs had a significant direct effect on self-concept and physical health over 2 weeks. For each factor series, there were substantial autoregressive effects indicating persisting effects of factors on themselves over 1 or 2 weeks. A link between worldviews/religious beliefs and physical health was found in the time-lagged structure of within-person variability. The findings underscore the need to study both intraindividual change and interindividual differences in intraindividual variability to obtain a better understanding of behavior and behavioral development.

Blueprint for a dynamic deontic logic

Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions.     

A cortical framework for invariant object categorization and recognition

In this paper we present a new model for invariant object categorization and recognition. It is based on explicit multi-scale features: lines, edges and keypoints are extracted from responses of simple, complex and end-stopped cells in cortical area V1, and keypoints are used to construct saliency maps for Focus-of-Attention. The model is a functional but dichotomous one, because keypoints are employed to model the “where” data stream, with dynamic routing of features from V1 to higher areas to obtain translation, rotation and size invariance, whereas lines and edges are employed in the “what” stream for object categorization and recognition. Furthermore, both the “where” and “what” pathways are dynamic in that information at coarse scales is employed first, after which information at progressively finer scales is added in order to refine the processes, i.e., both the dynamic feature routing and the categorization level. The construction of group and object templates, which are thought to be available in the prefrontal cortex with “what” and “where” components in PF46d and PF46v, is also illustrated. The model was tested in the framework of an integrated and biologically plausible architecture.

Effects of anxiety and attention control on processing pictorial and linguistic emotional information

This study investigated the role of executive attention control in modulating selective processing of emotional information in anxiety. It was hypothesized that the combination of high anxiety and poor attention control would be associated with greater difficulty in ignoring task-irrelevant threat-related information. The study included both faces and words as stimuli. Cognitive interference effects were assessed using two emotional Stroop tasks: one with angry, fearful, happy and neutral faces, and one with threat-related, positive, and neutral words. An objective measure of attention control was obtained from the Attention network task. There were four participant groups with high/low trait anxiety and high/low attention control. Results indicated that the combination of high anxiety and poor attention control was associated with greater cognitive interference by emotional faces (including angry faces), compared to neutral faces. This interference effect was not evident in participants with high anxiety and high attentional control, or in low-anxious individuals. There was no evidence of associations between anxiety, attention control, and the interference effect of emotional words. Results indicate that high anxiety and poor attention control together predict enhanced processing of emotionally salient information, such as angry facial expressions. Implications for models of emotion processing are discussed.     

Early maturity of face recognition: No childhood development of holistic processing, novel face encoding, or face-space

Historically, it was believed the perceptual mechanisms involved in individuating faces developed only very slowly over the course of childhood, and that adult levels of expertise were not reached until well into adolescence. Over the last 10 years, there has been some erosion of this view by demonstrations that all adult-like behavioural properties are qualitatively present in young children and infants. Determining the age of maturity, however, requires quantitative comparison across age groups, a task made difficult by the need to disentangle development in face perception from development in all the other cognitive factors that affect task performance. Here, we argue that full quantitative maturity is reached early, by 5-7 years at the latest and possibly earlier. This is based on a comprehensive literature review of results in the 5-years-to-adult age range, with particular focus on the results of the few previous studies that are methodologically suitable for quantitative comparison of face effects across age, plus three new experiments testing development of holistic/configural processing (faces versus objects, disproportionate inversion effect), ability to encode novel faces (assessed via implicit memory) and face-space (own-age bias).     

Learning, risk attitude and hot stoves in restless bandit problems

This research examines decisions from experience in restless bandit problems. Two experiments revealed four main effects. (1) Risk neutrality: the typical participant did not learn to become risk averse, a contradiction of the hot stove effect. (2) Sensitivity to the transition probabilities that govern the Markov process. (3) Positive recency: the probability of a risky choice being repeated was higher after a win than after a loss. (4) Inertia: the probability of a risky choice being repeated following a loss was higher than the probability of a risky choice after a safe choice. These results can be described with a simple contingent sampler model, which assumes that choices are made based on small samples of experiences contingent on the current state.     

Inference and update

We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended.