Abstract
As several works in Machine Learning (particularly in Inductive Logic Programming) have focused on building recursive definitions from examples, this paper presents a formalization and a generalization of the BMWk methodology, which stems from program synthesis from examples, ten years ago. The framework of the proposed formalization is term rewriting. It allows to state some theoretical results on the qualities and limitations of the method.
This work is supported by the Esprit project BRA ILP n∘ 6020 and the french MRT through PRC-IA
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
David W. Aha, Charles X. Ling, Stan Matwin, and Stephane Lapointe. Learning singly-recursive relations from small datasets. In F. Bergadano, Luc De Raedt, Stan Matwin, and S. Muggleton, editors, Proceedings of the IJCAI workshop on inductive logic programming, Chambéry, France, 1993.
Nachum Dershowitz and Jean-Pierre Jouannaud. Handbook of Theorical Computer Science, volume B, chapter Rewrite Systems, pages 243–320. MIT Press, 1990.
Jean Fargues. Une méthodologie pour la synthèse de programme: application à la synthèse à partir d'exemples. Thèse, Université Pierre et Marie Curie (Paris VI), June 1978.
Peter Idestam-Almquist. Recursive anti-unification. In Stephen Muggleton, editor, Proceedings of the third international workshop on Inductive Logic Programming, pages 241–253, Ljubljana, Slovenia, March 1993. J. Stefan Institute.
Jean-Pierre Jouannaud and Yves Kodratoff. Characterization of a class of functions synthesized from examples by a SUMMER'S like method using a BMW matching technique. In Proceedings of the 6th IJCAI, pages 440–447, 1979.
Jean-Pierre Jouannaud and Yves Kodratoff. A methodology for two variable functions synthesis from examples. CRIN université de Nancy, 1979.
Yves Kodratoff and Jean Fargues. A sane algorithm for the synthesis of LISP functions from example problems: the Boyer and Moore algorithm. In Proceedings of the AISB meeting, pages 169–175, Hamburg, 1978.
Yves Kodratoff and Éric Papon. A system for program synthesis and program optimization. In Proceedings of the AISB meeting, pages 1–10, Amsterdam, 1980.
Stéphane Lapointe, Charles Ling, and Stan Matwin. Constructive inductive logic programming. In Stephen Muggleton, editor, Proceedings of the third international workshop on Inductive Logic Programming, pages 255–264, Ljubljana, Slovenia, March 1993. J. Stefan Institute.
Stéphane Lapointe, Charles Ling, and Stan Matwin. Constructive inductive logic programming. In Ruzena Bajcsy, editor, Proceedings of the 13th IJCAI, volume Vol. 2, pages 1030–1036. Morgan-Kaufmann, August 1993.
Stephane Lapointe and Stan Matwin. Induction de programmes logiques récursifs fondée sur la sous-unification. In PRC-IA GRECO, editor, Actes des 1ères Journées Francophones d'Apprentissage et d'Explication des Connaissances, pages 3–14. AFIA AFCET, PRC-IA GRECO, April 1992.
Charles Xiaofeng Ling. Inductive learning from good examples. In Proceedings of the 12th IJCAI, volume Vol. 2, pages 751–756, Sydney, Australia, August 1991. Morgan-Kaufmann.
Charles Xiaofeng Ling. Inductive Logic Programming, chapter Inductive learning from good examples, pages 113–129. APIC. Turing Institute Press, academic press edition, 1992.
Charles Xiaofeng Ling. Inventing necessary theoretical terms to overcome representation bias. In Proceedings of the ML92 workshop on biases in inductive learning, Aberdeen, Scotland, July 1992.
Stephen Muggleton, editor. Inductive Logic Programing. APIC. Turing Institute Press, academic press edition, 1991.
Stephen Muggleton and C. Feng. Inductive Logic Programming, chapter Efficient induction of logic programs, pages 281–298. APIC. Turing Institute Press, academic press edition, 1992.
Éric Papon. Algorithmes de détection de relations de récurrence — application à la synthèse et à la transformation de programmes. Thèse, Université de Paris-Sud, April 1981.
Ross J. Quinlan. Learning logical definition from relations. Machine Learning Journal, Vol. 5(3):239–266, 1990.
P.D. Summers. A methodology for LISP program construction from examples. Journal of the ACM, Vol. 24:161–175, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Le Blanc, G. (1994). BMWk revisited generalization and formalization of an algorithm for detecting recursive relations in term sequences. In: Bergadano, F., De Raedt, L. (eds) Machine Learning: ECML-94. ECML 1994. Lecture Notes in Computer Science, vol 784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57868-4_58
Download citation
DOI: https://doi.org/10.1007/3-540-57868-4_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57868-0
Online ISBN: 978-3-540-48365-6
eBook Packages: Springer Book Archive