The complexity of satisfiability for fragments of hybrid logic—Part I

The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments.In this paper, we investigate the effect of restricting the propositional part of the language on decidability and on the complexity of the satisfiability problem over arbitrary, transitive, total frames, and frames based on equivalence relations. We also consider different sets of modal and hybrid operators. We trace the border of decidability and give the precise complexity of most fragments, in particular for all fragments including negation. For the monotone fragments, we are able to distinguish the easy from the hard cases, depending on the allowed set of operators.     

Human Decisions in Moral Dilemmas are Largely Described by Utilitarianism: Virtual Car Driving Study Provides Guidelines for Autonomous Driving Vehicles

Science and Engineering Ethics - Ethical thought experiments such as the trolley dilemma have been investigated extensively in the past, showing that humans act in utilitarian ways, trying to cause...     

Scoring Depression on a Common Metric: A Comparison of EAP Estimation,Plausible Value Imputation,and Full Bayesian IRT Modeling

There are a growing number of item response theory (IRT) studies that calibrate different patient-reported outcome (PRO) measures, such as anxiety, depression, physical function, and pain, on common, instrument-independent metrics. In the case of depression, it has been reported that there are considerable mean score differences when scoring on a common metric from different, previously linked instruments. Ideally, those estimates should be the same. We investigated to what extent those differences are influenced by different scoring methods that take into account several levels of uncertainty, such as measurement error (through plausible value imputation) and item parameter uncertainty (through full Bayesian IRT modeling). Depression estimates from different instruments were more similar, and their corresponding confidence/credible intervals were larger when plausible value imputation or Bayesian modeling was used, compared to the direct use of expected a posteriori (EAP) estimates. Furthermore, we explored the use of Bayesian IRT models to update item parameters based on newly collected data.     

Analysis of Variance Models with Stochastic Group Weights

The analysis of variance (ANOVA) is still one of the most widely used statistical methods in the social sciences. This article is about stochastic group weights in ANOVA models – a neglected aspect in the literature. Stochastic group weights are present whenever the experimenter does not determine the exact group sizes before conducting the experiment. We show that classic ANOVA tests based on estimated marginal means can have an inflated type I error rate when stochastic group weights are not taken into account, even in randomized experiments. We propose two new ways to incorporate stochastic group weights in the tests of average effects – one based on the general linear model and one based on multigroup structural equation models (SEMs). We show in simulation studies that our methods have nominal type I error rates in experiments with stochastic group weights while classic approaches show an inflated type I error rate. The SEM approach can additionally deal with heteroscedastic residual variances and latent variables. An easy-to-use software package with graphical user interface is provided.     

Social validation in group decision-making: Differential effects on the decisional impact of preference-consistent and preference-inconsistent information

Shared information has a stronger impact on group decisions than unshared information. A prominent explanation for this phenomenon is that shared information can be socially validated during group discussion and, hence, is perceived as more accurate and relevant than unshared information. In the present study we argue that this explanation only holds for preference-inconsistent information (i.e., information contradicting the group members’ initial preferences) but not for preference-consistent information. In Experiments 1 and 2 participants studied the protocol of a fictitious group discussion. In this protocol, we manipulated which types of information were socially validated. As predicted, social validation increased the decisional impact of preference-inconsistent but not preference-consistent information. In both experiments the effect of social validation was mediated by the perceived quality of information. Experiment 3 replicated the results of the first two experiments in an interactive setting in which two confederates discussed a decision case face-to-face with one participant.     

Coping with loneliness in old age: a cross-cultural comparison

The present study is an examination of the influence of cultural background on the ways in which the aged cope with loneliness. Thirty-six participants from Canada and 105 from Portugal (60-83 years old) answered an 86-item questionnaire which examined thebeneficial strategies which they used to cope with loneliness. The strategies which were examined included Acceptance and Reflection, Self-Development and Understanding, Social Support Network, Distancing and Denial, Religion and Faith, and Increased Activity. Results indicated that the elderly of the two cultures differ on three subscales. Gender differences between and within cultures were also examined.     

Young children's selective learning of rule games from reliable and unreliable models

We investigated preschoolers’ selective learning from models that had previously appeared to be reliable or unreliable. Replicating previous research, children from 4 years selectively learned novel words from reliable over unreliable speakers. Extending previous research, children also selectively learned other kinds of acts – novel games – from reliable actors. More important, – and novel to this study, this selective learning was not just based on a preference for one model or one kind of act, but had a normative dimension to it. Children understood the way a reliable actor demonstrated an act not only as the better one, but as the normatively appropriate or correct one, as indicated in both their explicit verbal comments and their spontaneous normative interventions (e.g., protest, critique) in response to third-party acts deviating from the one demonstrated. These findings are discussed in the broader context of the development of children's social cognition and cultural learning.     

The nonverbal manifestations of cognitive processes in clinical listening

Nonverbal behaviors were observed during communicative sequences in videotaped clinical interviews. The interviews were conducted by two groups of physicians-in-training with contrasting cognitive profiles as determined by well-known laboratory tasks prior to the interviews. In each phase of the communicative sequences, significant differences emerged between the two groups for various types of nonverbal behaviors. Differences also emerged between the two groups of interviewers in their questioning patterns and in the nature of the narrative elicited from their interlocutors. A correlational analysis revealed consistent patterns of behaviors across phases of the communicative sequences. The findings provide additional evidence for the intimate connection between nonverbal behavior and cognitive activity and point to nonverbal behaviors as objective measures of the processes underlying clinical listening.