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. 相似文献
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.
Recent findings (Beilock & Carr, 2005) have demonstrated that only individuals with a high working memory capacity (WMC) “choke
under pressure” on math problems with high working memory demands. This suggests that performance pressure hinders those who
are the most qualified to succeed, because it consumes the WMC they usually rely on to achieve superior performance. This
puts into question the use of performance in high-pressure situations as a means of distinguishing individuals with lesser
or greater WMC potentials. While addressing several limitations of past research, we offer evidence that such choking (1)
occurs only in individuals with high WMC, because of their anxiety-ridden perceptions of high-stakes situations, and (2) is
not confined to tasks involving acquired skills and knowledge, but encompasses fluid reasoning abilities or intelligence (Gf).
These findings have strong implications for assessments of people’s intellectual capacities in academic, clinical, work, and
research settings. 相似文献
This paper describes a brief measure of Bales's three SYMLOG dimensions. A sample of 204 undergraduates with a mean age of 24.7 yr., 72.4% of whom were women, completed the usual version of the SYMLOG Trait Rating Form. This could also be scored as if it were a simplified version, omitting some items. The Simplified Measure of the SYMLOG Trait Rating Form correlated fairly highly with the full form--with r between .87 and .89 for the corresponding versions of all three scale dimension scores--making it a suitable substitute for research or illustrative purposes on occasions when respondents' time is of the essence. 相似文献
The theoretical basis of occupational therapy interventions was investigated in two mental health facilities in the Midwestern United States. Using retrospective cohort and grounded theory designs, 121 medical records were reviewed and five occupational therapy practitioners were interviewed. Theoretical reasoning was not explicitly documented, but according to analysis, the behavioral/cognitive-behavioral model, client-centered models, and the model of human occupation were the most frequently used theories to guide interventions. Lack of documentation of theory use has significant implications for the value accorded to occupational therapy skills in health care. A larger study is recommended to increase external generalizability of the findings. 相似文献
Dispositional reasoning is defined as general reasoning about traits, behaviors, and situations. Although earlier accuracy studies found that it predicted interview judgment accuracy, they did not distinguish between its underlying components (i.e., trait induction, trait extrapolation, and trait contextualization). This drawback has hampered insight into the nature of the dispositional reasoning construct. Therefore, we use a componential approach to test if dispositional reasoning adheres to classical criteria for an intelligence. Results from 146 managerial interviewers who observed videotaped interviewees showed that the dispositional reasoning components had positive manifold and predicted interview accuracy. Moreover, they demonstrated discriminant validity with personality and incremental validity over cognitive ability in predicting interview accuracy. Together, findings suggest that dispositional reasoning broadly adheres to the classical criteria for an intelligence. 相似文献