WUENIC - A Case Study in Rule-Based Knowledge Representation and Reasoning

WUENIC is a rule-based system implemented as a logic program, developed by WHO and UNICEF for estimating global, country by country, infant immunization coverage. It possesses many of the characteristics of rule-based legislation, facilitating decisions that are consistent, transparent and replicable. In this paper, we focus on knowledge representation and problem-solving issues, including the use of logical rules versus production rules, backward versus forward reasoning, and rules and exceptions versus argumentation.

[1]  Henry Prakken,et al.  A dialectical model of assessing conflicting arguments in legal reasoning , 1996, Artificial Intelligence and Law.

[2]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[3]  Robert A. Kowalski,et al.  Computational Logic and Human Thinking: How to Be Artificially Intelligent , 2011 .

[4]  Rouslan Karimov,et al.  WHO and UNICEF estimates of national infant immunization coverage: methods and processes. , 2009, Bulletin of the World Health Organization.

[5]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[6]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[7]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[8]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[9]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[10]  Anthony H. Burton,et al.  A Summary of Global Routine Immunization Coverage Through 2010 , 2011 .

[11]  Robert A. Kowalski,et al.  Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents , 2009, RR.

[12]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..