A verification framework for agent programming with declarative goals

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have hardly incorporated the concept of a declarative goal. Instead, such frameworks have focused mainly on plans or goals-to-do instead of the end goals to be realised which are also called goals-to-be. In this paper, the programming language GOAL is introduced which incorporates such declarative goals. The notion of a commitment strategy—one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals—is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. Thus, the main contribution of this paper, rather than the language GOAL itself, is that we offer a complete theory of agent programming in the sense that our theory provides both for a programming framework and a programming logic for such agents. An example program is proven correct by using this programming logic.     

Predicting short-term outcome in well-being following suicidal behaviour: the conjoint effects of social perfectionism and positive future thinking

This study investigated an integrative, psychological model of suicidality involving the relationship between perfectionism and future thinking to predict short-term outcome in well-being following a suicidal episode. Two hundred and sixty-seven adults hospitalized following a self-harm episode completed a range of clinical and psychological measures in hospital and were followed up approximately two months after discharge. Hierarchical regression analyses confirmed that, among the suicidal self-harmers who had a history of repetitive self-harm (n=65), outcome among low social perfectionists changed as a function of positive future thinking such that outcome was better for those high on positive thoughts compared with those low on positive future thoughts. There was no such positive change in outcome among the high social perfectionists. There were also no significant interactive effects evident among the non-repetitive self-harmers (n=61). These findings extend recent research to suggest that socially prescribed perfectionism and positive future thinking (but not negative future thinking) are implicated in outcome following repetitive suicidality. Implications for theory and clinical practice are discussed.     

Young children associate novel words with complex objects rather than salient parts

How do children learn associations between novel words and complex perceptual displays? Using a visual preference procedure, the authors tested 12- and 19-month-olds to see whether the infants would associate a novel word with a complex 2-part object or with either of that object's parts, both of which were potentially objects in their own right and 1 of which was highly salient to infants. At both ages, children's visual fixation times during test were greater to the entire complex object than to the salient part (Experiment 1) or to the less salient part (Experiment 2)--when the original label was requested. Looking times to the objects were equal if a new label was requested or if neutral audio was used during training (Experiment 3). Thus, from 12 months of age, infants associate words with whole objects, even those that could potentially be construed as 2 separate objects and even if 1 of the parts is salient.     

Major life events and major chronic difficulties are differentially associated with history of major depressive episodes

Major life events have been found to precede onsets of a 1st lifetime episode of depression more commonly than subsequent recurrences. Despite general empirical support for this finding, few data directly address how the role of major life events may change over successive recurrences. Further, little research has examined major chronic difficulties in relation to a 1st lifetime episode versus a recurrence of depression. The present study tested the associations between major life events and major difficulties in relation to lifetime history of depressive episodes in a sample of 96 individuals diagnosed with major depression. Using investigator-based measures of life stress, the authors found that, whereas major life events were associated with fewer lifetime episodes, major chronic difficulties were related to more prior episodes. These findings are discussed in terms of underlying mechanisms that may account for the changing role of major life stress over successive recurrences of depression.     

Asking the wrong questions about leadership

Comments on the article by R. J. Hackman and R. Wageman which presented some directions for leadership research. Hackman and Wageman organized their article around their five reject-accept questions suggesting new directions. The current author discusses how each of the questions appears far too timid for real progress in sorting out the chaff from the grain, but points out that the Hackman and Wageman article was a critique of five companion articles and made a substantial contribution to the literature.     

Examining Potential Differences Between Men and Women in the Impact of Treatment Discrimination

In drawing from the nonsymmetry hypothesis, the purpose of this study was to examine the possible differential effects of treatment discrimination on the career satisfaction and occupational turnover intentions of male and female head coaches of NCAA athletic teams. Data were gathered from 200 coaches. While there were no mean differences in the extent to which treatment discrimination was experienced, results from competing structural equation models demonstrated that treatment discrimination more adversely affected the work outcomes of men than women, thereby supporting the primary study hypothesis. Results demonstrate the need to not only examine mean differences in treatment discrimination, but also the potential for differential impact among members of various social categories.