a formal representation of the who and unicef estimates of national immunization coverage a computational logic approach世卫组织和联合国儿童基金会的一个正式表示国家免疫接种覆盖率计算逻辑方法的估计.pdfVIP

A Formal Representation of the WHO and UNICEF Estimates of National Immunization Coverage: A Computational Logic Approach 1 2 1 3 3 Anthony Burton *, Robert Kowalski , Marta Gacic-Dobo , Rouslan Karimov , David Brown 1 Department of Immunization, Vaccines and Biologicals, World Health Organization, Geneva, Switzerland, 2 Department of Computing, Imperial College London, London, United Kingdom, 3 Division of Policy and Practice, United Nations Children’s Fund, New York, New York, United States of America 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. Citation: Burton A, Kowalski R, Gacic-Dobo M, Karimov R, Brown D (2012) A Formal Representation of the WHO and UNICEF Estimates of National Immunization Cove