Abstract
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.
Keywords
- WUENIC
- rules and exceptions
- logic programming
- argumentation
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Burton, A., Monash, R., Lautenbach, B., Gacic-Dobo, M., Neill, M., Karimov, R., Wolfson, L., Jones, G., Birmingham, M.: WHO and UNICEF Estimates of National Infant Immunization Coverage: Methods and Processes. Bull. World Health Organization 87, 535–541 (2009)
Prakken, H., Sartor, G.: A Dialectical Model of Assessing Conflicting Arguments in Legal Reasoning. Journal of Artificial Intelligence and Law 4(3-4) (1996)
Dung, P.M.: On the Acceptability of Arguments and its Fundamental Role in Non-monotonic Reasoning, Logic Programming and N-person Games. Journal of Artificial Intelligence 77, 321–357 (1995)
Bondarenko, A., Dung, P.M., Kowalski, R., Toni, F.: An Abstract Argumentation-theoretic Approach to Default Reasoning. Journal of Artificial Intelligence 93(1-2), 63–101 (1997)
Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for Assumption-Based, Admissible Argumentation. Journal of Artificial Intelligence 170(2), 114–159 (2006)
Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. SIGMOD Rec. 23(2), 442–453 (1994)
Grosof, B.N., Labrou, Y., Chan, H.Y.: A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In: Proceedings of the 1st ACM Conference on Electronic Commerce, pp. 68–77. ACM, New York (1999)
Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press, Cambridge (2011)
Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 1–23. Springer, Heidelberg (2009)
Brown, D.W., Burton, A., Gacic-Dobo, M., Karimov, R.I.: A Summary of Global Routine Immunization Coverage through 2010. Open Infect. Dis. J. 5., 115–117 (2011)
Kowalski, R.: Logic for Problem Solving. Elsevier Science Publishing Company (1979), http://www.doc.ic.ac.uk/~rak/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalski, R., Burton, A. (2012). WUENIC – A Case Study in Rule-Based Knowledge Representation and Reasoning. In: Okumura, M., Bekki, D., Satoh, K. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2011. Lecture Notes in Computer Science(), vol 7258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32090-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-32090-3_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32089-7
Online ISBN: 978-3-642-32090-3
eBook Packages: Computer ScienceComputer Science (R0)
