We provide a Kripke semantics for a STIT logic with the ??next?? operator. As the atemporal group STIT is undecidable and unaxiomatizable, we are interested in strict fragments of atemporal group STIT. First we prove that the satisfiability problem of a formula of the fragment made up of individual coalitions plus the grand coalition is also NEXPTIME-complete. We then generalize this result to a fragment where coalitions are in a given lattice. We also prove that if we restrict the language to nested coalitions the satisfiability problem is NP-complete if the number of agents is fixed and PSPACEcomplete if the number of agents is variable. Finally we embed individual STIT with the ??next?? operator into a fragment of atemporal group STIT. 相似文献
It has long been known that eye movements are functionally involved in the generation and maintenance of mental images. Indeed, a number of studies demonstrated that voluntary eye movements interfere with mental imagery tasks (e.g., Laeng and Teodorescu in Cogn Sci 26:207–231, 2002). However, mental imagery is conceived as a multifarious cognitive function with at least two components, a spatial component and a visual component. The present study investigated the question of whether eye movements disrupt mental imagery in general or only its spatial component. We present data on healthy young adults, who performed visual and spatial imagery tasks concurrently with a smooth pursuit. In line with previous literature, results revealed that eye movements had a strong disruptive effect on spatial imagery. Moreover, we crucially demonstrated that eye movements had no disruptive effect when participants visualized the depictive aspects of an object. Therefore, we suggest that eye movements serve to a greater extent the spatial than the visual component of mental imagery. 相似文献
Rheumatoid arthritis (RA) prevalence increases with age and old people are special patient population. The recognition of functional disability related to RA could be challenging in elderly patients because aging itself and potential co-morbid disease may also cause functional disability. In this study, we aimed to look at the correlation between disease activity and functional disability in elderly RA patients. Elderly RA patients, ≥65 years old at their routine visits were included in the study. The composite ‘disease activity score’ in 28 joints (DAS-28) was used to determine disease activity groups. Health assessment questionnaire (HAQ) scores were calculated to describe the functional disability and compared across the disease activity groups. Two hundred and fifty-eight RA patients with the mean age of 71 ± 5 (65–90) and a total disease duration of 8.4 ± 8.5 (.5–50) years were recruited. The proportion of patients with high and moderate disease activity was 70%. HAQ scores were significantly correlated with disease activity (p < .05). Functional disability estimated by HAQ was correlated with disease activity in elderly patients with RA 相似文献
A limited number of measures assess young adults’ perceptions of childhood disorganized and controlling attachment, and although they are empirically strong, the use of these measures can be time consuming and financially straining. The current study aimed to add to the attachment literature by developing a self-report measure, the Childhood Disorganization and Role Reversal Scale (CDRR), to assess for the complexity of those attachment constructs in young adults. This study aimed to assess the psychometric properties of the CDRR using two separate samples of 750 and 656 undergraduate students (601 females; Mage?=?18.68, 66.4% Caucasian; 531 females; Mage?=?18.68 years, 63.6% Caucasian; respectively), and a community sample of 96 participants (81 females, Mage?=?19.27, 65.6% Caucasian). The results of the Principal Component Analysis (PCA) revealed a four-factor structure for both CDRR parent versions. The CDRR mother version includes the Disorganization/Punitive, Mutual Hostility, Affective Caregiving, and Appropriate Boundaries scales, while the CDRR father version includes the Disorganization, Affective Caregiving, Appropriate Boundaries, and Punitive scales. Overall, support was provided for the psychometric properties of the CDRR. For instance, the CDRR scales demonstrated adequate structural stability (confirmatory factor analyses), internal consistency (Cronbach’s coefficient alphas ranged from .78–.95 for mother scale, and .75–.96 or father scale), temporal reliability (intraclass correlation coefficient ranged from .68–.89 for mother scale, and .69–.87 for father scale), criterion-related validity, convergent validity, and discriminant validity. The CDRR will assist researchers in broadening the understanding of psychological outcomes of disorganized and controlling attachment representations in young adulthood. 相似文献
Since the seminal study by Chun and Jiang (Cognitive Psychology, 36, 28–71, 1998), a large body of research based on the contextual-cueing paradigm has shown that the cognitive system is capable of extracting statistical contingencies from visual environments. Most of these studies have focused on how individuals learn regularities found within an intratrial temporal window: A context predicts the target position within a given trial. However, Ono, Jiang, and Kawahara (Journal of Experimental Psychology, 31, 703–712, 2005) provided evidence of an intertrial implicit-learning effect when a distractor configuration in preceding trials N ? 1 predicted the target location in trials N. The aim of the present study was to gain further insight into this effect by examining whether it occurs when predictive relationships are impeded by interfering task-relevant noise (Experiments 2 and 3) or by a long delay (Experiments 1, 4, and 5). Our results replicated the intertrial contextual-cueing effect, which occurred in the condition of temporally close contingencies. However, there was no evidence of integration across long-range spatiotemporal contingencies, suggesting a temporal limitation of statistical learning. 相似文献
How do people automatize their dual-task performance through bottleneck bypassing (i.e., accomplish parallel processing of the central stages of two tasks)? In the present work we addressed this question, evaluating the impact of sensory–motor modality compatibility—the similarity in modality between the stimulus and the consequences of the response. We hypothesized that incompatible sensory–motor modalities (e.g., visual–vocal) create conflicts within modality-specific working memory subsystems, and therefore predicted that tasks producing such conflicts would be performed less automatically after practice. To probe for automaticity, we used a transfer psychological refractory period (PRP) procedure: Participants were first trained on a visual task (Exp. 1) or an auditory task (Exp. 2) by itself, which was later presented as Task 2, along with an unpracticed Task 1. The Task 1–Task 2 sensory–motor modality pairings were either compatible (visual–manual and auditory–vocal) or incompatible (visual–vocal and auditory–manual). In both experiments we found converging indicators of bottleneck bypassing (small dual-task interference and a high rate of response reversals) for compatible sensory–motor modalities, but indicators of bottlenecking (large dual-task interference and few response reversals) for incompatible sensory–motor modalities. Relatedly, the proportion of individuals able to bypass the bottleneck was high for compatible modalities but very low for incompatible modalities. We propose that dual-task automatization is within reach when the tasks rely on codes that do not compete within a working memory subsystem.