Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

Morte e subjetividade na hipermodernidade: a perspectiva do Budismo da Nova Tradição Kadampa

A proposta do trabalho é analisar como a morte é entendida pela visão da hipermodernidade e pela visão do Budismo. Na contemporaneidade cuja lógica capitalista é embasada na lógica do mercado onde o consumo assume o papel principal, a morte se tornou um tabu, onde ela é evitada, esvaziada de sentido e descaracterizada. A dor e o sofrimento são depreciados e é exigido do homem uma inabalável postura performática e um desempenho cada vez melhor. Há ainda a crença de que o discurso tecnocientífico trará todas as soluções para as mazelas humanas. A felicidade é, portanto, um imperativo da sociedade hipermoderna e sua busca é exteriorizada isentando os indivíduos de um olhar crítico. Assim, a morte e o luto perdem seu lugar para a busca incessante de satisfação e bem-estar. O Budismo tem uma lógica que segue na contramão. Ensina que a existência humana no Samsara é constituída por principalmente quatro sofrimentos básicos: nascimento, envelhecimento, doença e morte. O Budismo ensina que a morte, assim como a vida, é um fenômeno comum a todos os seres vivos e que o exercício budista possibilita compreender o real significado da vida e da morte. A meditação sobre a impermanência, uma das práticas budistas, visa familiarizar o adepto budista a três pensamentos: certamente vou morrer; a hora da minha morte é totalmente incerta e na hora da minha morte e, depois dela, só a prática do Dharma vai me ajudar. Postula que para alcançar a verdadeira felicidade o homem deve provocar uma mudança interior, exercitar a compaixão e se desapegar da crença de que os fenômenos são permanentes e imutáveis. Tais considerações foram possíveis a partir da pesquisa sobre o Budismo da Nova Tradição Kadampa a partir de uma metodologia etnográfica que incluíram visitas ao campo de estudo, a confecção de um diário de campo e a realização de entrevistas com os praticantes budistas da Nova Tradição Kadampa.

The use of object oriented modelling and simulation tools in constraint satisfaction for embodiment design

The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows how, in addition to its simulation capabilities, it may be used as an embodiment design tool, to size automatically a design assembled from a library of generic parametric components. The example used is a miniature model aircraft diesel engine. To this end, the component classes contain extra algebraic equations calculating the overload factor (or its reciprocal, the safety factor) for all the different modes of failure, such as buckling or tensile yield. Thus the simulation results contain the maximum overload or minimum safety factor for each failure mode along with the critical instant and the device state at which it occurs. The Dymola "Initial Conditions Calculation" function, controlled by a simple software script, may then be used to perform automatic component sizing. Each component is minimised in mass, subject to a chosen safety factor against failure, over a given operating cycle. Whilst the example is in the realm of mechanical design, it must be emphasised that the approach is equally applicable to the electrical or mechatronic domains, indeed to any design problem requiring numerical constraint satisfaction.

Construct and content validity of the Greek version of the birth satisfaction scale (G-BSS).

Background: ‘Birth Satisfaction’ is a term that encompasses a woman’s evaluation of her birth experience. The term includes factors such as her appraisal of the quality of care she received, a personal assessment of how she coped, and her reconstructions of what happened on that particular day. Her accounts may be accurate or skewed, yet correspond with her reality of how events unfolded. Objective: To evaluate properties of an instrument designed to measure birth satisfaction in a Greek population of postnatal women. Study design: We assessed factor structure, internal consistency, divergent validity and known-groups discriminant validity of the 30-item Greek Birth Satisfaction Scale – Long Form (30-item G-BSS-LF) and its revised version the 10-item Greek-BSS-Revised (10-item-G-BSS-R), using survey data collected in Athens. Participants: A convenience sample of healthy Greek postnatal women (n = 162) aged 22–46 years who had delivered between 34 and 42 weeks’ gestation. Results: The 30-item-G-BSS-LF performed poorly in terms of factor structure. The short-form 10-item-G-BSS-R performed well in terms of measurement replication of the English equivalent version as a multidimensional instrument. The short-form 10-item-G-BSS-R comprises three subscales which measure distinct but correlated domains of: (1) quality of care provision (4 items), (2) women’s personal attributes (2 items), and (3) stress experienced during labour (4 items). Key conclusions: The 10-item-G-BSS-R is a valid and reliable multidimensional psychometric instrument for measuring birth satisfaction in Greek postnatal women.

Reflective writing: The student nurse's perspective on reflective writing and poetry writing.

Summary Background Reflective writing is a mandatory part of nurse education but how students develop their skills and use reflection as part of their experiential learning remains relatively unknown. Understanding reflective writing in all forms from the perspective of a student nurse is therefore important. Objectives To explore the use of reflective writing and the use of poetry in pre-registered nursing students. Design A qualitative design was employed to explore reflective writing in pre-registered nursing students. Setting A small university in Scotland. Participants BSc (Hons) Adult and Mental Health Pre-registration Student Nurses. Methods Two focus groups were conducted with 10 student nurses during March 2012. Data was analysed thematically using the framework of McCarthy (1999). Results Students found the process of reflective writing daunting but valued it over time. Current educational methods, such as assessing reflective accounts, often lead to the ‘narrative’ being watered down and the student feeling judged. Despite this, reflection made students feel responsible for their own learning and research on the topic. Some students felt the use of models of reflection constricting, whilst poetry freed up their expression allowing them to demonstrate the compassion for their patient under their care. Conclusions Poetry writing gives students the opportunity for freedom of expression, personal satisfaction and a closer connection with their patients, which the more formal approach to reflective writing did not offer. There is a need for students to have a safe and supportive forum in which to express and have their experiences acknowledged without the fear of being judged.

Exploring the compassion deficit debate.

Several recent high profile failures in the UK health care system have promoted strong debate on compassion and care in nursing. A number of papers articulating a range of positions within this debate have been published in this journal over the past two and a half years. These articulate a diverse range of theoretical perspectives and have been drawn together here in an attempt to bring some coherence to the debate and provide an overview of the key arguments and positions taken by those involved. In doing this we invite the reader to consider their own position in relation to the issues raised and to consider the impact of this for their own practice. Finally the paper offers some sense of how individual practitioners might use their understanding of the debates to ensure delivery of good nursing care.

Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences

J. Keppens and Q. Shen. Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences. Journal of Artificial Intelligence Research, 21:499-550, 2004.

Provocation and Killing with compassion

Williams, G., Provocation and Killing with Compassion (2001) 65 (2) Journal of Criminal Law 149;

Complaints, Compassion, and Comfort

sermon text; MS Word document

Identifying sources of global contention in constraint satisfaction search

Much work has been done on learning from failure in search to boost solving of combinatorial problems, such as clause-learning and clause-weighting in boolean satisfiability (SAT), nogood and explanation-based learning, and constraint weighting in constraint satisfaction problems (CSPs). Many of the top solvers in SAT use clause learning to good effect. A similar approach (nogood learning) has not had as large an impact in CSPs. Constraint weighting is a less fine-grained approach where the information learnt gives an approximation as to which variables may be the sources of greatest contention. In this work we present two methods for learning from search using restarts, in order to identify these critical variables prior to solving. Both methods are based on the conflict-directed heuristic (weighted-degree heuristic) introduced by Boussemart et al. and are aimed at producing a better-informed version of the heuristic by gathering information through restarting and probing of the search space prior to solving, while minimizing the overhead of these restarts. We further examine the impact of different sampling strategies and different measurements of contention, and assess different restarting strategies for the heuristic. Finally, two applications for constraint weighting are considered in detail: dynamic constraint satisfaction problems and unary resource scheduling problems.