Abstract
This article is the twenty-ninth 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 decide when to conduct a case analysis argument and to decide which cases are appropriate. When the choice of employing a case analysis argument is wise and the cases are well chosen, the likelihood that the reasoning program — or, for that matter, a person — will find an answer to the given question is sharply increased.
Similar content being viewed by others
References
McCharen, J., Overbeek, R., and Wos, L., ‘Problems and experiments for and with automated theorem proving programs’,IEEE Transactions on Computers C-25 (1976), 773–782.
Wang, H., ‘Towards mechanical mathematics’,IBM J. Research and Development 4 (1960), 2–22.
Wos, L.,Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, New Jersey (1988).
Wos, L., ‘Automated reasoning answers open questions’,Notices of the AMS 5 (January 1993), 15–26.
Wos, L., Overbeek, R., Lusk, E., and Boyle, J.,Automated Reasoning: Introduction and Applications, 2nd edn., McGraw-Hill, New York (1992).
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 case analysis. J Autom Reasoning 11, 289–291 (1993). https://doi.org/10.1007/BF00881909
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00881909