An analytic tableau calculus for a temporalised belief logic

A tableau is a refutation-based decision procedure for a related logic, and is among the most popular proof procedures for modal logics. In this paper, we present a labelled tableau calculus for a temporalised belief logic called TML⁺, which is obtained by adding a linear-time temporal logic onto a belief logic by the temporalisation method of Finger and Gabbay. We first establish the soundness and the completeness of the labelled tableau calculus based on the soundness and completeness results of its constituent logics. We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML⁺ based on the recent results for model checking procedures for temporalised logics. TML⁺ is suitable for formalising trust and agent beliefs and reasoning about their evolution for agent-based systems. Based on the logic TML⁺, the proposed labelled tableau calculus could be used for analysis, design and verification of agent-based systems operating in dynamic environments.     

Public good provision in inter‐team conflicts: Effects of asymmetry and profit‐sharing rule

A fundamental problem in organizations is designing mechanisms for eliciting voluntary contributions from individual members of a team who are entrapped in a social dilemma. To solve the problem, we utilize a game‐theoretical framework that embeds the traditional within‐team social dilemma in a between‐team competition for an exogenously determined prize. In equilibrium, such competition enhances the incentive to contribute, thereby reducing free‐riding. Extending existing literature, we focus on asymmetric competitions between teams of unequal size, and competitions between more than two teams. Comparing two protocols for sharing the prize—egalitarian and proportional profit‐sharing rules—we find that (i) free‐riding diminishes and (ii) team members contribute more toward their team's effort when they belong to the larger team and when the profit‐sharing rule is proportional. (iii) Additionally, under the egalitarian profit‐sharing rule team members contribute more than predicted by the equilibrium solution. We discuss implications of our findings for eliciting contributions in competitive environments. Copyright © 2009 John Wiley & Sons, Ltd.     

The community substance use environment: The development and predictive ability of a multi‐method and multiple‐reporter measure

This study tested the feasibility and utility of developing a multiple‐method and multiple‐reporter measure that describes the community substance use environment. Data on community‐level norms and availability of substances were reported by 5261 students and 181 prevention‐focused community leaders (CL) involved in the 28 promoting school–university–community partnerships to enhance resilience (PROSPER) Project communities between 2002 and 2005. Additionally, locations of alcohol and tobacco outlets were geocoded. Initially, these four subscales were aggregated to measure the community substance use environment. Analyses demonstrated this measure was associated with community rates of adolescent reported cigarette use, but it was not associated with community rates of adolescent reported alcohol use. Further analyses tested the relative strength of the four different subscales in predicting rates of student use. Implications of these results for the field of community‐based prevention are discussed, as well as limitations and future directions. Copyright © 2009 John Wiley & Sons, Ltd.     

应用Rasch模型测试和分析儿童入学准备状态

本研究的目的在于应用Rasch模型编制和分析数学入学准备测验,从而分析Rasch模型的有效性和优势。自编数学入学准备测试,对150名平均年龄为6.6岁的儿童进行测查,应用Rasch模型对题目和评分等级做出修正并分析结果。结果表明修正后的测试具有较好的信效度,较好地拟合了Rasch模型,评分等级设置合理,测试的整体难度相对较低。儿童的Rasch分数和性别无关,但受到年龄、家庭社会经济地位的影响。相对于经典测量理论而言,应用Rasch模型进行入学准备测试的编制和分析具有优势。     

Not all effect sizes are the same: Comments on Holden (2008)

Despite the common belief that response bias is a significant moderator of psychological tests in field settings, these biases have been notoriously difficult to identify. Holden (2008) has recently presented evidence suggesting this paradox may at least in part be explained by problems inherent to the use of moderated regression with self-report indicators of response bias. His article offers an innovative proposal for understanding a central issue in applied test use. However, the conclusions drawn about both moderated regression and the general validity of response bias indicators are open to alternative explanations. It would be premature to assume these factors are important contributors to the ephemeral character of response bias effects.     

Intra-individual reaction time variability in schizophrenia, depression and borderline personality disorder

Intra-individual reaction time variability (IIV) in neuropsychological task performance reflects short term fluctuations in performance. Increased IIV has been reported in patients with schizophrenia and could be related to a deficient neural timing mechanism, but the role of IIV in adult patients with other psychiatric disorders has not been established. Therefore, we compared IIV measures obtained in a Go/Nogo task from patients with schizophrenia, major depression and borderline personality disorder. IIV was increased for patients with schizophrenia. When correcting for differences in mean reaction time, depressive and borderline patients also showed increased IIV. Importantly, all groups showed a strong association between IIV and accuracy of task performance. This suggests that increased IIV might be a sensitive marker for the efficiency of top-down attentional control in all diagnostic groups. Aside from these similarities, the complete results including measures of IIV, mean reaction time and accuracy show differential patterns for patients with schizophrenia compared to those with borderline personality disorder or depression. These results are discussed with respect to common versus disorder-specific neural mechanisms underlying increased IIV.     

Preserved metamemorial ability in patients with mild Alzheimer's disease: shifting response bias

Patients with mild Alzheimer's disease (AD) display a greater tendency to endorse unstudied items as "old" on memory tests than healthy older adults. This liberal response bias may result in mistaken beliefs about the completion of common tasks. This research attempted to determine whether it was possible to shift the response bias of mild AD patients to be more conservative on a recognition memory test through behavioral intervention. Patients with mild AD and matched controls were evaluated with two almost identical paradigms, separated by about one week. For each session, 30 words were studied and 60 words (half studied, half novel) were shown at test. During one session participants were told that 30% of words were old, and at the other session that 70% were old. We found that both groups were able to shift their response bias between the two conditions. That patients with mild AD were able to successfully shift their response bias demonstrates that--despite their overall liberal response bias and poor memory relative to controls--one component of metamemorial ability is preserved in patients with mild AD.     

Disentangling perceptual and motor components in inhibition of return

Following an abrupt onset of a peripheral stimulus (a cue), the response to a visual target is faster when the target appears at the cued position than when it appears at other positions. However, if the stimulus onset asynchrony (SOA) is longer than approximately 300 ms, the response to the target is slower at the cued position than that at other positions. This phenomenon of a longer response time to cued targets is called "inhibition of return" (IOR). Previous hypotheses propose contributions of both response inhibition and attentional inhibition at cued position to IOR, and suggest that responding to the cue can eliminate the component of response inhibition. The current study uses tasks either executing or withholding response to the cue to investigate the relative contributions of response and attention components to IOR. A condition with bilateral display of the cue is also chosen as a control condition, and eight different SOAs between 1,000 and 2,750 ms are tested. Compared to the control condition, response delay to the target at a cued position is eliminated by responding to the cue, and a response advantage to the target at an uncued position is not affected by responding to the cue. Furthermore, both response delay at a cued position and response advantage at an uncued position decrease with SOA in the time window tested in these experiments. The results reported here indicate a dominant response inhibition at a cued position and a primary attentional allocation at an uncued position for IOR. Nonsignificant perceptual/attentional suppression at a cued position is argued to be a benefit for visual detection in a changing world.     

Substantive and procedural norms in normative multiagent systems

Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to apply sanctions. Procedural norms have first been discussed in law, where they address legal practitioners such as legislators, lawyers and policemen, but they are discussed now too in normative multiagent systems to motivate software agents. Procedural norms aim to achieve the social order specified using regulative norms like obligations and permissions, and constitutive norms like counts-as obligations. In this paper we formalize procedural, regulative and constitutive norms using input/output logic enriched with an agent ontology and an abstraction hierarchy. We show how our formalization explains Castelfranchi's notion of mutual empowerment, stating that not only the agents playing a role in a normative system are empowered by the normative system, but the normative system itself is also empowered by the agents playing a role in it. In our terminology, the agents are not only institutionally empowered, but they are also delegated normative goals from the system. Together, institutional empowerment and normative goal delegation constitute a mechanism which we call delegation of power, where agents acting on behalf of the normative system become in charge of recognizing which institutional facts follow from brute facts.     

Rigorous Experiments on Monkey Love: An Account of Harry F. Harlow’s Role in the History of Attachment Theory

On the basis of personal reminiscences an account is given of Harlow’s role in the development of attachment theory and key notions of attachment theory are being discussed. Among other things, it is related how Harlow arrived at his famous research with rhesus monkeys and how this made Harlow a highly relevant figure for attachment theorist Bowlby.