The computational complexity of scenario-based agent verification and design

We first advocate that the AUML (Agent Unified Modeling Language) notation, even in its new version, is not precise enough to adequately describe protocols. This problem was long identified by Harel and we propose to follow his solution: extend sequence diagrams with a “prechart”, i.e. single out the initiation sequence of the protocol. This new notation keeps readability and intuition, but is also technically adequate and is given a formal semantics. It actually is a form of simple temporal logics, equipped with a game-based semantics, which is appropriate for modeling agent-based systems. We then go on to study its complexity. Unsurprisingly, the version with protocol roles is undecidable. The main interesting problem is to synthesize agents that follow the protocol described. Surprisingly, it is undecidable even if we remove roles, alternatives, loops, asynchronous communication, conditions, constraints, negations (already removed in AUML). The complexity of checking whether a society of agents obeys a protocol given in this trivial notation is also surprisingly high: it is PSPACE-complete, like temporal logic, while we show that this simple language is strongly less expressive than temporal logic. Notations in-between have the expected increase in expressiveness, but no increase in complexity. This justifies the use of a language including alternatives, asynchronous communication and conditions, since it increases expressiveness with no cost in complexity.     

Integrating core conflictual relationship themes in neurobiological assessment of interpersonal processes in psychotherapy

Interpersonal processes are a key target in counselling and psychotherapy. It is of paramount importance to sharpen their assessment using integrated methods. Hence, this methodological paper describes how fields of research in psychotherapy and neuroimaging can be integrated into one novel complementary neurobehavioural paradigm that can be applied to enhance our understanding of interpersonal processes in psychotherapy. To illustrate this integration, we present selected data from a pre–post pilot study where the authors assessed interpersonal processes in brief treatment for borderline personality disorder using the core conflictual relationship theme, functional magnetic resonance imaging (fMRI) and outcome questionnaires. To do so, they measured individual changes in neural activity using an fMRI task pre‐ and post‐treatment where clients gave feedback on the emotional valence of sentences extracted from their own Relationship Anecdotes Paradigm interviews mixed with neutral ones. In this paper, using data from two participants of said study, we discuss how to implement this methodology and what can be achieved in terms of results.     

Ability and Knowing How in the Situation Calculus

Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct.     

Surface‐ and deep‐level dissimilarity effects on social integration and individual effectiveness related outcomes in work groups: A meta‐analytic integration

Prior research linking demographic (e.g., age, ethnicity/race, gender, and tenure) and underlying psychological (e.g., personality, attitudes, and values) dissimilarity variables to individual group member's work‐related outcomes produced mixed and contradictory results. To account for these findings, this study develops a contingency framework and tests it using meta‐analytic and structural equation modelling techniques. In line with this framework, results showed different effects of surface‐level (i.e., demographic) dissimilarity and deep‐level (i.e., underlying psychological) dissimilarity on social integration, and ultimately on individual effectiveness related outcomes (i.e., turnover, task, and contextual performance). Specifically, surface‐level dissimilarity had a negative effect on social integration under low but not under high team interdependence. In return, social integration fully mediated the negative relationship between surface‐level dissimilarity and individual effectiveness related outcomes under low interdependence. In contrast, deep‐level dissimilarity had a negative effect on social integration, which was stronger under high and weaker under low team interdependence. Contrary to our predictions, social integration did not mediate the negative relationship between deep‐level dissimilarity and individual effectiveness related outcomes but suppressed positive direct effects of deep‐level dissimilarity on individual effectiveness related outcomes. Possible explanations for these counterintuitive findings are discussed.     

Mindfulness meditation counteracts self-control depletion

Mindfulness meditation describes a set of different mental techniques to train attention and awareness. Trait mindfulness and extended mindfulness interventions can benefit self-control. The present study investigated the short-term consequences of mindfulness meditation under conditions of limited self-control resources. Specifically, we hypothesized that a brief period of mindfulness meditation would counteract the deleterious effect that the exertion of self-control has on subsequent self-control performance. Participants who had been depleted of self-control resources by an emotion suppression task showed decrements in self-control performance as compared to participants who had not suppressed emotions. However, participants who had meditated after emotion suppression performed equally well on the subsequent self-control task as participants who had not exerted self-control previously. This finding suggests that a brief period of mindfulness meditation may serve as a quick and efficient strategy to foster self-control under conditions of low resources.     

On the Nature of the Probe Reaction-Time Task to Uncover the Attentional Demands of Movement

McLeod (1980) reported some findings which showed that no phase of a movement was more attention-demanding than the other phases, contrary to all the results previously reported (e.g., Ells, 1973; Glencross, 1980). However, McLeod used a paradigm in which the two tasks were serial. Each task consisted of a series of 50 reaction time (RT) trials and/or 50 aiming movement trials. In addition to this, the interval of time between a response and the following signal within each series was constant. In order to try to replicate McLeod’s findings, two experiments were conducted in which the response-signal interval was manipulated. The hypothesis was that time certainty associated with a constant interval would facilitate the allocation of time and would thus artificially reduce the interference between tasks. In Experiment I, manual responses were used for the RT task; in Experiment II, they were vocal. Manipulation of the response-signal interval does not change one of the conclusions reached by McLeod: when the RT task involves vocal responses and the results on the RT task are analyzed in terms of response rather than stimulus arrival during the movement, then there is no phase of the movement which is more attention-demanding than the other phases. However, the results of Experiment II in which both the vocal RT task and the movement task significantly deteriorated in the dual-task condition were taken as an indication that the movement studied involved central attentional demands.     

Gender attribution and gender agreement in 4- to 10-year-old French children

Grammatical gender is generally considered an early and error-free acquisition in French children. This article first examines how children cope with the gender attribution problem, i.e., how they determine the gender of individual nouns. We consider the plausibility and requirements of an account in which tacit phonological assignment rules are put to use to solve attribution problems and contrast it with a simple “masculine as default” strategy. Elicited production data from three experiments, involving 312 4–10-year-old French children and 40 adult controls, were found compatible with this latter scenario and to provide only scant support for the former one. Second, we argue that previous studies have overestimated French children's gender agreement abilities, and that French children's ability to make the article and the adjective agree can be assumed from age 7 onwards, but not before.     

Saint Francis versus McDonald’s? Contemporary Globalization Critique and Hans Urs von Balthasar's Theological Aesthetics

Seattle, Prague, Quebec, Nice, Gothenburg, Genoa, Brussels, Barcelona, ≡ All these cities formed the setting of mass globalization protests. In most mass media reports, the presence of thousands of peaceful demonstrators has been outshone by the pictures of radical activists smashing McDonald's and Niketown. In the search for an adequate theological response to today's context of globalization, this article takes precisely this radical activism as a starting–point. In line with those postmodern iconoclasts’ own legitimation, a theological approach to this case leads to the Marxist theory of fetishism and idolatry as it has already been investigated by liberation theologians two decades ago. Surprisingly, a renewed version of this critique of the theologization of economics can be found in No Logo (2000), the trend–setting globalization critique written by the Canadian journalist Naomi Klein. A theological close reading of this best–selling book brings to the light a recurrent use of religious metaphor to characterize the corporate logo as a major aesthetic figure in the context of globalization. In order to understand the aesthetic and (pseudo–)theological processes involved, a confrontation with the theological aesthetics of Hans Urs von Balthasar (in particular his essay on Bonaventure) delivers a striking formal parallel between the Church's cross and today's corporate logo. Beyond an at first sight similar theo–aesthetic programme, Balthasar's theological aesthetics however opens up a position which enables us to expose the contemporary global socio–economic system as a subtly inverted Christianity.