Skip to main content

On the Convergence of Incremental Knowledge Base Construction

  • Conference paper
Discovery Science (DS 2004)

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

Included in the following conference series:

Abstract

Ripple Down Rules is a practical methodology to build knowledge-based systems, which has proved successful in a wide range of commercial applications. However, little work has been done on its theoretical foundations. In this paper, we formalise the key features of the method. We present the process of building a correct knowledge base as a discovery scenario involving a user, an expert, and a system. The user provides data for classification. The expert helps the system to build its knowledge base incrementally, using the output of the latter in response to the last datum provided by the user. In case the system’s output is not satisfactory, the expert guides the system to improve its future performance while not affecting its ability to properly classify past data. We examine under which conditions the sequence of knowledge bases constructed by the system eventually converges to a knowledge base that faithfully represents the target classification function. Our results are in accordance with the observed behaviour of real-life systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ambainis, A., Freivalds, R., Smith, C.: Inductive inference with procrastination: back to definitions. Fundam. Inf. 40(1), 1–16 (1999)

    MATH  MathSciNet  Google Scholar 

  2. Beydoun, G., Hoffmann, A.: Incremental acquisition of search knowledge. Journal of Human-Computer Studies 52, 493–530 (2000)

    Article  Google Scholar 

  3. Blum, A., Langley, P.: Selection of relevant features and examples in machine learning. Artificial Intelligence 97(1-2), 245–271 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  4. Colomb, R.: Representation of propositional expert systems as partial functions. Artificial Intelligence 109(1-2), 187–209 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  5. Compton, P., Edwards, G.: A philosophical basis for knowledge acquisition. Knowledge Acquisition 2, 241–257 (1990)

    Article  Google Scholar 

  6. Compton, P., Ramadan, Z., Preston, P., Le-Gia, T., Chellen, V., Mullholland, M.: A trade-off between domain knowledge and problem solving method power. In: Gaines, B., Musen, M. (eds.) 11th Banff KAW Proceeding, pp. 1–19 (1998)

    Google Scholar 

  7. Dash, M., Liu, H.: Consistency-based search in feature selection. Artificial Intelligence 151(1-2), 155–176 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  8. Gold, M.E.: Language identification in the limit. Information and Control 10, 447–474 (1967)

    Article  MATH  Google Scholar 

  9. Kang, B., Yoshida, K., Motoda, H., Compton, P.: A help desk system with intelligence interface. Applied Artificial Intelligence 11, 611–631 (1997)

    Article  Google Scholar 

  10. Kearns, M.J.: Efficient noise-tolerant learning from statistical queries. In: Proceedings of the 25th ACM Symposium on the Theory of Computing, pp. 392–401. ACM Press, New York (1993)

    Google Scholar 

  11. Kwok, R.: Translation of ripple down rules into logic formalisms. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 366–379. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  12. Motoda, H., Liu, H.: Data reduction: feature aggregation. In: Handbook of data mining and knowledge discovery, pp. 214–218. Oxford University Press, Inc., Oxford (2002)

    Google Scholar 

  13. Preston, P., Edwards, G., Compton, P.: A 2000 rule expert system without a knowledge engineer. In: Gaines, B., Musen, M. (eds.) 8th Banff KAW Proceeding (1994)

    Google Scholar 

  14. Richards, D., Compton, P.: Taking up the situated cognition challenge with ripple down rules. Journal of Human-Computer Studies 49, 895–926 (1998)

    Article  Google Scholar 

  15. Scheffer, T.: Algebraic foundation and improved methods of induction of ripple down rules. In: Pacific Rim Workshop on Knowledge Acquisition Proceeding (1996)

    Google Scholar 

  16. Shiraz, G., Sammut, C.: Combining knowledge acquisition and machine learning to control dynamic systems. In: Proceedings of the 15th International Joint Conference in Artificial Intelligence (IJCAI 1997), pp. 908–913. Morgan Kaufmann, San Francisco (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cao, T.M., Martin, E., Compton, P. (2004). On the Convergence of Incremental Knowledge Base Construction. In: Suzuki, E., Arikawa, S. (eds) Discovery Science. DS 2004. Lecture Notes in Computer Science(), vol 3245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30214-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30214-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23357-2

  • Online ISBN: 978-3-540-30214-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics