Using temporal logics of knowledge for specification and verification—a case study

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal resolution calculus for this logic. We discuss the advantages and disadvantages of using this logic to specify and verify the game Cluedo and describe related implementations.     

Developmental history and stress responsiveness are related to response inhibition,but not judgement bias,in a cohort of European starlings (Sturnus vulgaris)

Animal Cognition - Judgement bias tasks are designed to provide markers of affective states. A recent study of European starlings (Sturnus vulgaris) demonstrated modest familial effects on...     

Evidence for expectancy as a mediator of avoidance and anxiety in a laboratory model of human avoidance learning

A laboratory model was developed to study human avoidance learning. Participants could avoid an electric shock signalled by a 5-s conditioned stimulus (CS) by pressing one of a set of response buttons. Self-reported shock expectancy and skin conductance were recorded during a subsequent 10-s interval before shock. Shock expectancy declined when the correct avoidance response was learned and returned when the response was unavailable. Learning transferred to another shock CS. Parallel effects were observed on skin conductance once performance anxiety was controlled by requiring responding on all trials. Learning was faster when the Pavlovian contingencies were trained before introduction of the instrumental response. The results support a cognitive model of anxiety in which performance of an avoidance response reduces expectancy of an aversive outcome and thereby reduces anxiety.     

Idealized and Industrialized Labor: Anatomy of a Feminist Controversy

Prompted by the ever‐increasing cesarean rate, this paper considers the interpretive disjunct between two significant strands of feminist analysis that have arisen in the last four decades as a consequence of the phenomenon of medicalized birth. In contrast to the dominant paradigm of bioethical “Principalism,” both modes of analysis, understood as “the critique of industrialized labor” and “the critique of idealized labor,” are attentive to the way in which social discourses inform bioethical deliberation and practice, but significantly diverge in the nature of their accounts. The “industrialization critique” understands the culture of medical intervention to be impelled by an “obstetric desire” to appropriate women's reproductive potency, whereas the “idealization critique” relates new mothers’ “low childbirth satisfaction” to a pernicious normative ideal propagated by the natural childbirth movement. This paper will explore the anatomy of both critiques and interrogate their fidelity to the phenomenological insight of the body as chiasm between material and ideal. I will argue that while the insights of the idealization critique are well grounded, we must exercise caution about the critique's tendency to reductively understand the embodied experience of labor as entirely discursively produced, a gesture that risks re‐performing the dematerialization of women often effected through obstetric intervention itself.     

It Was Here a Minute Ago—An Elder's Lament

The story of the violence in Los Angeles, that was published in newspapers and visible on TV worldwide, was a horrifying spectacle that needs no retelling. A few facts will suffice: During the three days of disorder, 45 people died, 2,380 people were injured, and 9,500 were arrested. It was the most deadly civil disturbance in the United States in the 20th century. Rage was not limited to the poor and poverty stricken, but was felt throughout the entire African American community. Contrary to the initial television and newspaper reports, the first outbursts of anger occurred not in the poorest parts of black Los Angeles, but in some of its most stable, middle class black neighborhoods where a large percentage of homes are owned by their occupants. Also, it needs to be said that the looters and arsonists who acted out the anger and frustration of the black community were multi racial and a very small proportion of the effected population.     

Deductive temporal reasoning with constraints

When modelling realistic systems, physical constraints on the resources available are often required. For example, we might say that at most N processes can access a particular resource at any moment, exactly M participants are needed for an agreement, or an agent can be in exactly one mode at any moment. Such situations are concisely modelled where literals are constrained such that at most N, or exactly M, can hold at any moment in time. In this paper we consider a logic which is a combination of standard propositional linear time temporal logic with cardinality constraints restricting the numbers of literals that can be satisfied at any moment in time. We present the logic and show how to represent a number of case studies using this logic. We propose a tableau-like algorithm for checking the satisfiability of formulae in this logic, provide details of a prototype implementation and present experimental results using the prover.     

Changing your mind

When individuals detect an inconsistency in a set of propositions, they tend to change their minds about at least one proposition to resolve the inconsistency. The orthodox view from William James (1907) onward has been that a rational change should be minimal. We propose an alternative hypothesis according to which individuals seek to resolve inconsistencies by explaining their origins. We report four experiments corroborating the explanatory hypothesis. Experiment 1 showed that participants’ explanations revised general conditional claims rather than specific categorical propositions. Experiment 2 showed that, when explanations did revise the categorical proposition, participants also tended to deny the consequences of a second generalization. Experiment 3 showed that this tendency persists when participants previously affirmed these consequences explicitly. Experiment 4 showed that, when participants could easily explain an inconsistency by revising a generalization, they were more likely to accept the consequences of a second generalization. All four results contravene minimalism but support the explanatory hypothesis.     

The development of a smoking-specific locus of control scale

Abstract

A 32-item questionnaire was designed to measure multidimensional locus of control beliefs specifically about giving up smoking (SLC Scale), and administered along with the Multidimensional Health Locus of Control Scale (MHLC) and a short smoking information questionnaire to 211 smokers. Psychometric analyses of the SLC scales included a series of repeated factor and reliability analyses which resulted in a final three-factor solution, containing 11 of the original SLC items. The three factors represented the following types of locus of control for smoking: a combined Internal-Chance factor, a Significant Others factor, and a Powerful Others factor with Chronbach's alpha coefficients of internal reliability of 0.63, 0.56 and 0.55 respectively. Analyses relating to the reliability and validity of the SLC scale are presented and discussed. As expected the SLC correlated more sensibly and significantly with subjects' reported behaviour and intentions regarding giving up smoking than did the MHLC scales.