Update Semantics of Security Protocols

We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agents’ beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.     

A six-factor structure of personality-descriptive adjectives: solutions from psycholexical studies in seven languages

Standard psycholexical studies of personality structure have produced a similar 6-factor solution in 7 languages (Dutch, French, German, Hungarian, Italian, Korean, Polish). The authors report the content of these personality dimensions and interpret them as follows: (a) a variant of Extraversion, defined by sociability and liveliness (though not by bravery and toughness); (b) a variant of Agreeableness, defined by gentleness, patience, and agreeableness (but also including anger and ill temper at its negative pole); (c) Conscientiousness (emphasizing organization and discipline rather than moral conscience); (d) Emotionality (containing anxiety, vulnerability, sentimentality, lack of bravery, and lack of toughness, but not anger or ill temper); (e) Honesty-Humility; (f) Intellect/Imagination/Unconventionality. A potential reorganization of the Big Five factor structure is discussed.     

Global and local processing of hierarchical visual stimuli in tufted capuchin monkeys (Cebus apella)

Capuchin monkeys' (Cebas apella) relative accuracy in the processing of the global shape or the local features of hierarchical visual stimuli was assessed. Three experiments are presented featuring manipulations of the arrangement and the density of the local elements of the stimuli. The results showed a clear advantage for local level processing in this species, which is robust under manipulations of the density of the local elements of the stimuli. By contrast the density of the component elements linearly affected accuracy in global processing. These findings, which support those from other studies in which a local superiority emerged in animals, challenge the generality of early claims concerning the adaptive value of global advantage in the processing of hierarchical visual patterns.     

MMPI-2 and MCMI-III scores among dutch inpatient substance abusers: Assessing correspondence and cross-cultural equivalence

The Millon Clinical Multiaxial Inventory (MCMI-II and MCMI-III) and the Minnesota Multiphasic Personality Inventory (MMPI-2) were applied to 263 Dutch inpatient substance abusers with multiple psychiatric diagnoses, and the results compared with those of 306 North-American substance abusers studied by Ward (1995). We looked for structural similarity both across groups (per instrument) and across the two instruments (per sample), using principal components analysis and congruence analysis. The component structure found by Ward was partly replicated in the Dutch group, thus cross-validating the use of the two instruments with these patients. Moreover, as found by Ward, the MMPI-2 content and supplementary scales of the Dutch sample proved to be important determinants of the first three MMPI-2 components, adding to convergent validity. Questions remained about the influence of the (dis)continuity of MCMI-II and MCMI-III on the replicability of the MCMI components.     

Pavlov in America: a heterodox approach to the study of his influence

This work presents a critical analysis of Pavlov's influence that goes beyond the conventional view: that which reduces his influence in American psychology to the behaviorism of Watson and Hull. In order to understand the nature of the Russian physiologist's influence in American psychology, we propose a distinction between three approaches to it: 1) the symbolic approach, on representing a model of the possibility of constructing an objective psychology; 2) the methodological approach, given the importance of the technique of conditional reflexes; and 3) the theoretical approach, which is derived from his theory of higher nervous activity. This perspective permits us to suggest that most of Pavlov's influence on behaviorism was of a symbolic and methodological nature--though the methodological influence also reached other authors that did not belong to the behaviorist traditions, as was the case of Mateer. As far as the theoretical influence is concerned, our work proposes that it is more visible in authors such as Gantt and Liddell, or even in authors such as Boldirev, Director of the Pavlovian Laboratory at the Battle Creek Sanitarium in Michigan. The case of Gantt is especially interesting because, in addition to his important contributions, he played an essential role in the foundation of the Pavlovian Society, and the journal Conditional Reflex. What our work proposes is that to understand the nature of Pavlov's influence in American psychology it is necessary to take into account the very characteristics of that psychology: its pragmatic interests, its methodological rigor, the dominant systems of neo-behavioral theory and the changes that occurred after the Second World War.     

Visual perspective taking for avatars in a Simon task

In modern digital applications, users often interact with virtual representations of themselves or others, called avatars. We examined how these avatars and their perspectives influence stimulus–response compatibility in a Simon task. Participants responded to light/dark blue stimuli with left/right key presses in the presence of a task-irrelevant avatar. Changes in stimulus–response compatibility were used to quantify changes in the mental representation of the task and perspective taking toward this avatar. Experiments 1 and 2 showed that perspective taking for an avatar occurred in orthogonal stimulus–response mappings, causing a compatibility effect from the avatar’s point of view. In the following two experiments we introduced a larger variety of angular disparities between the participant and avatar. In Experiment 3, the Simon effect with lateralized stimulus positions remained largely unaffected by the avatar, pointing toward an absence of perspective taking. In Experiment 4, after avatar hand movements were added in order to strengthen the participants’ sense of agency over the avatar, a spatial compatibility effect from the avatar’s perspective was observed again, and hints of the selective use of perspective taking on a trial-by-trial basis were found. Overall, the results indicate that users can incorporate the perspective of an avatar into their mental representation of a situation, even when this perspective is unnecessary to complete a task, but that certain contextual requirements have to be met.     

Anomalous cerebral language organization: acquired crossed aphasia in a dextral child

Following a dramatic change of its reported incidence, it was only recently recognized that acquired crossed aphasia in dextral children represents a highly exceptional phenomenon. We describe in a three epoch time-frame model the aphasic and neurocognitive manifestations of an additional case and focus briefly on its anatomoclinical configurations. In our patient, a right parietal cortico-subcortical hemorrhagic lesion caused an initially severe aphasia. After remission of the global aphasic symptoms in the acute phase, an adynamic output disorder with relatively severe auditory-verbal comprehension disturbances developed. In addition to the adynamia of self-generated speech, formal language investigations performed 3 weeks postonset, revealed agrammatism, hypertonic dysarthria, and dysprosodia. A substantial improvement of the aphasic disorder was objectified 83 days postonset. Neuropsychological investigations disclosed both dominant and nondominant hemisphere dysfunctions. Reassessment of neurocognitive functions after a 10-year period evidenced discrete residual anomia, confined to visual confrontational naming and a discrete visuo-perceptual syndrome. Given the posterior localization of the lesion, the syndrome shift from global to predominantly adynamic aphasia represents a finding beyond the plausible anatomoclinical expectations holding in general for the uncrossed, classic types of childhood and adult aphasia. As the first representative of crossed aphasia in dextral children with an anomalous lesion-aphasia profile, our case provides evidence to enrich the discussion on lateralization and intrahemispherical organization of language functions in both childhood and adult aphasia.     

Social influences on parental and nonparental responses toward pups in virgin female prairie voles (Microtus ochrogaster)

Pair-bonded prairie voles (Microtus ochrogaster) are biparental after the birth of pups. However, whereas most adult virgin males are parental, most virgin females are not. In 6 experiments, influences on the parental behavior of virgin female prairie voles were examined. It was found that (a) young virgin females were more maternal than older females, (b) the postweaning sex ratio of cage-mates did not affect females' responses to pups, (c) females raised to adulthood with their parents and younger siblings present were highly parental, (d) 48-hr exposure to pups beginning at weaning increased some aspects of later maternal responding, (e) rearing to adulthood with the parents even in the absence of younger siblings also increased females' maternal responding, and (f) the increase was seen only if both parents were present. Continued parental presence promotes alloparental behavior, possibly important if daughters do not disperse from the natal nest.     

Knowledge level learning and the power law: A soar model of skill acquisition in scheduling

Zusammenfassung. Das hier vorgestellte Modell lernt graduell, Planungsaufgaben aus der Klasse der Maschinenbelegungsprobleme (job-shop-scheduling problems) zu lösen. Mit Hilfe des Chunking-Mechanismus von Soar wird episodisches Wissen über die Belegungsreihenfolge von Aufträgen auf Maschinen memoriert. Bei der Entwicklung des Modells wurden zahlreiche qualitative (z. B. Transfereffekte) und quantitative Befunde (z. B. Bearbeitungszeiten) aus einer früheren empirischen Untersuchung berücksichtigt. In einer Validierungsstudie wurden dieselben Aufgaben von 14 Probanden und dem Modell bearbeitet. Die Passung von Simulationsdaten und empirischen Ergebnissen fiel insgesamt gut aus. Allerdings löst das Modell die Aufgaben schneller und zeigt auch einen etwas besseren Lernverlauf als die Probanden. Das Modell liefert eine Erklärung für das Rauschen, das typischerweise bei Bearbeitungszeiten zu beobachten ist: es handelt sich um erworbenes Wissen, das mehr oder weniger gut und auch unterschiedlich häufig auf neue Situationen übertragen wird. Der Lernverlauf der Probanden entspricht nur für aggregierte Daten einer Potenzfunktion (power law). Der vorgestellte Mechanismus zeigt, wie ein symbolisches Modell der Informationsverarbeitung graduelle Verhaltensänderungen generiert und wie der offensichtliche Erwerb allgemeiner Prozeduren ohne explizites Lernen von deklarativen Regeln erfolgen kann. Es wird nahegelegt, daß es sich hier um die Modellierung einer Form impliziten Lernens handelt. Summary. The model presented here gradually learns how to perform a job-shop scheduling task. It uses Soar's chunking mechanism to acquire episodic memories about the order to schedule jobs. The model was based on many qualitative (e.g., transfer effects) and quantitative (e.g., solution time) regularities found in previously collected data. The model was tested with new data where scheduling tasks were given to the model and to 14 subjects. The model generally fit these data with the restrictions that the model performs the task (in simulated time) faster than the subjects, and its performance improves somewhat more quickly than the subjects' performance. The model provides an explanation of the noise typically found in problem solving times - it is the result of learning actual pieces of knowledge that transfer more or less to new situations but rarely by an average amount. Only when the data are averaged (i.e., over subjects) does the smooth power law appear. This mechanism demonstrates how symbolic models can exhibit a gradual change in behavior and how the apparent acquisition of general procedures can be performed without resorting to explicit declarative rule generation. We suggest that this may represent a type of implicit learning.