Using temporal logics of knowledge for specification and verification—a case study

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic. We discuss the advantages and disadvantages of using this logic to specify and verify the game Cluedo and describe related implementations.     

Habituation and novelty detection fNIRS brain responses in 5‐ and 8‐month‐old infants: The Gambia and UK

The first 1,000 days of life are a critical window of vulnerability to exposure to socioeconomic and health challenges (i.e. poverty/undernutrition). The Brain Imaging for Global Health (BRIGHT) project has been established to deliver longitudinal measures of brain development from 0 to 24 months in UK and Gambian infants and to assess the impact of early adversity. Here results from the Habituation‐Novelty Detection (HaND) functional near‐infrared spectroscopy (fNIRS) task at 5 and 8 months are presented (N = 62 UK; N = 115 Gambia). In the UK cohort distinct patterns of habituation and recovery of response to novelty are seen, becoming more robust from 5 to 8 months of age. In The Gambia, an attenuated habituation response is evident: a larger number of trials are required before the response sufficiently suppresses relative to the response during the first presented trials. Furthermore, recovery of response to novelty is not evident at 5 or 8 months of age. As this longitudinal study continues in The Gambia, the parallel collection of socioeconomic, caregiving, health and nutrition data will allow us to stratify how individual trajectories of habituation and recovery of response to novelty associate with different risk factors and adaptive mechanisms in greater depth. Given the increasing interest in the use of neuroimaging methods within global neurocognitive developmental studies, this study provides a novel cross‐culturally appropriate paradigm for the study of brain responses associated with attention and learning mechanisms across early development.     

Developmental history and stress responsiveness are related to response inhibition,but not judgement bias,in a cohort of European starlings (Sturnus vulgaris)

Animal Cognition - Judgement bias tasks are designed to provide markers of affective states. A recent study of European starlings (Sturnus vulgaris) demonstrated modest familial effects on...     

Self-centered memories: The reminiscence bump and the self

The self-memory relationship is thought to be bidirectional, in such a way that memories provide context for the self, and equally, the self exercises control over retrieval (Conway, 2005). Autobiographical memories are not distributed equally across the life span; instead, memories peak between ages 10 and 30. This reminiscence bump has been suggested to support the emergence of a stable and enduring self. In the present study, the relationship between memory accessibility and self was explored with a novel methodology that used generation of self images in the form of I am statements. Memories generated from I am cues clustered around the time of emergence for that particular self image. We argue that, when a new self-image is formed, it is associated with the encoding of memories that are relevant to that self and that remain highly accessible to the rememberer later in life. This study offers a new methodology for academics and clinicians interested in the relationship between memory and identity.     

Evidence for expectancy as a mediator of avoidance and anxiety in a laboratory model of human avoidance learning

A laboratory model was developed to study human avoidance learning. Participants could avoid an electric shock signalled by a 5-s conditioned stimulus (CS) by pressing one of a set of response buttons. Self-reported shock expectancy and skin conductance were recorded during a subsequent 10-s interval before shock. Shock expectancy declined when the correct avoidance response was learned and returned when the response was unavailable. Learning transferred to another shock CS. Parallel effects were observed on skin conductance once performance anxiety was controlled by requiring responding on all trials. Learning was faster when the Pavlovian contingencies were trained before introduction of the instrumental response. The results support a cognitive model of anxiety in which performance of an avoidance response reduces expectancy of an aversive outcome and thereby reduces anxiety.     

Self‐Categorization and Bystander Non‐intervention: Two Experimental Studies1

This paper outlines a new approach to the study of bystander intervention. Using insights derived from self‐categorization theory (Turner, Hogg, Oakes, Reicher, & Wetherell, 1987), we explore the social category relations among those present in the context of physical violence. The paper describes two experiments that manipulate the social category relations between (a) bystander and fellow bystanders, and (b) bystander and victim. Analysis indicates that fellow bystanders are only influential when they are in‐group rather than out‐group members. Furthermore, bystanders are more likely to help victims who are described as in‐group as opposed to out‐group members. Overall, the findings suggest an important role for a self‐categorization perspective in developing strategies to promote bystander intervention.     

Race,Class, and Gender: A Constellation of Positionalities With Implications for Counseling

Race, class, and gender are social, political, economic, and cultural constructs that describe the positionalities of people. How these constructs are defined depends on the status occupied by individuals and the individual, institutional, and societal status of the individuals who have the power to construct hierarchies. The authors examine the intersection of race, class, and gender and the dimensions of oppression and discrimination in counseling. Historical and contemporary dimensions of racism, misogyny, and classism are presented. La Raza, clase social, y el género son construcciones sociales, políticas, económicas, y culturales que describen las posicionalidades de la gente. La definición de éstas construcciones depende de la posición social ocupada por los individuos e instituciones que tienen el poder de construir estas jerarquías. Los autores examinan el cruce de la raza, la clase, y el género y las dimensiones de la opresión y la discriminación en la consejería. Las dimensiones históricas y contemporáneas del racismo, la misoginia, y el clasismo se presentan.     

Changing your mind

When individuals detect an inconsistency in a set of propositions, they tend to change their minds about at least one proposition to resolve the inconsistency. The orthodox view from William James (1907) onward has been that a rational change should be minimal. We propose an alternative hypothesis according to which individuals seek to resolve inconsistencies by explaining their origins. We report four experiments corroborating the explanatory hypothesis. Experiment 1 showed that participants’ explanations revised general conditional claims rather than specific categorical propositions. Experiment 2 showed that, when explanations did revise the categorical proposition, participants also tended to deny the consequences of a second generalization. Experiment 3 showed that this tendency persists when participants previously affirmed these consequences explicitly. Experiment 4 showed that, when participants could easily explain an inconsistency by revising a generalization, they were more likely to accept the consequences of a second generalization. All four results contravene minimalism but support the explanatory hypothesis.     

Lateral preferences and writing hand posture in left-handers: A reply to Levy

In reply to the commentary from J. Levy about a recent article of ours (A. Searleman, C. Porac, & S. Coren, 1984, Brain and Cognition, 3, 86–93), we find that she has shifted the level of analysis from between-sex comparisons (as demanded by our original hypothesis) to within-sex comparisons. Since she is addressing a different set of questions, we therefore find no compelling reasons to alter any of our conclusions or the confidence that we have in these conclusions.