Abstract
This article is the twenty-seventh of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks one to find criteria that an automated reasoning program can apply to determine whether to attack a given question with reasoning by analogy. The imprecise term ‘reasoning by analogy’ refers to a type of reasoning in which the type of proof being sought is sharply influenced by the style of proof that was successfully used to prove related theorems.
Similar content being viewed by others
References
Bledsoe, W. W., ‘Interactive proof presentation’, inComputational Logic: Essays Honoring Alan Robinson, Jean-Louis Lassez and Gordon Plotkin, eds, MIT Press, Cambridge (1991), pp. 136–165.
Brock, B., Cooper, S., and Pierce, W., ‘Analogical reasoning and proof discovery’,Proc. 9th International Conference on Automated Deduction, Springer-Verlag, New York (1988), pp. 454–468.
Owens, S. G.,Analogy for Automated Reasoning, Academic Press, New York (1990).
Wos, L.,Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, New Jersey (1988).
Wos, L., Overbeek, R., Lusk, E., and Boyle, J.,Automated Reasoning: Introduction and Applications, 2nd edn, McGraw-Hill, New York (1992).
Wos, L., ‘Automated reasoning answers open questions’,Notices of the AMS 5(1) (1993), 15–26.
Author information
Authors and Affiliations
Additional information
This work was supported by the Office of Scientific Computing, U.S. Department of Energy, under Contract W-31-109-Eng-38.
Rights and permissions
About this article
Cite this article
Wos, L. The problem of reasoning by analogy. J Autom Reasoning 10, 421–422 (1993). https://doi.org/10.1007/BF00881800
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00881800