The Role of Deontic Logic in the Specification of Information Systems

In this paper we discuss the role that deontic logic plays in the specification of information systems, either because constraints on the systems directly concern norms or, and even more importantly, system constraints are considered ideal but violable (so-called `soft¿ constraints).\ud To overcome the traditional problems with deontic logic (the so-called paradoxes), we first state the importance of distinguishing between ought-to-be and ought-to-do constraints and next focus on the most severe paradox, the so-called Chisholm paradox, involving contrary-to-duty norms. We present a multi-modal extension of standard deontic logic (SDL) to represent the ought-to-be version of the Chisholm set properly. For the ought-to-do variant we employ a reduction to dynamic logic, and show how the Chisholm set can be treated adequately in this setting. Finally we discuss a way of integrating both ought-to-be and ought-to-do reasoning, enabling one to draw conclusions from ought-to-be constraints to ought-to-do ones, and show by an example the use(fulness) of this

Including the 'spiritual' within mental health care in the UK, from experiences of people with mental health problems.

Spirituality as a dimension of quality of life and well-being has recently begun to be more valued within person-centred treatment approaches to mental health in the UK. The aim of this paper is to provide indicators of the extent to which accessing a spiritual support group may be useful within mental health recovery from the view point of those in receipt of it. The study design was a small scale exploratory study utilising mixed methods. Quantitative methods were used to map the mental health, general well-being and social networks of the group. These were complimented by a semi-structured open-ended interview which allowed for Interpretative Phenomenological Analysis (IPA) of the life-history accounts of nine individuals with mental health problems who attended a ‘spirituality support group’. Data from unstructured open-ended interviews with five faith chaplains and a mental health day centre manager were also analysed using thematic analysis. The views of 15 participants are therefore recounted. Participants reported that the group offered them: an alternative to more formal religious organisations, and an opportunity to settle spiritual confusions/fears. The ‘group’ was also reported to generally help individual’s subjective feelings of mental wellness through social support. Whilst the merits of spiritual care are appealing, convincing services to include it within treatment may still be difficult

Social networks and people with intellectual disabilities: A systematic review

Background: Despite the importance of social networks for health and wellbeing, relatively little is known about the ways in which adults with intellectual disabilities in the U.K. experience their social networks. Method: A systematic review was completed to identify research focused on the social networks of adults with intellectual disabilities. Studies published from 1990 to 2019 were identified. Studies were thematically analysed. Results: Quantitative, qualitative and mixed methods studies were analysed to identify key factors influencing social networks. Experiences of people with intellectual disabilities identified themes of identity, powerlessness, inclusion, family, and support. These themes are discussed with reference to theories of stigma and normalization. Conclusions: Stigma and normalization can be used to better understand the needs, desires and dreams of people with intellectual disabilities for ordinary relationships, from which they are regularly excluded. Implications for policy and practice are discussed in relation to building and repairing often spoiled identities

Bayesian optimization for materials design

We introduce Bayesian optimization, a technique developed for optimizing time-consuming engineering simulations and for fitting machine learning models on large datasets. Bayesian optimization guides the choice of experiments during materials design and discovery to find good material designs in as few experiments as possible. We focus on the case when materials designs are parameterized by a low-dimensional vector. Bayesian optimization is built on a statistical technique called Gaussian process regression, which allows predicting the performance of a new design based on previously tested designs. After providing a detailed introduction to Gaussian process regression, we introduce two Bayesian optimization methods: expected improvement, for design problems with noise-free evaluations; and the knowledge-gradient method, which generalizes expected improvement and may be used in design problems with noisy evaluations. Both methods are derived using a value-of-information analysis, and enjoy one-step Bayes-optimality

Last months of life of people with intellectual disabilities: A UK population-based study of death and dying in intellectual disability community services.

BACKGROUND: Population-based data are presented on the nature of dying in intellectual disability services. METHODS: A retrospective survey was conducted over 18 months with a sample of UK-based intellectual disability service providers that supported over 12,000. Core data were obtained for 222 deaths within this population. For 158 (71%) deaths, respondents returned a supplemented and modified version of VOICES-SF. RESULTS: The observed death was 12.2 deaths per 1,000 people supported per year, but just over a third deaths had been deaths anticipated by care staff. Mortality patterns, place of usual care and availability of external support exerted considerable influence over outcomes at the end of life. CONCLUSION: Death is not a common event in intellectual disability services. A major disadvantage experienced by people with intellectual disabilities was that their deaths were relatively unanticipated. People with intellectual disabilities living in supported living settings, even when their dying was anticipated, experienced poorer outcomes

People with intellectual disabilities at the end of their lives: The case for specialist care?

Background: People with intellectual disabilities have a shorter life expectancy, but healthcare improvements mean that they are beginning to live longer, with associated health difficulties. This means that there is an urgent need to focus research on ageing as well as end-of-life care. This study aimed to explore a specialist intellectual disability service for older people who are dying and how it related to their quality of life and to costs associated with care provided. Method: Data were collected for nine residents and 15 staff members of the specialist service. A single case study design with mixed methods including observations, interviews, standardized questionnaires and costs analysis was utilized. Results: We found positive results regarding overall quality of life, although individuals had limited social networks. Placement fees paid by local health trusts and social services departments were slightly higher than the estimated cost of care reflecting good financial management by a small voluntary sector organization. Conclusion: Whilst the philosophical arguments around “specialist” care persist, this service fills a gap in intellectual disability care provision

Data mining: a tool for detecting cyclical disturbances in supply networks.

Disturbances in supply chains may be either exogenous or endogenous. The ability automatically to detect, diagnose, and distinguish between the causes of disturbances is of prime importance to decision makers in order to avoid uncertainty. The spectral principal component analysis (SPCA) technique has been utilized to distinguish between real and rogue disturbances in a steel supply network. The data set used was collected from four different business units in the network and consists of 43 variables; each is described by 72 data points. The present paper will utilize the same data set to test an alternative approach to SPCA in detecting the disturbances. The new approach employs statistical data pre-processing, clustering, and classification learning techniques to analyse the supply network data. In particular, the incremental k-means clustering and the RULES-6 classification rule-learning algorithms, developed by the present authors’ team, have been applied to identify important patterns in the data set. Results show that the proposed approach has the capability automatically to detect and characterize network-wide cyclical disturbances and generate hypotheses about their root cause

Steps towards Lattice Virasoro Algebras: su(1,1)

An explicit construction is presented for the action of the su(1,1) subalgebra of the Virasoro algebra on path spaces for the c(2,q) minimal models. In the case of the Lee-Yang edge singularity, we show how this action already fixes the central charge of the full Virasoro algebra. For this case, we additionally construct a representation in terms of generators of the corresponding Temperley-Lieb algebra.Comment: 15 pages, plain TeX, 4 typos correcte

Experiences of University Life for Students with Asperger’s Syndrome: a comparative study between Spain and England

Research has consistently shown that young people with Asperger’s Syndrome (AS) are likely to experience increased anxiety during new social situations; yet, studies have been regionally and culturally bound. The aim of this study was to explore how higher education students with AS experienced attending university in two European countries: the UK and Spain. The objective was to find out if experiences differed between the two countries in relation to contrasting support arrangements and what kinds of interventions might aid students’ social well-being at university, an important learning outcome for future practice. This small-scale comparative exploratory study incorporated life-history interviews with nine students with AS. The interviews were transcribed verbatim and subjected to Interpretative Phenomenological Analysis. Four superordinate themes significant to both groups of students in Spain and the UK emerged from the data: social relationships, ‘special interests’, ‘environment’ and ‘support mechanisms’. Students with AS need and want clear, unambiguous and structured information from academics; support to get to know others in ‘small special interest groups’; more designated ‘quiet zones’ across campuses; and above all, a move away from ableist notions of AS. To our knowledge, this is the only Spanish–UK comparative study of university students with AS

The boomerang returns? Accounting for the impact of uncertainties on the dynamics of remanufacturing systems

Recent years have witnessed companies abandon traditional open-loop supply chain structures in favour of closed-loop variants, in a bid to mitigate environmental impacts and exploit economic opportunities. Central to the closed-loop paradigm is remanufacturing: the restoration of used products to useful life. While this operational model has huge potential to extend product life-cycles, the collection and recovery processes diminish the effectiveness of existing control mechanisms for open-loop systems. We systematically review the literature in the field of closed-loop supply chain dynamics, which explores the time-varying interactions of material and information flows in the different elements of remanufacturing supply chains. We supplement this with further reviews of what we call the three ‘pillars’ of such systems, i.e. forecasting, collection, and inventory and production control. This provides us with an interdisciplinary lens to investigate how a ‘boomerang’ effect (i.e. sale, consumption, and return processes) impacts on the behaviour of the closed-loop system and to understand how it can be controlled. To facilitate this, we contrast closed-loop supply chain dynamics research to the well-developed research in each pillar; explore how different disciplines have accommodated the supply, process, demand, and control uncertainties; and provide insights for future research on the dynamics of remanufacturing systems