On the Right Path: A Modal Logic for Supervised Learning

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. Although empirical evidence suggests that children can learn a language without responding to the correction of linguistic mistakes, the importance of Teacher in many other paradigms is significant. Instead of focusing only on learner(s), this work develops a general framework---the supervised learning game (SLG)---to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand,Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other hand, Teacher is able to correct Learner's mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning (SLL). Broadly, this work takes a small step towards studying the interaction between graph games, logics and formal learning theory.Comment: The paper was accepted by LORI 2019. But due to the page-limit constraints, that Proceedings version does not include any proofs. In this version, we show the proofs for the result

Preconception care: advancing from 'important to do and can be done' to 'is being done and is making a difference'

There is a growing evidence base for preconception care--the provision of biomedical, behavioral and social interventions to women and couples before conception occurs. Firstly, there is evidence that health problems, problem behaviours and individual and environmental risks contribute to poor maternal and child health outcomes. Secondly, there are biomedical, behavioural and social interventions that when delivered beforeconception occurs, effectively address many of these health problems, problem behaviours and risk factors.And thirdly, there is emerging experience of how to deliver these interventions in low and middle income countries (LMIC).The preconception care interventions delivered and whom they are delivered to, will need to be tailored to local realities. The package of preconception care interventions delivered in a particular setting will depend on the local epidemiology, the interventions already being delivered, and the resources in place to deliver additionalinterventions. Although a range of population groups could benefit from preconception care, prioritization based on need and feasibility will be needed.There are both potential benefits and risks associated with preconception care. Preconception care could result in large health and social benefits in LMIC. It could also be misused to limit the autonomy of women and reinforce the notion that the focus of all efforts to improve the health of girls and women should be at improving maternal and child health outcomes rather than at improving the health of girls and women as individuals in their own right.There are challenges in delivering preconception care. While the potential benefits of preconception care programmes could be substantial, extending the traditional Maternal and Child Health package will be both a logistic and financial challenge.We need to help countries set and achieve pragmatic and meaningful short term goals. While our longterm goal for preconception care should be for a full package of health and social interventions to be delivered to all women and couples of reproductive age everywhere, our short-term goals must be pragmatic. This is because countries that need preconception care most are the ones least likely to be able to afford them and deliver them.If we want these countries to take on the additional challenge of providing preconception care while they struggle to increase the coverage of prenatal care, skilled care at birth etc., we must help them identify and deliver a small number of effective interventions based on epidemiology and feasibility.Elizabeth Mason, Venkatraman Chandra-Mouli, Valentina Baltag, Charlotte Christiansen, Zohra S Lassi, Zulfiqar A Bhutt

Interpreting an action from what we perceive and what we expect

International audienceIn update logic as studied by Baltag, Moss, Solecki and van Benthem, little attention is paid to the interpretation of an action by an agent, which is just assumed to depend on the situation. This is actually a complex issue that nevertheless complies to some logical dynamics. In this paper, we tackle this topic. We also deal with actions that change propositional facts of the situation. In parallel, we propose a formalism to accurately represent an agent's epistemic state based on hyperreal numbers. In that respect, we use infinitesimals to express what would surprise the agents (and by how much) by contradicting their beliefs. We also use a subjective probability to model the notion of belief. It turns out that our probabilistic update mechanism satisfies the AGM postulates of belief revision

WHO standards-based tools to measure service providers' and service users' views on the quality of hospital child care: development and validation in Italy

Objectives Evidence showed that, even in high-income countries, children and adolescents may not receive high quality of care (QOC). We describe the development and initial validation, in Italy, of two WHO standards-based questionnaires to conduct an assessment of QOC for children and young adolescents at inpatient level, based on the provider and user perspectives. Design Multiphase, mixed-methods study. Setting, participants and methods The two questionnaires were developed in four phases equally conducted for each tool. Phase 1 which included the prioritisation of the WHO Quality Measures according to predefined criteria and the development of the draft questionnaires. In phase 2 content face validation of the draft questionnaires was assessed among both experts and end-users. In phase 3 the optimised questionnaires were field tested to assess acceptability, perceived utility and comprehensiveness (N=163 end-users). In phase 4 intrarater reliability and internal consistency were evaluated (N=170 and N=301 end-users, respectively). Results The final questionnaires included 150 WHO Quality Measures. Observed face validity was excellent (kappa value of 1). The field test resulted in response rates of 98% and 76% for service users and health providers, respectively. Among respondents, 96.9% service users and 90.4% providers rated the questionnaires as useful, and 86.9% and 93.9%, respectively rated them as comprehensive. Intrarater reliability was good, with Cohen's kappa values exceeding 0.70. Cronbach alpha values ranged from 0.83 to 0.95, indicating excellent internal consistency. Conclusions Study findings suggest these tools developed have good content and face validity, high acceptability and perceived utility, and good intrarater reliability and internal consistency, and therefore could be used in health facilities in Italy and similar contexts. Priority areas for future research include how tools measuring paediatric QOC can be more effectively used to help health professionals provide the best possible care

Editors' Review and Introduction:Lying in Logic, Language, and Cognition

We describe some recent trends in research on lying from a multidisciplinary perspective, including logic, philosophy, linguistics, psychology, cognitive science, behavioral economics, and artificial intelligence. Furthermore, we outline the seven contributions to this special issue of topiCS.</p

Undefinability in Inquisitive Logic with Tensor

Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expressive power, inquisitive disjunction and implication are not definable in propositional dependence logic. A question that has been open for some time in this area is whether the tensor disjunction used in propositional dependence logic is definable in inquisitive logic. We settle this question in the negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.Peer reviewe

Logics of knowledge and action: critical analysis and challenges

International audienceWe overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges