Abstract
Analogical reasoning is useful to exploit knowledge about similar predicates to define new ones. This paper presents MARs, a tool that supports the definition of new Prolog predicates with respect to known ones. Starting from similar examples, one of the known predicate and one of the new, the tool proposes a definition for the new predicate. The algorithm for constructing this new definition by analogy includes four main steps that will be described in detail in this paper.
Chapter PDF
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
M. Burstein. Incremental learning from multiple analogies. In R. Michalski, J. Carbonell und T. Mitchell (Hrsg.), Machine Learning: An Artificial Intelligence Approach. Morgan Kaufmann, 1986.
J. Carbonell. Learning by analogy: Formulating and generalizing plans from past experience. In R. Michalski, J. Carbonell und T. Mitchell (Hrsg.), Machine Learning: An Artificial Intelligence Approach. Tioga, 1983.
D. Gentner. Analogical inference and analogical access. In A. Prieditis (Hrsg.), Analogica. Morgan Kaufmann, 1988.
R. Greiner. Learning by understanding analogies. PhD thesis, Stanford University, 1988.
R. P. Hall. Computational approaches to analogical reasoning: A comparative analysis. Artificial Intelligence, 39:3–120, 1989.
S. Kedar-Cabelli. Towards a computational model of purpose-directed analogy. In A. Prieditis (Hrsg.), Analogica. Morgan Kaufmann, 1988.
S. Muggleton und W. Buntine. Machine invention of first-order predicates by inverting resolution. In A. Arbor (Hrsg.), Fifth International Conference on Machine Learning. Morgan Kaufmann, 1988.
R. Wirth. Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution. Doktorarbeit, Institut für Informatik, Universität Stuttgart, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tausend, B., Bell, S. (1991). Analogical reasoning for logic programming. In: Kodratoff, Y. (eds) Machine Learning — EWSL-91. EWSL 1991. Lecture Notes in Computer Science, vol 482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017032
Download citation
DOI: https://doi.org/10.1007/BFb0017032
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53816-5
Online ISBN: 978-3-540-46308-5
eBook Packages: Springer Book Archive