Solving the $100 modal logic challenge

We present the theoretical foundation, design, and implementation, of a system that automatically determines the subset relation between two given axiomatizations of propositional modal logics. This is an open problem for automated theorem proving. Our system solves all but six out of 121 instances formed from 11 common axiomatizations of seven modal logics. Thus, although the problem is undecidable in general, our approach is empirically successful in practically relevant situations.     

The Attitude–Behavior Relationship: A Test of Three Models of the Moderating Role of Behavioral Difficulty1

The moderating role of behavioral difficulty in the attitude–behavior relationship remains a controversial topic in social psychology. Previous research has been unclear in establishing the direction of this moderation, and 3 theoretical models have been proposed: positive and linear; negative and monotonic; and quadratic. The current paper reports analyses of survey data from 5 different studies that afford measures of environmental attitude, behavior, and behavioral difficulty. Across these studies, we found a substantial and unmoderated average attitude–behavior relationship (r = .54). The data also show that the attitude–behavior relationship is weaker for extremely easy and extremely difficult behaviors. Additional analyses suggest, however, that these reductions in the attitude–behavior relationship are probably because of methodological reasons.     

Does familiarity or conflict account for performance in the word-stem completion task? Evidence from behavioural and event-related-potential data

The conflict monitoring theory (CMT) assumes that word-stems associated with several completions should lead to crosstalk and conflict due to underdetermined responding situation (Botvinick et al. in Psychol Rev 108(3):624–652, 2001). In contrast, the Multiple-Read-Out-Model (MROM) of Jacobs and Grainger (J Exp Psychol 20(6): 1311–1334, 1994) predicts a high level of general lexical activity (GLA) for word-stems with many completions, indicating a higher stimulus familiarity because these stems are more probable to be read. We compared word-stems with several completions against word-stems with one possible completion while measuring response times and electrophysiological recordings. Slowest response times and a distinct FN400 component, which has previously been related to the concept of familiarity (Curran in Memory Cogn 28(6):923–938, 2000), were apparent for word-stems that could only be associated with a single response. These findings support the claims of the MROM. Furthermore, the lack of the N2-component for word-stems with several completions continues to challenge the EEG-extension of the CMT (Yeung et al. in Psychol Rev 111(4):2004).     

Hindsight bias redefined: It’s about time

Four experiments introduced a new conceptual and methodological approach to hindsight bias, traditionally defined as the tendency to exaggerate the a priori predictability of outcomes after they become known. By examining likelihood estimates rooted to specific time points during an unfolding event sequence (videos and short text stories), judged both in foresight and hindsight, we conceptualized hindsight bias as a contrast between two “inevitability curves,” which plotted likelihood against time. Taking timing into account, we defined three new indicators of accuracy: linear accuracy (how well hindsight judgments capture the linear trend of foresight judgments over time), rate accuracy (how well hindsight judgments reflect the slope of foresight judgments over time), and temporal accuracy (how well hindsight judgments specify the overall timing of the full envelope of foresight judgments). Results demonstrated that hindsight judgments showed linear and rate accuracy, but were biased only in terms of lack of temporal accuracy. The oft-used catchphrase “knew it all along effect” was found to be a misnomer, in that participants were well aware in hindsight that their earlier foresight judgments reflected uncertainty. The current research therefore points to one way in which retrospective judgments can be considered biased, yet simultaneously suggests that considerable accuracy exists when people render such judgments.     

THE EFFECT OF CULTURE AND GENDER ON SELF-REPORTED ASSERTIVE BEHAVIOR

The purpose of the present study was to investigate the relationship between cultural affiliation, gender and assertive behavior in two distinct socio-cultural groups. Ninety-seven Israeli Arab students and 97 Israeli Jewish students, of both sexes, filled out the Assertion Inventory (Gambrill and Richey 1975) during a class meeting. Analysis of the results indicated differences between the two cultural groups. In general, Arab participants showed a lower level of assertiveness than their Jewish counterparts. Differences between gender and interaction of culture x gender were found in certain factors related to behavior in specific social situations. These findings were discussed on the basis of accepted social behavior within various cultural contexts.     

Remapping versus short-term memory in visual stability across saccades

Saccadic eye movements cause displacements of the image of the visual world projected on the retina. Despite the ubiquitous nature of saccades, subjective experience of the world is continuous and stable. In five experiments, we addressed the mechanisms that may support visual stability: matching of pre- and postsaccadic locations of the target by an internal copy of the saccade, or retention of the visual attributes of the target in short-term memory across the saccade. Healthy human adults were instructed to make a saccade to a peripheral Gabor patch. While the saccade was in midflight, the patch could change location, orientation, or both. The change occurred either immediately or following a 250-ms blank during which no visual stimuli were available. In separate experiments, subjects had to report either whether the patch stepped to the left or right or whether the orientation rotated clockwise or counterclockwise. Consistent with previous findings, we found that transsaccadic displacement discrimination was enhanced by the addition of the blank. However, contrary to previous findings reported in the literature, the feature change did not improve performance. Transsaccadic orientation change discrimination did not depend on either an irrelevant temporal blank or a simultaneous irrelevant target displacement. Taken together, these findings suggest that orientation is not a relevant visual feature for transsaccadic correspondence.     

Decomposing task-switching costs with the diffusion model

In four experiments, task-switching processes were investigated with variants of the alternating runs paradigm and the explicit cueing paradigm. The classical diffusion model for binary decisions (Ratcliff, 1978) was used to dissociate different components of task-switching costs. Findings can be reconciled with the view that task-switching processes take place in successive phases as postulated by multiple-components models of task switching (e.g., Mayr & Kliegl, 2003; Ruthruff, Remington, & Johnston, 2001). At an earlier phase, task-set reconfiguration (Rogers & Monsell, 1995) or cue-encoding (Schneider & Logan, 2005) takes place, at a later phase, the response is selected in accord with constraints set in the first phase. Inertia effects (Allport, Styles, & Hsieh, 1994; Allport & Wylie, 2000) were shown to affect this later stage. Additionally, findings support the notion that response caution contributes to both global as well as to local switching costs when task switches are predictable.