Skip to main content

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

  • Conference paper
  • 550 Accesses

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7258)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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 

  2. 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)

    CrossRef  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 

  4. 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)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. 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)

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Dung, P.M., Kowalski, R., Toni, F.: Dialectic proof procedures for Assumption-Based, Admissible Argumentation. Journal of Artificial Intelligence 170(2), 114–159 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Sagonas, K., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. SIGMOD Rec. 23(2), 442–453 (1994)

    CrossRef  Google Scholar 

  8. 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)

    CrossRef  Google Scholar 

  9. Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press, Cambridge (2011)

    CrossRef  MATH  Google Scholar 

  10. 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)

    CrossRef  Google Scholar 

  11. 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)

    CrossRef  Google Scholar 

  12. Kowalski, R.: Logic for Problem Solving. Elsevier Science Publishing Company (1979), http://www.doc.ic.ac.uk/~rak/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)