Advertisement

Desiderata for generalization-to-N algorithms

  • William W. Cohen
Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 642)

Abstract

Systems that perform “generalization-to-N” in explanation-based learning generalize a proof tree by generalizing the shape of the tree, rather than simply changing constants to variables. This paper introduces a formal framework which can be used either to characterize or to specify the outputs of an algorithm for generalizing number. The framework consists of two desiderata, or desired properties, for generalization-to-N algorithms. In the paper, we first motivate and define these desiderata, then review one of several alternative frameworks for generalizing number: an automata-based approach first described in [Cohen, 1988]. Finally, we describe a generalization-to -N technique that provably meets these desiderata. As an illustration of the operation of the new algorithm, an implementation of it is applied to a number of examples from the literature on generalization-to-N.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. (Boström, 1990).
    Henrik Boström. Generalizing the order of goals as an approach to generalizing number. In Proceedings of the Seventh International Conference on Machine Learning, Austin, Texas, 1990. Morgan Kaufmann.Google Scholar
  2. (Cohen, 1988).
    William W. Cohen. Generalizing number and learning from multiple examples in explanation-based learning. In Proceedings of the Fifth International Conference on Machine Learning, Ann Arbor, Michigan, 1988. Morgan Kaufmann.Google Scholar
  3. (Cohen, 1990a).
    William W. Cohen. Concept learning using explanation based generalization as an abstraction mechanism. Technical Report DCS-TR-271, Rutgers University, 1990. (PhD thesis).Google Scholar
  4. (Cohen, 1990b).
    William W. Cohen. Learning from textbook knowledge: A case study. In Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, Massachusetts, 1990. MIT Press.Google Scholar
  5. (Cohen, 1990c).
    William W. Cohen. Learning restricted classes of regular languages using loop induction. Bell Labs Technical Memoradum (Available from the author on request.), 1990.Google Scholar
  6. (Crespi-Reghizzi et al., 1978)
    (Crespi-Reghizzi et al., 1978) S. Crespi-Reghizzi, G. Guida, and D. Mandrioli. Noncounting context-free languages. Journal of the Association for Computing Machinery, 25(4), October 1978.Google Scholar
  7. (Kedar-Cabelli and McCarty, 1987).
    Smadar Kedar-Cabelli and L. Thorne McCarty. Explanation-based generalization as resolution theorem proving. In Proceedings of the Fourth International Workshop on Machine Learning, Irvine, California, 1987. Morgan Kaufmann.Google Scholar
  8. (Letovsky, 1990).
    Stanley Letovsky. Operationality criteria for recursive predicates. In Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, Massachusetts, 1990. MIT Press.Google Scholar
  9. (McNaughton and Papert, 1971).
    R. McNaughton and S. Papert. Counter-free automata. MIT Press, 1971.Google Scholar
  10. (Minton, 1988).
    Steven Minton. Learning effective search control knowledge: An explanation-based approach. Technical report, Carnegie-Mellon University Department of Computer Science, 1988.Google Scholar
  11. (Nilsson, 1987).
    Nils Nilsson. Principles of Artificial Intelligence. Morgan Kaufmann, 1987.Google Scholar
  12. (Shavlik and DeJong, 1987).
    J. Shavlik and G. DeJong. BAGGER: An EBL system that extends and generalizes explanations. In Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, Washington, 1987. Morgan Kaufmann.Google Scholar
  13. (Shavlik, 1987).
    Jude Shavlik. Generalizing number in explanation based learning. Technical Report UILO-ENG-87-2276, Univ. of Illinois/Champaign, 1987. (PhD thesis).Google Scholar
  14. (Shavlik, 1989).
    Jude Shavlik. Acquiring recursive concepts with explanation based learning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, Michigan, 1989. Morgan Kaufmann.Google Scholar
  15. (Shavlik, 1990).
    Jude Shavlik. Acquiring recursive and iterative concepts with explanation-based learning. Machine Learning, 5(1), 1990.Google Scholar
  16. (Subramanian and Feldman, 1990).
    Devika Subramanian and Ronen Feldman. The utility of EBL in recursive domain theories. In Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, Massachusetts, 1990. MIT Press.Google Scholar
  17. (Thatcher, 1973).
    James Thatcher. Tree automata: An informal survey. In Alfred Aho, editor, Currents in the Theory of Computing. Prentice-Hall, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • William W. Cohen
    • 1
  1. 1.AI Principles Research DepartmentAT&T Bell LaboratoriesMurray HillUSA

Personalised recommendations