Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

We present a methodology for the verification of multi-agent systems, whose properties are specified by means of a modal logic that includes a temporal, an epistemic, and a modal operator to reason about correct behaviour of agents. The verification technique relies on model checking via ordered binary decision diagrams. We present an implementation and report on experimental results for two scenarios: the bit transmission problem with faults and the protocol of the dining cryptographers.     

Cultural Differences in Physical Contact Between Hispanic and Anglo Mother–Infant Dyads Living in the United States

This is a study of differences in physical contact and tactile interpersonal behaviours between Hispanic and Anglo mothers and infants living in the United States. Infants were 9 months old and 52 mother–infant dyads, 26 Hispanic and 26 Anglo, were videotaped during free play without toys in a university laboratory playroom. Coders judged the interpersonal distance, physical contact and affectionate touch from the videotapes and mothers responded to a questionnaire about the importance of physical contact and affectionate touch in their relationship with their infant. From questionnaire data we found that Hispanic and Anglo mothers both touch their infants on a daily basis, although Hispanic mothers report touching more frequently, being more affectionate with their infants and having more skin-to-skin contact. From videotaped observations we found that there were no overall differences in mother–infant touch between the two cultures; however, the Hispanic mothers showed more close touch and more close and affectionate touch compared to Anglo mothers, who showed more distal touch. The results are discussed in terms of the role of touch in infant development and cultural differences in the evaluation of close physical contact and touch.     

On the nature of intuitive and delusional thought: Its implications in clinical work with psychotic patients

The author tries to differentiate intuitive imagination from delusional imagination and hypothesises that psychosis alters the system of intuitive thinking, which consequently cannot develop in a dynamic and selective way. Scholars of different disciplines, far removed from psychoanalysis, such as Einstein, Hadamard or Poincar, believe that intuitive thinking works in the unconscious by means of hidden processes, which permit a creative meeting of ideas. Thanks to Bion's work, psychoanalysts have begun to understand that waking thinking is unconsciously intertwined with dream‐work. The delusional construction is similar to a dreamlike sensorial production but, unlike a real dream, it remains in the waking memory and creates characters which live independently of the ‘dreamer's’ awareness. It is a dream that never ends. On the contrary, the real dream disappears when it has brought its communicative task to an end. In the analysis of psychotic patients it is very important to analyse the delusional imagination which dominates the personality and continuously transforms the mental state, twisting emotional truth. The delusional imagination is so deeply rooted in the patient's mental functioning that, even after systematic analysis, the delusional world, which had seemed to disappear, re‐emerges under new configurations. The psychotic core remains encapsulated; it produces unsteadiness and may induce further psychotic states in the patient. The author reports some analytic material of a patient, who, after a delusional episode treated with drugs, shows a vivid psychotic functioning. Some considerations are added on the nature of the psychotic state and on the therapeutic approach used to transform the delusional structure. This paper particularly deals with the difficulty in working through the psychotic episode and in ‘deconstructing’the delusional experience because of the terror connected with it. In the reported case, the analytic work changed the delusional construction into a more benign one characterised by phobic qualities. The analysis of the psychotic transference allowed the focus to be on the hidden work which had been continuously influencing the transferential picture of the analyst and the patient's psychic reality.     

Violence and Latin‐American preadolescents: A study of social brain function and cortisol levels

The present study investigated exposure to violence and its association with brain function and hair cortisol concentrations in Latin‐American preadolescents. Self‐reported victimization scores (JVQ‐R2), brain imaging (fMRI) indices for a social cognition task (the ‘eyes test’), and hair cortisol concentrations were investigated, for the first time, in this population. The eyes test is based on two conditions: attributing mental state or sex to pictures of pairs of eyes (Baron‐Cohen, Wheelwright, Hill, Raste, & Plumb, 2001). The results showed an association among higher victimization scores and (a) less activation of posterior temporoparietal right‐hemisphere areas, in the mental state condition only (including right temporal sulcus and fusiform gyrus); (b) higher functional connectivity indices for the Amygdala and Right Fusiform Gyrus (RFFG) pair of brain regions, also in the mental state condition only; (c) higher hair cortisol concentrations. The results suggest more exposure to violence is associated with significant differences in brain function and connectivity. A putative mechanism of less activation in posterior right‐hemisphere regions and of synchronized Amygdala: RFFG time series was identified in the mental state condition only. The results also suggest measurable effects of exposure to violence in hair cortisol concentrations, which contribute to the reliability of self‐reported scores by young adolescents. The findings are discussed in light of the effects of exposure to violence on brain function and on social‐cognitive development in the adolescent brain. A video abstract of this article can be viewed at https://www.youtube.com/watch?v=qHcXq7Y9PBk     

THE DREAM'S NAVEL BETWEEN CHAOS AND THOUGHT3

The authors begin by drawing attention to the problem of the transition from the biological to the psychic, noting that Freud himself, with his background in the neurosciences, grappled with it throughout his career. Certain recent paradigms more commonly applied to the natural sciences, such as in particular chaos and complexity theory, can in their view prove fruitful in psychoanalysis too, and it is shown how these notions are inherent in some of Freud's conceptions. The unconscious is stated to operate like a neural network, performing the kind of parallel processing used in the computing of highly complex situations, whereas the conscious mind is sequential. Dreams, in the authors' opinion, are organisers of the mind, imparting order to the turbulence of the underlying wishes and unconscious fantasies and structuring them through the dream work. Through dreams, the structured linearity of conscious thought can emerge out of the non‐linear chaos of the drives. The dream's navel can be seen as the chaotic link, or interface, between the unconscious wish, which constitutes an attractor, and the conscious thought. The attractor may be visualised as having an hourglass or clepsydra shape, the narrow section being the dream's navel, and, being the same at any scale of observation, has the property of fractality.     

To master or perform? Exploring relations between achievement goals and conceptual change learning

Background. Research is needed to explore conceptual change in relation to achievement goal orientations and depth of processing. Aims. To address this need, we examined relations between achievement goals, use of deep versus shallow processing strategies, and conceptual change learning using a think‐aloud protocol. Sample and Method. Seventy‐three undergraduate students were assessed on their prior knowledge and misconceptions about Newtonian mechanics, and then reported their achievement goals and participated in think‐aloud protocols while reading Newtonian physics texts. Results. A mastery‐approach goal orientation positively predicted deep processing strategies, shallow processing strategies, and conceptual change. In contrast, a performance‐approach goal orientation did not predict either of the processing strategies, but negatively predicted conceptual change. A performance‐avoidance goal orientation negatively predicted deep processing strategies and conceptual change. Moreover, deep and shallow processing strategies positively predicted conceptual change as well as recall. Finally, both deep and shallow processing strategies mediated relations between mastery‐approach goals and conceptual change. Conclusions. Results provide some support for Dole and Sinatra's (1998) Cognitive Reconstruction of Knowledge Model of conceptual change but also challenge specific facets with regard to the role of depth of processing in conceptual change.     

On the Patient's Becoming an Individual: The Importance of the Analyst's Personal Response to a Deprived Patient and Her Dreams

What patients mainly want—which Ferenczi noted as early as 1932 in his clinical diary and which Bion later expressed in his Cogitations (1992)—and what some patients need, is to experience how the analyst lives and processes the interpersonal events that lie at the origin of their affective and mental suffering. This is especially true with schizoid patients who were profoundly emotionally deprived in childhood. In this paper, the author investigates this crucial aspect of the intersubjective analytic relationship in his treatment of just such a patient, an extremely silent and inert young woman. Through a detailed examination of clinical material from various stages of her analysis, he explores how the analyst's unconscious emotional response serves as both a tool for comprehension and a key element of environmental facilitation—a “new beginning,” to use Balint's phrase—that may help the patient attain a level of development and emancipation that he or she has never experienced before.