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.     

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.

Self and Other in Communication and Cognition: The Role of Auto-Communication and Intersubjectivity in Autopoiesis of Psychic Systems

By referring to Niklas Luhmann’s theory of self-referential systems, Aldo Mascareño (2008, submitted for publication) gives an account of system-environment interrelatedness, explaining how social and individual constitute each other through the process of communication and co-creation of meanings. Two possible extensions to his account are discussed. Firstly, auto-communication within the system that happens without any external reference needs to be taken into account while describing the existence and constant re-creation of psychic systems. Secondly, in order for the system and environment or two systems to communicate, an imagined and temporary intersubjectivity between the two needs to be assumed.     

HIERARCHIES: THE CORE ARGUMENT FOR A NATURALISTIC CHRISTIAN FAITH

This article takes on a perhaps impossible task: not only to reconstruct the core argument of Arthur Peacocke's program in science and religion but also to evaluate it in two major areas where it would seem to be vulnerable, namely, more recent developments in systems biology and the philosophy of mind. If his theory of hierarchies is to be successful, it must stand up to developments in these two areas and then be able to apply the results in a productive way to Christian theological reflection. Peacocke recognized that one's model of the mind‐body relation is crucial for one's position on the God‐world relation and divine action. Of the three models that he constructed, it turns out that only the third can serve as a viable model for theology if it is to be more than purely deistic or metaphorical.     

Taking old ideas seriously: Evolution, development, and human behavior

I argue that the roots of an adequate integration of evolution into psychology are not to be found in evolutionary psychology, but rather in evolutionary developmental biology (evo–devo). To this end, I provide an overview of evo–devo and explore the limited role that behavioral sciences have played in its genesis. I then motivate an evo–devo approach to psychobiology, and sketch desiderata for the success of this enterprise. In particular, I elucidate what it means to take both development and evolution seriously, and argue for the primacy of developmental analysis in the exploration of (human) behavior and its evolution.     

Inherent biases in decision support systems: the influence of optimistic and pessimistic DSS on choice,affect, and attitudes

This study investigates the influence of a decision aid on decision makers' model‐based choices, emotions during the use of the model, and attitudes towards the model. A time allocation decision model was biased to purposefully provide optimistic or pessimistic criterion levels, on which subjects based their allocations. The results of our experiment indicate that the degree of “optimism” and “pessimism” inherent in the decision model had a significant impact on the decision maker's choices of criterion values, with optimism leading to higher criterion level choices and pessimism to lower levels. Furthermore, compared to pessimistic models, optimistic models significantly improved the decision makers' emotional states and, to some degree, their attitudes towards the decision aid. The implications of these conscious and sub‐conscious influences on decision makers' choices, emotions, and attitudes are discussed and the need for model‐builders and users to be aware of them is highlighted. Copyright © 2007 John Wiley & Sons, Ltd.     

相关维度数量对两种结构类别学习的影响

在多重系统理论研究基础上,运用即时反馈训练范式,以大学生为被试,考查相关维度数量对基于规则和信息整合两种结构的类别学习的影响.结果表明:(1)相关维度数量是影响类别学习的重要因素,基于规则单维度结构的学习显著优于信息整合结构和基于规则双维度结构的学习,基于规则双维度结构的学习与信息整合结构的学习没有显著差异.(2)反应策略受到规则复杂性的影响,当类别结构中隐含的规则比较简单时,学习者使用规则策略;当类别结构中隐含的规则比较复杂时,学习者难以掌握规则,就会使用相似性策略.研究结果支持"难度观",而不支持多重系统理论.