Using small MUSes to explain how to solve pen and paper puzzles

Pen and paper puzzles like Sudoku, Futoshiki and Skyscrapers are hugely popular. Solving such puzzles can be a trivial task for modern AI systems. However, most AI systems solve problems using a form of backtracking, while people try to avoid backtracking as much as possible. This means that existing AI systems do not output explanations about their reasoning that are meaningful to people. We present Demystify, a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to allow us to produce descriptions of steps in the puzzle solving. We give several improvements to the existing techniques for solving puzzles with MUSes, which allow us to solve a range of significantly more complex puzzles and give higher quality explanations. We demonstrate the effectiveness and generality of Demystify by comparing its results to documented strategies for solving a range of pen and paper puzzles by hand, showing that our technique can find many of the same explanations.Publisher PD

A New Link in a Chain of Genres?

Institutional genres often form dynamic systems or chains. In this paper we report on a possible expansion of the genre system that undergirds the appointment process of assistant professors in the U.S. This expansion consists of a “response letter” to a letter of recommendation. We first analyse a small corpus of these response letters by looking at the openings and closings and the bodies of the letters. The larger aim of this analysis is to explore the possible rationales that might underlie the composition, stylistic character and content of these texts

"I'm not an investigator and I'm not a police officer" : a faculty's view on academic integrity in an undergraduate nursing degree

In nursing, expectations of honesty and integrity are clearly stipulated throughout professional standards and codes of conduct, thus the concept of academic integrity has even more impetus in preparing students for graduate practice. However, a disparity between policy and practice misses the opportunity to instil the principles of academic integrity, and at its core honesty, a pivotal trait in the nursing profession. This study draws upon the experience of the nursing faculty to explore how academic integrity policy of deterrence operate in nursing education. While participants deplored cheating behaviours, they expressed frustration in having to ‘police’ large numbers of students who had little awareness of the academic standards to meet policy requirements. In addition, they were cynical because of a perceived lack of severity in sanctions for students who repeatedly breached integrity. Participants expressed a moral obligation as educators to meet student learning needs and preferred to engage with students in a more meaningful way to uphold academic integrity. The ambivalence to detect and report breaches in integrity undermines the effectiveness of policy. Therefore, faculty must recognise the importance of their role in detecting and escalating cases of dishonesty and execute deterrence in a more consistent way. To do this, greater support at an institutional level, such as smaller class sizes, inclusion in decision making around sanctions and recognition of additional workload, will enable faculty to uphold policy. Although policing was not their preferred approach, the role of faculty in detecting and reporting cases of misconduct is crucial to increase the certainty of students getting caught, which is essential if policy is to be effective in deterring dishonest behaviour

Towards generic explanations for pen and paper puzzles with MUSes

This research was supported by the Royal Society URF\R\180015 .Pen and paper puzzles like Sudoku, Futoshiki and Star Battle are hugely popular. Solving such puzzles can be a trivial task for modern AI systems. However, most AI systems solve problems using a form of backtracking, while people try to avoid backtracking as much as possible. This means that existing AI systems do not output explanations about their reasoning that are meaningful to people. We present Demystify, a tool which allows puzzles to be expressed in a high-level constraint programming language and uses MUSes to allow us to produce descriptions of steps in the puzzle solving. We give several improvements to the existing techniques for solving puzzles with MUSes, which allow us to solve a range of significantly more complex puzzles and give higher quality explanations. We demonstrate the effectiveness and generality of Demystify by comparing its results to documented strategies for solving a range of pen and paper puzzles by hand, showing that our technique can find many of the same explanations.Publisher PD

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-level logical description. Demystify is based on Minimal Unsatisfiable Subsets (MUSes), which allow Demystify to solve puzzles as a series of logical deductions by identifying which parts of the puzzle are required to progress. This paper makes three contributions over previous work. First, we provide a generic input language, based on the Essence constraint language, which allows us to easily use MUSes to solve a much wider range of pen and paper puzzles. Second, we demonstrate that the explanations that Demystify produces match those provided by humans by comparing our results with those provided independently by puzzle experts on a range of puzzles. We compare Demystify to published guides for solving a range of different pen and paper puzzles and show that by using MUSes, Demystify produces solving strategies which closely match human-produced guides to solving those same puzzles (on average 89% of the time). Finally, we introduce a new randomised algorithm to find MUSes for more difficult puzzles. This algorithm is focused on optimised search for individual small MUSes

Death in hospital following ICU discharge : insights from the LUNG SAFE study

Background: To determine the frequency of, and factors associated with, death in hospital following ICU discharge to the ward. Methods: The Large observational study to UNderstand the Global impact of Severe Acute respiratory FailurE study was an international, multicenter, prospective cohort study of patients with severe respiratory failure, conducted across 459 ICUs from 50 countries globally. This study aimed to understand the frequency and factors associated with death in hospital in patients who survived their ICU stay. We examined outcomes in the subpopulation discharged with no limitations of life sustaining treatments (‘treatment limitations’), and the subpopulations with treatment limitations. Results: 2186 (94%) patients with no treatment limitations discharged from ICU survived, while 142 (6%) died in hospital. 118 (61%) of patients with treatment limitations survived while 77 (39%) patients died in hospital. Patients without treatment limitations that died in hospital after ICU discharge were older, more likely to have COPD, immunocompromise or chronic renal failure, less likely to have trauma as a risk factor for ARDS. Patients that died post ICU discharge were less likely to receive neuromuscular blockade, or to receive any adjunctive measure, and had a higher pre- ICU discharge non-pulmonary SOFA score. A similar pattern was seen in patients with treatment limitations that died in hospital following ICU discharge. Conclusions: A significant proportion of patients die in hospital following discharge from ICU, with higher mortality in patients with limitations of life-sustaining treatments in place. Non-survivors had higher systemic illness severity scores at ICU discharge than survivors. Trial Registration: ClinicalTrials.gov NCT02010073

Identifying associations between diabetes and acute respiratory distress syndrome in patients with acute hypoxemic respiratory failure : an analysis of the LUNG SAFE database

Background: Diabetes mellitus is a common co-existing disease in the critically ill. Diabetes mellitus may reduce the risk of acute respiratory distress syndrome (ARDS), but data from previous studies are conflicting. The objective of this study was to evaluate associations between pre-existing diabetes mellitus and ARDS in critically ill patients with acute hypoxemic respiratory failure (AHRF). Methods: An ancillary analysis of a global, multi-centre prospective observational study (LUNG SAFE) was undertaken. LUNG SAFE evaluated all patients admitted to an intensive care unit (ICU) over a 4-week period, that required mechanical ventilation and met AHRF criteria. Patients who had their AHRF fully explained by cardiac failure were excluded. Important clinical characteristics were included in a stepwise selection approach (forward and backward selection combined with a significance level of 0.05) to identify a set of independent variables associated with having ARDS at any time, developing ARDS (defined as ARDS occurring after day 2 from meeting AHRF criteria) and with hospital mortality. Furthermore, propensity score analysis was undertaken to account for the differences in baseline characteristics between patients with and without diabetes mellitus, and the association between diabetes mellitus and outcomes of interest was assessed on matched samples. Results: Of the 4107 patients with AHRF included in this study, 3022 (73.6%) patients fulfilled ARDS criteria at admission or developed ARDS during their ICU stay. Diabetes mellitus was a pre-existing co-morbidity in 913 patients (22.2% of patients with AHRF). In multivariable analysis, there was no association between diabetes mellitus and having ARDS (OR 0.93 (0.78-1.11); p = 0.39), developing ARDS late (OR 0.79 (0.54-1.15); p = 0.22), or hospital mortality in patients with ARDS (1.15 (0.93-1.42); p = 0.19). In a matched sample of patients, there was no association between diabetes mellitus and outcomes of interest. Conclusions: In a large, global observational study of patients with AHRF, no association was found between diabetes mellitus and having ARDS, developing ARDS, or outcomes from ARDS. Trial registration: NCT02010073. Registered on 12 December 2013

Epidemiology and patterns of tracheostomy practice in patients with acute respiratory distress syndrome in ICUs across 50 countries

Background: To better understand the epidemiology and patterns of tracheostomy practice for patients with acute respiratory distress syndrome (ARDS), we investigated the current usage of tracheostomy in patients with ARDS recruited into the Large Observational Study to Understand the Global Impact of Severe Acute Respiratory Failure (LUNG-SAFE) study. Methods: This is a secondary analysis of LUNG-SAFE, an international, multicenter, prospective cohort study of patients receiving invasive or noninvasive ventilation in 50 countries spanning 5 continents. The study was carried out over 4 weeks consecutively in the winter of 2014, and 459 ICUs participated. We evaluated the clinical characteristics, management and outcomes of patients that received tracheostomy, in the cohort of patients that developed ARDS on day 1-2 of acute hypoxemic respiratory failure, and in a subsequent propensity-matched cohort. Results: Of the 2377 patients with ARDS that fulfilled the inclusion criteria, 309 (13.0%) underwent tracheostomy during their ICU stay. Patients from high-income European countries (n = 198/1263) more frequently underwent tracheostomy compared to patients from non-European high-income countries (n = 63/649) or patients from middle-income countries (n = 48/465). Only 86/309 (27.8%) underwent tracheostomy on or before day 7, while the median timing of tracheostomy was 14 (Q1-Q3, 7-21) days after onset of ARDS. In the subsample matched by propensity score, ICU and hospital stay were longer in patients with tracheostomy. While patients with tracheostomy had the highest survival probability, there was no difference in 60-day or 90-day mortality in either the patient subgroup that survived for at least 5 days in ICU, or in the propensity-matched subsample. Conclusions: Most patients that receive tracheostomy do so after the first week of critical illness. Tracheostomy may prolong patient survival but does not reduce 60-day or 90-day mortality

Use of multi-trait and random regression models to identify genetic variation in tolerance to porcine reproductive and respiratory syndrome virus

Background: A host can adopt two response strategies to infection: resistance (reduce pathogen load) and tolerance (minimize impact of infection on performance). Both strategies may be under genetic control and could thus be targeted for genetic improvement. Although there is evidence that supports a genetic basis for resistance to porcine reproductive and respiratory syndrome (PRRS), it is not known whether pigs also differ genetically in tolerance. We determined to what extent pigs that have been shown to vary genetically in resistance to PRRS also exhibit genetic variation in tolerance. Multi-trait linear mixed models and random regression sire models were fitted to PRRS Host Genetics Consortium data from 1320 weaned pigs (offspring of 54 sires) that were experimentally infected with a virulent strain of PRRS virus to obtain genetic parameter estimates for resistance and tolerance. Resistance was defined as the inverse of within-host viral load (VL) from 0 to 21 (VL21) or 0 to 42 (VL42) days post-infection and tolerance as the slope of the reaction-norm of average daily gain (ADG21, ADG42) on VL21 or VL42. Results: Multi-trait analysis of ADG associated with either low or high VL was not indicative of genetic variation in tolerance. Similarly, random regression models for ADG21 and ADG42 with a tolerance slope fitted for each sire did not result in a better fit to the data than a model without genetic variation in tolerance. However, the distribution of data around average VL suggested possible confounding between level and slope estimates of the regression lines. Augmenting the data with simulated growth rates of non-infected half-sibs (ADG0) helped resolve this statistical confounding and indicated that genetic variation in tolerance to PRRS may exist if genetic correlations between ADG0 and ADG21 or ADG42 are low to moderate. Conclusions: Evidence for genetic variation in tolerance of pigs to PRRS was weak when based on data from infected piglets only. However, simulations indicated that genetic variance in tolerance may exist and could be detected if comparable data on uninfected relatives were available. In conclusion, of the two defense strategies, genetics of tolerance is more difficult to elucidate than genetics of resistance.</p