A formalisation of violation, error recovery, and enforcement in the bit transmission problem

The design of complex multi-agent systems is increasingly having to confront the possibility that agents may not behave as they are supposed to. In addition to analysing the properties that hold if protocols are followed correctly, it is also necessary to predict, test, and verify the properties that would hold if these protocols were to be violated. We illustrate how the formal machinery of deontic interpreted systems can be applied to the analysis of such problems by considering three variations of the bit transmission problem. The first, an example in which an agent may fail to do something it is supposed to do, shows how we deal with violations of protocols and specifications generally. The second, an example in which an agent may do something it is not supposed to do, shows how it is possible to specify and analyse remedial or error-recovery procedures. The third combines both kinds of faults and introduces a new component into the system, a controller, whose role is to enforce compliance with the protocol. In each case the formal analysis is used to test whether critical properties of the system are compromised, in this example, the reliable communication of information from one agent to the other.     

Set representations of orders and a structural equivalent of saturation

Set representations are useful in the theory of knowledge spaces. A set representation of an order is an isomorphic mapping of its base set into the power set of some set ordered by set inclusion. Such a representation is basic if the union of the representing sets of the predecessors of an element contains strictly less elements than the representing set of this element, and it is parsimonious if the difference is exactly one element. This paper investigates the properties of the minimal number of elements which must be used in a parsimonious representation. This value is studied for several order operations. Moreover, orders which allow essentially only one parsimonious set representation are structurally characterized. These orders are called saturated. Finally, the way to apply these results to knowledge spaces are outlined.     

知情同意中患方权利人的排序

知情同意是重要的病人权利之一,患方知情同意权的排序,直接关系到病人的利益,是一个不容忽视的伦理问题,也是一个必须解决的实践问题,对知情同意的内容,患方权利人的范围,资格和排序从医学伦理学角度进行初步分析,同时探讨了在特殊情况下知情同意权的伦理悖论和操作上的两难问题,我们认为,在医疗行业快速市场化的今天,尽快建立病人权利法规,对包括知情同意权在内的病人权利作出法律规定,已经是十分必要和十分迫切了。     

Explicit and motoric dependent measures of geographical slant are dissociable: A reassessment of the findings of Durgin, Hajnal, Li, Tonge, and Stigliani (2010)

Durgin et al. (2010) argued that the apparent accuracy of the palmboard measure of geographical slant is accidental and reflects limitations in wrist flexion that reduce palmboard adjustments by just the right amount given the perceptual overestimations upon which they are based. This account is inconsistent with findings that verbal reports and palmboard adjustments are dissociable. In addition to previous evidence found for such dissociation, Durgin et al. also found verbal/palmboard dissociations in Experiment 2. Experiments 1 and 3 of Durgin et al. lacked verbal reports and instead compared palmboard adjustments to free-hand estimates in the context of small wooden surfaces. These experiments are not relevant to the issue of verbal/palmboard dissociability. Across studies, the accuracy of Durgin et al.'s palmboard implementation is far less than that found by others (Feresin & Agostini, 2007). The design of Durgin et al.'s Experiment 5 misrepresented the experimental conditions of Creem and Proffitt (1998), and consequently, the findings of this study have no bearing on the issue at hand.     

The effect of generation on long-term repetition priming in auditory and visual perceptual identification

Perceptual implicit memory is typically most robust when the perceptual processing at encoding matches the perceptual processing required during retrieval. A consistent exception is the robust priming that semantic generation produces on the perceptual identification test (Masson & MacLeod, 2002), a finding which has been attributed to either (1) conceptual influences in this nominally perceptual task, or (2) covert orthographic processing during generative encoding. The present experiments assess these possibilities using both auditory and visual perceptual identification, tests in which participants identify auditory words in noise or rapidly-presented visual words. During the encoding phase of the experiments, participants generated some words and perceived others in an intermixed study list. The perceptual control condition was visual (reading) or auditory (hearing), and varied across participants. The reading and hearing conditions exhibited the expected modality–specificity, producing robust intra-modal priming and non-significant cross-modal priming. Priming in the generate condition depended on the perceptual control condition. With a read control condition, semantic generation produced robust visual priming but no auditory priming. With a hear control condition, the results were reversed: semantic generation produced robust auditory priming but not visual priming. This set of results is not consistent with a straightforward application of either the conceptual-influence or covert-orthography account, and implies that the nature of encoding in the generate condition is influenced by the broader list context.     

Preattentive processing of audio-visual emotional signals

Previous research has shown that redundant information in faces and voices leads to faster emotional categorization compared to incongruent emotional information even when attending to only one modality. The aim of the present study was to test whether these crossmodal effects are predominantly due to a response conflict rather than interference at earlier, e.g. perceptual processing stages. In Experiment 1, participants had to categorize the valence and rate the intensity of happy, sad, angry and neutral unimodal or bimodal face–voice stimuli. They were asked to rate either the facial or vocal expression and ignore the emotion expressed in the other modality. Participants responded faster and more precisely to emotionally congruent compared to incongruent face–voice pairs in both the Attend Face and in the Attend Voice condition. Moreover, when attending to faces, emotionally congruent bimodal stimuli were more efficiently processed than unimodal visual stimuli. To study the role of a possible response conflict, Experiment 2 used a modified paradigm in which emotional and response conflicts were disentangled. Incongruency effects were significant even in the absence of response conflicts. The results suggest that emotional signals available through different sensory channels are automatically combined prior to response selection.     

Sex differences in unfamiliar face identification: evidence from matching tasks

Research on sex differences in face recognition has reported mixed results, on balance suggesting an advantage for female observers. However, it is not clear whether this advantage is specific to face processing or reflects a more general superiority effect in episodic memory. The current study therefore examined sex differences with a face-matching task that eliminates memory demands. Across two experiments, female but not male observers showed an own-sex advantage on match trials, in which two pictures have to be identified as the same person. This advantage was present for whole faces and when only the internal or external facial features were shown. Female observers were also more accurate in these three conditions on mismatch encounters, in which two photographs have to be identified as different people, but this reflects a more general effect that is present for male and female faces. These findings converge with claims of a female advantage in face recognition and demonstrate that this effect persists when memory demands are eliminated.     

Lapsed attention to elapsed time? Individual differences in working memory capacity and temporal reproduction

Working memory capacity (WMC) predicts individual differences in a wide range of mental abilities. In three experiments we examined whether WMC would predict temporal judgment. Low-WMC temporal reproductions were consistently too long for the shortest duration and too short for the longest, but were accurate (unbiased) for the intermediate. In contrast, high-WMC temporal reproductions were more accurate (unbiased) across the range. Thus low-WMC showed a classic “migration effect” (Vierordt's Law) to a greater extent than high-WMC. Furthermore reproduction errors depended more on temporal context than the absolute durations of “shortest,” “longest,” and “intermediate.” Low-WMC reproductions were overall more variable than high-WMC. General fluid intelligence (gF) was also related to temporal bias and variability. However, WMC-related timing differences were only attenuated and not eliminated with gF as covariate. Results are discussed in terms of attention, memory, and other psychological constructs.     

Attention and gaze shifting in dual-task and go/no-go performance with vocal responding

Evidence from go/no-go performance on the Eriksen flanker task with manual responding suggests that individuals gaze at stimuli just as long as needed to identify them (e.g., Sanders, 1998). In contrast, evidence from dual-task performance with vocal responding suggests that gaze shifts occur after response selection (e.g., Roelofs, 2008a). This difference in results may be due to the nature of the task situation (go/no-go vs. dual task) or the response modality (manual vs. vocal). We examined this by having participants vocally respond to congruent and incongruent flanker stimuli and shift gaze to left- or right-pointing arrows. The arrows required a manual response (dual task) or determined whether the vocal response to the flanker stimuli had to be given or not (go/no-go). Vocal response and gaze shift latencies were longer on incongruent than congruent trials in both dual-task and go/no-go performance. The flanker effect was also present in the manual response latencies in dual-task performance. Ex-Gaussian analyses revealed that the flanker effect on the gaze shifts consisted of a shift of the entire latency distribution. These results suggest that gaze shifts occur after response selection in both dual-task and go/no-go performance with vocal responding.