Analogy and mathematical reasoning : a survey
C.D.F. Miller · OpenGrey (Institut de l'Information Scientifique et Technique) · 1983
We survey the literature of Artificial Intelligence, and other related work, pertaining to the modelling of mathematical reasoning and its relationship with the use of analogy. In particular, we discuss the contribution of Lenat's program AM to models of mathematical discovery and concept-formation. We consider the use of similarity measures to structure a knowledge space and their role in concept acquisition.