Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions

Although Answer Set Programming (ASP) is a powerful framework for declarative problem solving, it cannot in an intuitive way handle situations in which some rules are uncertain, or in which it is more important to satisfy some constraints than others. Possibilistic ASP (PASP) is a natural extension of ASP in which certainty weights are associated with each rule. In this paper we contrast two different views on interpreting the weights attached to rules. Under the first view, weights reflect the certainty with which we can conclude the head of a rule when its body is satisfied. Under the second view, weights reflect the certainty that a given rule restricts the considered epistemic states of an agent in a valid way, i.e. it is the certainty that the rule itself is correct. The first view gives rise to a set of weighted answer sets, whereas the second view gives rise to a weighted set of classical answer sets.

Communicating Answer Set Programs

Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not been thoroughly studied. We show that allowing simple programs to talk to each other results in the same expressivity as adding negation-as-failure. Furthermore, we show that the ability to focus on one program in a network of simple programs results in the same expressivity as adding disjunction in the head of the rules.

Answer set programs with optional rules: a possibilistic approach

Many problems in artificial intelligence can be encoded as answer set programs (ASP) in which some rules are uncertain. ASP programs with incorrect rules may have erroneous conclusions, but due to the non-monotonic nature of ASP, omitting a correct rule may also lead to errors. To derive the most certain conclusions from an uncertain ASP program, we thus need to consider all situations in which some, none, or all of the least certain rules are omitted. This corresponds to treating some rules as optional and reasoning about which conclusions remain valid regardless of the inclusion of these optional rules. While a version of possibilistic ASP (PASP) based on this view has recently been introduced, no implementation is currently available. In this paper we propose a simulation of the main reasoning tasks in PASP using (disjunctive) ASP programs, allowing us to take advantage of state-of-the-art ASP solvers. Furthermore, we identify how several interesting AI problems can be naturally seen as special cases of the considered reasoning tasks, including cautious abductive reasoning and conformant planning. As such, the proposed simulation enables us to solve instances of the latter problem types that are more general than what current solvers can handle.

Factors influencing the success of rural cataract surgery programs in China:The study of hospital administration and relative productivity (SHARP)

PURPOSE. To explore factors potentially influencing the success or failure of rural Chinese hospitals in increasing cataract surgical output and quality. METHODS. Focus groups (FGs, n = 10) were conducted with hospital administrators, doctors, and nurses at 28 county hospitals in Guangdong Province. Discussions explored respondents' views on increasing surgical volume and quality and improving patient satisfaction. Respondents numerically ranked possible strategies to increase surgical volume and quality and patient satisfaction. FG transcripts were independently coded by two reviewers utilizing the constant comparative method following the grounded theory approach, and numerical responses were scored and ranked. RESULTS. Ten FGs and 77 ranking questionnaires were completed by 33 administrators, 23 doctors, and 21 nurses. Kappa values for the two coders were greater than 0.7 for all three groups. All groups identified a critical need for enhanced management training for hospital directors. Doctors and nurses suggested reducing surgical fees to enhance uptake, although administrators were resistant to this. Although doctors saw the need to improve equipment, administrators felt current material conditions were adequate. Respondents agreed that patient satisfaction was generally high, and did not view increasing patient satisfaction as a priority. CONCLUSIONS. Our findings highlight agreements and disagreements among the three stakeholder groups about improving surgical output and quality, which can inform strategies to improve cataract programs in rural China. Respondents' beliefs about high patient satisfaction are not in accord with other studies in the area, highlighting a potential area for intervention. © 2013 The Association for Research in Vision and Ophthalmology, Inc.

Willingness to pay for cataract surgery in rural Southern China.

PURPOSE: To study willingness to pay for cataract surgery, and its associations, in Southern China. DESIGN: Cross-sectional willingness-to-pay interview incorporating elements of the open-ended and bidding formats. PARTICIPANTS: Three-hundred thirty-nine persons presenting for cataract screening in Yangjiang, China, with presenting visual acuity (VA) < or = 6/60 in either eye due to cataract. METHODS: Subjects underwent measurement of their VA and a willingness-to-pay interview. Age, gender, literacy, education, and annual income also were recorded. MAIN OUTCOME MEASURES: Maximum amount that the subjects would be willing to pay for cataract surgery. RESULTS: Among 325 (95.9%) subjects completing the interview, 169 (52.0%) were 70 years or older, 213 (65.5%) were women, and 217 (66.8%) had an annual income of <5000 renminbi (5000 = US 625 dollars). Eighty percent (n = 257) of participants were willing to pay something for surgery (mean, 442+/-444 renminbi [US 55 dollars+/-55]). In regression models, older subjects were willing to pay less (8 renminbi [US 1 dollar] per year of age; P = 0.01). Blind subjects were significantly more likely (odds ratio, 5.7; 95% confidence interval, 1.7-19.3) to pay anything for surgery, but would pay on average 255 renminbi (US 32 dollars) less (P = 0.004). Persons at the highest annual income level (>10,000 renminbi [US 1250 dollars]) would pay 50 dollars more for surgery than those at the lowest level (<5000 renminbi) (P = 0.0003). The current cost of surgery in this program is 500 renminbi (US 63 dollars). CONCLUSIONS: Sustainable programs will need to attract younger, more well-to-do persons with better vision, while still providing access to the neediest patients.

Effects of a book gifting programme on literacy outcomes for foster children: A randomised controlled trial evaluation of the Letterbox Club in Northern Ireland

The poor educational outcomes of children in care is a significant concern internationally. Whilst there have been many interventions developed to address this problem, very few of these have been rigorously evaluated. This article presents the findings of a randomised controlled trial that sought to measure the effectiveness of a book gifting programme (the Letterbox Club) that aims to improve literacy skills amongst children aged 7-11 years in foster care. The programme involves children receiving six parcels of books sent through the post over a six-month period. The trial, which ran between April 2013 and June 2014, involved a sample of 116 children in Northern Ireland (56 randomly allocated to the intervention group and 60 to a waiting list control group). Outcome measures focused on reading skills (reading accuracy, comprehension and rate) and attitudes to reading and school. The trial found no evidence that the book-gifting programme had any effect on any of the outcomes measured. Drawing upon some of the emergent themes from the accompanying qualitative process evaluation that sought to determine foster carer/child attitude towards and engagement with the parcels, it is suggested that one plausible reason for the ineffectiveness of the Letterbox Club, as intimated by carers and children (rather than explicitly explored with them), is the lack of support provided to the carers/children in relation to the packs received. Reflective of an ecological model of children’s development, it is recommended that for book-gifting programmes to be effective they need to include a focus on encouraging the direct involvement of foster carers in shared literacy activities with the children using the books that are gifted.

Can group exercise programs improve health outcomes in pregnant women? A systematic review

Current scientific evidence supports the recommendation to initiate or continue the practice of physical exercise in healthy pregnant women. Group exercise programs have positive effects in improving health and well-being, as well as social support. In order to understand the scientific evidence in this field, and the outcomes in maternal health, it has generated wide interest in exploring the studies carried out with more relevant group exercise programs. The aim of this systematic review was to evaluate the available evidence on the effectiveness of group exercise programs in improving women’s and newborns health outcomes during pregnancy. Three databases were used to conduct literature searches and strict inclusion and exclusion criteria were employed. Seventeen studies were selected for analysis. All studies were randomized control trials conducted with pregnant women that evaluated the effect of group exercise programs on the health outcomes of mother and newborn. Most studies followed a supervised structured exercise program including a main aerobic part, resistance training, pelvic floor training and stretching and relaxation sections. The significant effects of the programs are related with improved maternal perception of health status, lower maternal weight gain, improved levels of maternal glucose tolerance, improved aerobic fitness and muscular strength, lower frequency of urinary incontinence, improved sick leave due to lumbopelvic pain, fewer cesarean and instrumental deliveries, higher newborn Apgar score and faster postpartum recovery. Exercise and health professionals should advise pregnant women that aerobic group exercise during pregnancy improves a wide range of health outcomes for the women and newborn

A educação em ciências no ensino básico em ambientes integrados de formação

A educação integral ao longo da vida de todos os indivíduos, em contextos formais, não formais e informais, com vista ao desenvolvimento inteligente, sustentável e inclusivo das nações é, actualmente, uma recomendação unânime de entidades e organizações a nível internacional (ex. UNESCO, UNICEF, NU, OCDE, OEI, UE). Neste âmbito, destaca-se o papel fulcral da literacia científica dos indivíduos, como motor do crescimento, produtividade e competitividade dos países e como um dos pilares basilares para o exercício de uma cidadania consciente na vida política, social e cultural. Para alcançar tais propósitos é necessário uma forte aposta numa educação de qualidade desde os primeiros anos de vida dos indivíduos. Para tal, é fundamental: (re)pensar perspectivas de educação, de ensino e de aprendizagem; dar reposta às amplamente reconhecidas necessidades de formação inicial e continuada de professores; e assegurar a existência de infraestruturas e recursos de suporte à concretização de tais anseios. O presente estudo pretende ser um contributo para a operacionalização de tais intenções, no campo particular da educação em ciências ao nível do ensino básico, tendo subjacente uma perspectiva de abordagem integrada e integradora da educação em ciências. O percurso de investigação, de natureza qualitativa, foi desenvolvido incidindo em dois focos fundamentais: (i) o desenvolvimento de infra-estruturas e recursos de suporte à educação em ciências e (ii) o desenvolvimento de um programa de formação continuada para professores do 1º CEB de educação em ciências na perspectiva considerada. Assim uma das grandes finalidades do estudo foi desenvolver (conceber, planificar, implementar e validar) um Centro Integrado de Educação em Ciências (CIEC) como parte integrante de uma escola do 1ºCEB. Partindo de orientações da literatura, da proficiência da equipa multidisciplinar e dos contributos de avaliadores externos procedeu-se ao desenvolvimento do conceito CIEC e respectivo espaço físico de suporte: espaço de educação formal - laboratório de ciências para o 1ºCEB; espaço de educação não formal – Centro de Ciência do CIEC.A segunda grande finalidade do estudo, foi o desenvolvimento (concepção, planificação, implementação e avaliação) de um programa de formação continuada que habilitasse os professores do 1ºCEB a desenvolverem actividades integradas de educação em ciências (AIEC). Tendo por base as orientações da literatura, bem como a caracterização das práticas, necessidades e expectativas dos professores-formandos, concebeu-se, planificou-se e implementou-se o programa de formação. A avaliação do programa efectuou-se tendo por base a análise dos dados recolhidos através de fontes distintas, e o seu cruzamento com recurso a métodos, técnicas e instrumentos diversificados. Assumindo-se como um contributo para a melhoria da educação em ciências nos primeiros anos de escolaridade, o presente estudo apresenta como resultados orientações para: o desenvolvimento de laboratórios em escolas do 1ºCEB; o desenvolvimento de centros de ciência, e ou espaços de educação não formal similares, e respectivo funcionamento; a implementação de actividades integradas da educação em ciências; o desenvolvimento de programas de formação continuada de professores; o processo de auto e hetero avaliação de práticas de professores no que respeita ao ensino das ciências em contextos formal e não formal.

A definition of literary literacy: a content analysis of literature syllabuses and interviews with Portuguese lecturers of literature

The aim of this paper is to present a definition of literary literacy in the context of majors in languages, literatures and cultures, in Portugal. A definition of literary literacy was deduced from a content analysis of primary data sources and from the theoretical underpinnings of the transactional theory of reading. The primary data sources are fourteen Portuguese and English literature syllabuses from four Portuguese universities (Lisboa, Nova, Coimbra and Porto) and twelve interviews with Portuguese university lecturers of literature. Based on the findings of a content analysis of both syllabuses and interviews, from the lecturers‘ point of view, a literary literate student doing a major in languages, literatures and cultures must, above all, be able to contextualize literary texts and their authors both historically and culturally, must be able to present an interpretation as a coherent text, and must be able to do and organize bibliographical research.