A Formal Representation of the WHO and UNICEF Estimates of National Immunization Coverage: A Computational Logic Approach
Open Access
- 25 October 2012
- journal article
- research article
- Published by Public Library of Science (PLoS) in PLOS ONE
- Vol. 7 (10), e47806
- https://doi.org/10.1371/journal.pone.0047806
Abstract
Production of official statistics frequently requires expert judgement to evaluate and reconcile data of unknown and varying quality from multiple and potentially conflicting sources. Moreover, exceptional events may be difficult to incorporate in modelled estimates. Computational logic provides a methodology and tools for incorporating analyst's judgement, integrating multiple data sources and modelling methods, ensuring transparency and replicability, and making documentation computationally accessible. Representations using computational logic can be implemented in a variety of computer-based languages for automated production. Computational logic complements standard mathematical and statistical techniques and extends the flexibility of mathematical and statistical modelling. A basic overview of computational logic is presented and its application to official statistics is illustrated with the WHO & UNICEF estimates of national immunization coverage.Keywords
This publication has 7 references indexed in Scilit:
- Computational Logic and Human ThinkingPublished by Cambridge University Press (CUP) ,2011
- WHO and UNICEF estimates of national infant immunization coverage: methods and processesPublished by WHO Press ,2009
- Tracking progress towards universal childhood immunisation and the impact of global initiatives: a systematic analysis of three-dose diphtheria, tetanus, and pertussis immunisation coverageThe Lancet, 2008
- Computational Logic: Memories of the Past and Challenges for the FutureLecture Notes in Computer Science, 2000
- LATEX: A Document Preparation System: User's Guide and Reference Manual.Published by JSTOR ,1996
- The birth of PrologACM SIGPLAN Notices, 1993
- Fuzzy setsInformation and Control, 1965