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.
KeywordsWUENIC rules and exceptions logic programming argumentation
Unable to display preview. Download preview PDF.
- 1.Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British Nationality Act as a Logic Program. CACM 29(5), 370–386 (1986)Google Scholar
- 3.Prakken, H., Sartor, G.: A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning. Journal of Artificial Intelligence and Law 4(3-4) (1996)Google Scholar
- 12.Kowalski, R.: Logic for Problem Solving. Elsevier Science Publishing Company (1979), http://www.doc.ic.ac.uk/~rak/