TOWARDS A MATHEMATICAL THEORY OF ANALOGY

This paper presents a mathematical theory of analogy, which should be a basis in developing analogical reasoning by a computer. The analogy is a partial identity between two sets of facts. In order to compare several analogies, we introduce an ordering of analogies, and we define two types of optimal analogies, maximal analogies and greatest ones. We show a condition under which the greatest analogy exists, and also present a top-down procedure to find the maximal analogies.

[1]  B. B. Winter.  Strong uniform consistency of integrals of density estimators , 1973 .

[2]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[3]  E. Nadaraya,et al.  Some New Estimates for Distribution Functions , 1964 .

[4]  R. Kronmal,et al.  The Estimation of Probability Densities and Cumulatives by Fourier Series Methods , 1968 .

[5]  Hajime Yamato,et al.  UNIFORM CONVERGENCE OF AN ESTIMATOR OF A DISTRIBUTION FUNCTION , 1973 .

[6]  Rob Kling,et al.  A Paradigm for Reasoning by Analogy , 1971, IJCAI.

[7]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[8]  Patrick Henry Winston,et al.  Learning and reasoning by analogy , 1980, CACM.

[9]  David A. Plaisted,et al.  Theorem Proving with Abstraction , 1981, Artif. Intell..

[10]  G. Walter,et al.  Probability Density Estimation Using Delta Sequences , 1979 .

[11]  B. B. Winter.  Convergence rate of perturbed empirical distribution functions , 1979 .

[12]  P. Gaenssler,et al.  Empirical Processes: A Survey of Results for Independent and Identically Distributed Random Variables , 1979 .

[13]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[14]  SOME STATISTICAL PROPERTIES OF ESTIMATORS OF DENSITY AND DISTRIBUTION FUNCTIONS , 1972 .

[15]  Jaime G. Carbonell,et al.  A Computational Model of Analogical Problem Solving , 1981, IJCAI.

[16]  M. Rosenblatt.  Remarks on Some Nonparametric Estimates of a Density Function , 1956 .

[17]  P. Hall.  Laws of the iterated logarithm for nonparametric density estimators , 1981 .

[18]  George Polya,et al.  Induction and Analogy in Mathematics , 1954 .

[19]  P. Billingsley,et al.  Convergence of Probability Measures , 1969 .

[20]  B. Efron.  Bootstrap Methods: Another Look at the Jackknife , 1979 .

[21]  S. Schwartz.  Estimation of Probability Density by an Orthogonal Series , 1967 .

[22]  S. Geman,et al.  Nonparametric Maximum Likelihood Estimation by the Method of Sieves , 1982 .

[23]  R. Read.  The Asymptotic Inadmissibility of the Sample Distribution Function , 1972 .

[24]  A. Azzalini.  A note on the estimation of a distribution function and quantiles by a kernel method , 1981 .