Skip to main content

A Tool for the Management of Incomplete Theories: Reasoning about Explanation

  • Chapter
Machine Learning, Meta-Reasoning and Logics

Abstract

Explanation-Based Learning is drawing an increasing interest in the Machine Learning community. Many researchers are now interested in the problem of integrating Explanation-Based Learning (EBL) with different techniques of empirical learning. We propose a system that relies on Explanation-Based Generalization (EBG). In our case, the EBG module receives multiple concept instances. The learning mechanism presented in this paper allows incremental modifications of the EBG generated generalization.

When dealing with incomplete theories, we propose to complete proofs that fail using an abduction mechanism. The problem then is to limit the number of possible explanations to be considered. For that purpose, the abduction process is guided by comparison to a reference explanation. We look for an augmented explanation which is analogous to the already known explanation of the concept being studied. We thus propose incremental refinements to the existing rules of the theory.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Chouraqui E., Construction of aModel for reasoning by Analogy. Progress in Artificial Intelligence, Steels L., Campbell J. A. (ed.), Ellis Horwood, London, pp.169–183,1985.

    Google Scholar 

  2. Cox P. T., Pietrzykowski T., Causes for Events: Their Computation and Applications. Proceedings of the Eighth International Conference on Automated Deduction. Oxford, 1986.

    Google Scholar 

  3. Danyluk A. P., The Use of Explanations for Similarity-Based Learning. Proceedings of IJCAI 87, pp. 274–276, Milan. Los Altos, CA: Morgan Kaufmann.

    Google Scholar 

  4. Davies T. R., Russell S. T., A Logical Approach to Reasoning by Analogy. Proceedings of IJCAI 87, pp. 264–269, Milan. Los Altos, CA: Morgan Kaufmann.1987

    Google Scholar 

  5. DeJong G., Mooney R., Explanation-Based Learning: An Alternative View. Machine Learning 1, pp. 145–176. Kluwer Academic Publishers.1986

    Google Scholar 

  6. Duval B., Kodratoff Y., Automated Deduction in an Uncertain and Inconsistent Data Bais. Proceedings of 7th ECAI, 1986, Advances in AI II, pp. 297–304 B. du Boulay, D. Hogg, L. Steels (Eds). Elsevier Science Publishers BV. North Holland.1986

    Google Scholar 

  7. Gentner D., Analogical Inference and Analogical Access, In Analogica, Rutgers University, New Brunswick, New Jersey, 1986.

    Google Scholar 

  8. Hall, R. J., Learning by Failing to Explain. Proceedings of AAAI - 86. pp.568–572. Philadelphia. Los Altos, CA: Morgan Kaufmann.

    Google Scholar 

  9. Kedar-Cabelli S. T., McCarty L. T., Explanation-Based Generalization as Resolution Theorem Proving. Proceedings of the Fourth International Machine Learning Workshop, pp. 383–389. Irvine, 1987.

    Google Scholar 

  10. Keller R. M., Defining Operationality for Explanation-Based Learning. Proceedings of IJCAI 87, pp. 482–487, Milan. Los Altos, CA: Morgan Kaufmann.

    Google Scholar 

  11. Kodratoff Y., Tecuci G., “DISCIPLE1: Interactive Apprentice System in Weak Theory Fields”, IJCAI 87, Milan, J. McDermontt (eds), Morgan Kaufmann, 1987, pp. 271–273.

    Google Scholar 

  12. Kodratoff Y., Tecuci G., Techniques of Design and DISCIPLE Learning Apprentice, In International Journal of Expert Systems: Research and Applications, Vol.1, No.1, pp. 39–66, 1987.

    Google Scholar 

  13. Kodratoff Y. Introduction to Machine Learning, Pitman 1988.

    MATH  Google Scholar 

  14. Lebowitz M. Concept Learning in a Rich Input Domain: Generalization Based Memory. In R. S. Michalski, J. G. Carbonell & T. M. Mitchell (Eds), Machine Learning: An Artificial Intelligence Approach, Vol 2. Los Altos, CA: Morgan Kaufmann.

    Google Scholar 

  15. Mitchell T. M., Toward Combining Empirical and Analytical Methods for Learning Heuristics. In Elithorn & Banerji(Eds),Human and Artificial Intelligence. Amsterdam: North Holland Publishing Co.

    Google Scholar 

  16. Mitchell T., Keller R., Kedar-Cabelli S. Explanation-Based Generalization: A Unifying View. Machine Learning Journal 1, pp. 47–80, Kluwer Academic Publishers.

    Google Scholar 

  17. Pazzani M., Dyer M., Flowers M., Using prior Learning to Facilitate the Learning of New Causal Theories. Proceedings of IJCAI 87, pp. 277–279,; Milan. Los Altos, CA: Morgan Kaufmann.

    Google Scholar 

  18. Puget J. F., Apprentissage de Plans à Partir de Preuves. Proceedings of AFCET 87, Antibes. November 1987.

    Google Scholar 

  19. Segre A. M., On the Operationality/Generality Trade-Off in Explanation-B ased Learning. Proceedings of IJCAI 87, pp. 277–279, Milan. Los Altos, CA: Morgan Kaufmann.

    Google Scholar 

  20. Siqueira, Pudget J. F., “Explanation-Based Generalization of Failures”, Proc. of ECCAI-88, Y. Kodratoff eds, Pitman, 1988, pp. 339–334.

    Google Scholar 

  21. TouchaisR., Explanation-Based Generalization: Une Approche Interactive, Rapport de DEA. LRI. Université de Paris, Sud Orsay.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Kluwer Academic Publishers

About this chapter

Cite this chapter

Duval, B., Kodratoff, Y. (1990). A Tool for the Management of Incomplete Theories: Reasoning about Explanation. In: Brazdil, P.B., Konolige, K. (eds) Machine Learning, Meta-Reasoning and Logics. The Kluwer International Series in Engineering and Computer Science, vol 82. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1641-1_7

Download citation

  • DOI: https://doi.org/10.1007/978-1-4613-1641-1_7

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4612-8906-7

  • Online ISBN: 978-1-4613-1641-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics