Progression and Verification of Situation Calculus Agents with Bounded Beliefs

We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories.     

A unifying view of the basis of social cognition

In this article we provide a unifying neural hypothesis on how individuals understand the actions and emotions of others. Our main claim is that the fundamental mechanism at the basis of the experiential understanding of others' actions is the activation of the mirror neuron system. A similar mechanism, but involving the activation of viscero-motor centers, underlies the experiential understanding of the emotions of others.     

The Legitimate Name of a Fungal Plant Pathogen and the Ethics of Publication in the Era of Traceability

When more scientists describe independently the same species under different valid Latin names, a case of synonymy occurs. In such a case, the international nomenclature rules stipulate that the first name to appear on a peer-reviewed publication has priority over the others. Based on a recent episode involving priority determination between two competing names of the same fungal plant pathogen, this letter wishes to open a discussion on the ethics of scientific publications and points out the necessity of a correct management of the information provided through personal communications, whose traceability would prevent their fraudulent or accidental manipulation.

     

Intergroup alliances and rejections within a protest movement (analysis of the social representations)

Studied the development of a student protest movement which, after an initial success, rapidly declined. Opinion surveys were conducted simultaneously with an analysis of the social representations which our population (i.e. male and female university students) held about itself, its potential partners and the proposed strategies. For this latter method, different words related to the protest movement were used as stimuli for a free association task. Similarities between dictionaries were analysed according to Johnson's clustering method and Kruskal's multidimensional scaling method. The structure of social representations allows us to explain the lack of success of the protest movement in terms of intergroup differentiation: the students refused an alliance with the leaders of the movement and rejected their strategies because they progressively defined them and their culture as foreign to and incompatible with themselves. The concept of social representation is discussed in light of the findings.     

Conciliatory gestures facilitate forgiveness and feelings of friendship by making transgressors appear more agreeable

The authors examined how conciliatory gestures exhibited in response to interpersonal transgressions influence forgiveness and feelings of friendship with the transgressor. In Study 1, 163 undergraduates who had recently been harmed were examined longitudinally. Conciliatory gestures exhibited by transgressors predicted higher rates of forgiveness over 21 days, and this relationship was mediated by victims' perceptions of their transgressors' Agreeableness. Study 2 was an experiment including 145 undergraduates who experienced a breach in trust from an anonymous partner during an iterated prisoner's dilemma. When transgressors apologized and offered financial compensation, participants reported higher levels of forgiveness and feelings of friendship when compared to a control condition and an aggravating condition. The effects of apology/compensation on forgiveness and perceived friendship were mediated by victims' perceptions of their transgressors' Agreeableness. Results suggest that conciliatory gestures promote forgiveness in part by depicting transgressors as more sympathetic, considerate, fair, and just (i.e., agreeable).     

An area specifically devoted to tool use in human left inferior parietal lobule

A comparative fMRI study by Peeters et al. (2009) provided evidence that a specific sector of left inferior parietal lobule is devoted to tool use in humans, but not in monkeys. We propose that this area represents the neural substrate of the human capacity to understand tool use by using causal reasoning.     

Divergent Thinking and Age-Related Changes

Aging can affect cognition in different ways. The extent to which aging affects divergent thinking is unclear. In this study, younger and older adults were compared at the performance on the Torrance Test of Creative Thinking in visual and verbal form. Results showed that older adults can think divergently as younger participants, although they produce fewer visual ideas. This finding involves implications for active aging, given that also older adults can be still capable to produce original ideas and improve living conditions surrounding them.     

You better play 7: mutual versus common knowledge of advice in a weak-link experiment

This paper presents the results of an experiment on mutual versus common knowledge of advice in a two-player weak-link game with random matching. Our experimental subjects play in pairs for thirteen rounds. After a brief learning phase common to all treatments, we vary the knowledge levels associated with external advice given in the form of a suggestion to pick the strategy supporting the payoff-dominant equilibrium. Our results are somewhat surprising and can be summarized as follows: in all our treatments both the choice of the efficiency-inducing action and the percentage of efficient equilibrium play are higher with respect to the control treatment, revealing that even a condition as weak as mutual knowledge of level 1 is sufficient to significantly increase the salience of the efficient equilibrium with respect to the absence of advice. Furthermore, and contrary to our hypothesis, mutual knowledge of level 2 induces, under suitable conditions, successful coordination more frequently than common knowledge.