Merging Frameworks for Interaction

A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall, No Miracles, and Bisimulation Invariance. We then focus on new issues of completeness. One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL.     

Applying automated deduction to natural language understanding

Very few natural language understanding applications employ methods from automated deduction. This is mainly because (i) a high level of interdisciplinary knowledge is required, (ii) there is a huge gap between formal semantic theory and practical implementation, and (iii) statistical rather than symbolic approaches dominate the current trends in natural language processing. Moreover, abduction rather than deduction is generally viewed as a promising way to apply reasoning in natural language understanding. We describe three applications where we show how first-order theorem proving and finite model construction can efficiently be employed in language understanding.The first is a text understanding system building semantic representations of texts, developed in the late 1990s. Theorem provers are here used to signal inconsistent interpretations and to check whether new contributions to the discourse are informative or not. This application shows that it is feasible to use general-purpose theorem provers for first-order logic, and that it pays off to use a battery of different inference engines as in practice they complement each other in terms of performance.The second application is a spoken-dialogue interface to a mobile robot and an automated home. We use the first-order theorem prover spass for checking inconsistencies and newness of information, but the inference tasks are complemented with the finite model builder mace used in parallel to the prover. The model builder is used to check for satisfiability of the input; in addition, the produced finite and minimal models are used to determine the actions that the robot or automated house has to execute. When the semantic representation of the dialogue as well as the number of objects in the context are kept fairly small, response times are acceptable to human users.The third demonstration of successful use of first-order inference engines comes from the task of recognising entailment between two (short) texts. We run a robust parser producing semantic representations for both texts, and use the theorem prover vampire to check whether one text entails the other. For many examples it is hard to compute the appropriate background knowledge in order to produce a proof, and the model builders mace and paradox are used to estimate the likelihood of an entailment.     

The Process of Growth in Krishna Consciousness and Sacredness in Belgium

The article focuses on the Hare Krishna members in Belgium. The movement owns a temple on the outskirts of a provincial city in the south of the country. Fieldwork was carried out among the ‘temple residents’ (at Radhadesh, the ‘Petite Somme’), those who live in its vicinity, the ‘congregationalists’ in the local centres, and those who are on the way of being initiated. The article focuses on the development members undergo from ‘adepts’ to ‘devotees’, that is from ‘congregationalists’ to becoming full-time ‘temple residents’ in Radhadesh. The question we address concerns the process of members’ growth in Krishna consciousness and sacredness.     

An Ethical Argument in Favor of Nano-enabled Diagnostics in Livestock Disease Control

Livestock production has been confronted with several epidemics over the last decades. The morality of common animal disease strategies—stamping out and vaccination—is being debated and provokes controversies among farmers, authorities and the broader public. Given the complexity and controversy of choosing an appropriate control strategy, this article explores the potential of nano-enabled diagnostics in future livestock production. At first glance, these applications offer promising opportunities for better animal disease surveillance. By significantly shortening the reaction time from diagnosis to appropriate control, they could complement the current disease management strategies. Although nano-enabled diagnostics will not make livestock disease eradication strategies redundant or completely free of the culling of infected animals, these diagnostics could significantly reduce the number of culled animals and animal suffering. This article aims to demonstrate that the ethical assessment of advanced diagnostics can build on the experiences with decision making in biomedical ethics where nonmaleficence, beneficence, autonomy and justice serve as important benchmarks. Nano-enabled diagnostics may be an ethically sound solution if it can resolve the dilemma between stamping out and vaccination in favor of the latter and if it can balance the autonomy–paternalism dilemma between farmers and authorities. The technology should allow to be switched on and off by farmers, whilst simultaneously allowing for a weak paternalism on behalf of authorities in order to benefit the farmer and broader society and to protect them from harm.

Collaboration enhances later individual memory for emotional material

Research on collaborative remembering suggests that collaboration hampers group memory (i.e., collaborative inhibition), yet enhances later individual memory. Studies examining collaborative effects on memory for emotional stimuli are scarce, especially concerning later individual memory. In the present study, female undergraduates watched an emotional movie and recalled it either collaboratively (n?=?60) or individually (n?=?60), followed by an individual free recall test and a recognition test. We replicated the standard collaborative inhibition effect. Further, in line with the literature, the collaborative condition displayed better post-collaborative individual memory. More importantly, in post-collaborative free recall, the centrality of the information to the movie plot did not play an important role. Recognition rendered slightly different results. Although collaboration rendered more correct recognition for more central details, it did not enhance recognition of background details. Secondly, the collaborative and individual conditions did not differ with respect to overlap of unique correct items in free recall. Yet, during recognition former collaborators more unanimously endorsed correct answers, as well as errors. Finally, extraversion, neuroticism, social anxiety, and depressive symptoms did not moderate the influence of collaboration on memory. Implications for the fields of forensic and clinical psychology are discussed.     

The adoption of physical activity and eating behaviors among persons with obesity and in the general population: the role of implicit attitudes within the Theory of Planned Behavior

Obesity can be prevented by the combined adoption of a regular physical activity (PA) and healthy eating behaviors (EB). Researchers mainly focused on socio-cognitive models, such as the Theory of Planned Behavior (TPB), to identify the psychological antecedents of these behaviors. However, few studies were interested in testing the potential contribution of automatic processes in the prediction of PA and EB. Thus, the main objective of this study was to explore the specific role of implicit attitudes in the pattern of prediction of self-reported PA and EB in the TPB framework, among persons with obesity and in adults from the general population. One hundred and fifty-three adults participated to this cross-sectional study among which 59 obese persons (74% women, age: 50.6 ± 12.3 years, BMI: 36.8 ± 4.03 kg m^–²) and 94 people from the general population (51% women; age: 34.7 ± 8.9 years). Implicit attitudes toward PA and EB were estimated through two Implicit Association Tests. TPB variables, PA and EB were assessed by questionnaire. Regarding to the prediction of PA, a significant contribution of implicit attitudes emerged in obese people, β = .25; 95%[CI: .01, .50]; P = .044, beyond the TPB variables, contrary to participants from the general population. The present study suggests that implicit attitudes play a specific role among persons with obesity regarding PA. Other studies are needed to examine which kind of psychological processes are specifically associated with PA and EB among obese people.     

God changes people: modes of authentication in Evangelical conversion narratives

One of the distinguishing characteristics of Evangelicalism is the conversion story. In this article we focus on the conversion stories of interviewees within the setting of several related Evangelical television programs broadcast in the Netherlands since the 1980s. We argue that the conversion story is construed through a particular view on and practice of authenticity. Thus we see that, in the televised conversion story, modes of authentication are at work in what we analytically distinguish as frames, narratives, and strategies of authentication. We argue that the idea of an authentic transformation has changed from a more fundamentalist mode of authentication, emphasizing the subjection of the self to a particular religious narrative, to a more expressive mode of authentication that emphasizes the exploration of the inner, unique self of the interviewee.     

Procedural justice and the hedonic principle: how approach versus avoidance motivation influences the psychology of voice

The authors investigate the relation between the hedonic principle (people's motivations to approach pleasure and to avoid pain) and procedural justice. They explore whether approach or avoidance motivation increases the effect that people feel they were treated more fairly following procedures that do versus do not allow them an opportunity to voice their opinion. Experiments 1 and 2 reveal that these procedures influence procedural justice judgments more strongly when people conduct approach motor action (arm flexion) than when they conduct avoidance motor action (arm extension). Experiment 3 indicates that individual-difference measures of participants' approach motivations predicted procedural justice judgments following voice versus no-voice procedures. The authors conclude that people's motivational orientations stimulate their fairness-based reactions to voice procedures.