Ethical Decision Making in Autonomous Vehicles: The AV Ethics Project

Science and Engineering Ethics - The ethics of autonomous vehicles (AV) has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident...     

Is Multiculturalism Discriminatory?

Res Publica - Many political theorists are multiculturalists. They believe that states ought to support and accommodate minority cultures, even if they disagree about when such support and...     

False memories and lexical decision: even twelve primes do not cause long-term semantic priming

Semantic priming effects are usually obtained only if the prime is presented shortly before the target stimulus. Recent evidence obtained with the so-called false memory paradigm suggests, however, that in both explicit and implicit memory tasks semantic relations between words can result in long-lasting effects when multiple 'primes' are presented. The aim of the present study was to investigate whether these effects would generalize to lexical decision. In four experiments we showed that even as many as 12 primes do not cause long-term semantic priming. In all experiments, however, a repetition priming effect was obtained. The present results are consistent with a number of other results showing that semantic information plays a minimal role in long-term priming in visual word recognition.     

Thought-shape fusion in anorexia nervosa: an experimental investigation

Cognitive biases and cognitive distortions have been implicated as important factors in the development and maintenance of many disorders. The concept of thought-shape fusion (TSF) in eating disorders was developed by Shafran, Teachman, Kerry, and Rachman (British Journal of Clinical Psychology 38 (1999) 167) as a variant of thought-action fusion, described by Shafran, Thordarson and Rachman (Journal of Anxiety Disorders 10 (1996) 379). TSF occurs when thinking about eating certain types of food increases a person's estimate of their shape and/or weight, elicits a perception of moral wrongdoing, and/or makes the person feel fat. Shafran et al. (1999) examined both the psychometric and experimental properties of TSF in an undergraduate sample. This paper reports an extension of this work to a clinical group (N=20) of patients with anorexia nervosa. After completing a set of relevant questionnaires, participants were asked to think about a food which they considered extremely fattening. They were then asked to write out the sentence, "I am eating--.", inserting the name of the fattening food in the blank. After being asked to rate their anxiety, guilt, feelings about their weight, morality, etc., participants were given the opportunity to neutralize their statement in any way they chose. The majority of the participants neutralized in ways consistent with the findings of Shafran et al. (1999). The results are discussed in terms of cognitive-behavioural formulations of eating disorders, and of the influence of cognitive biases and cognitive distortions on the processing of information relevant to food, weight and shape in anorexia nervosa.     

Context and the interpretation of likelihood information: the role of intergroup comparisons on perceived vulnerability

Four experiments investigated how people's perceptions about a group's (e.g., women's) vulnerability to a disease are influenced by information about the prevalence of the disease in a comparable group (e.g., men). Participants read symptom and prevalence infomation about fictitious diseases before answering questions regarding target group vulnerability. Participants used the prevalence rate for a nontarget group as an immediate comparison standard for intuitively interpreting the degree of vulnerability of a target group, resulting in robust contrast effects. Experiments 3 and 4 illustrated that these contrast effects can cause a person's intuitive perceptions about a group's vulnerability to selected diseases to conflict with his or her knowledge of the prevalence rates for the diseases. The results support a distinction between 2 components of psychological uncertainty-beliefs in objective probability and more intuitive perceptions of certainty.     

Ability evaluation by proxy: role of maximal performance and related attributes in social comparison

Four experiments tested the effects of information about a proxy's related attributes and maximal effort in social comparisons of ability. In Study 1, a proxy's prior performance at maximal effort exerted systematic effects on participants' personal performance predictions for a novel task. When information about the proxy's effort was ambiguous (Study 2). information about related attribute similarity was used in the formulation of performance predictions. In Studies 3 and 4, 2-way interaction terms revealed that participants used related attribute information in generating performance predictions when the proxy's maximum effort was unknown. However, related attribute information was disregarded when proxy's maximum effort was unambiguous. Results were consistent with the proxy comparison model of ability self-evaluation (L. Wheeler, R. Martin, & J. Suls, 1997).     

Classical Non-Associative Lambek Calculus

We introduce non-associative linear logic, which may be seen as the classical version of the non-associative Lambek calculus. We define its sequent calculus, its theory of proof-nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.     

Satisfiability Testing for Boolean Formulas Using Δ-trees

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem.